Trait PoseidonInstructions

pub trait PoseidonInstructions<F: ScalarField> {
    // Required methods
    fn hash_var_len_bytes<const MAX_LEN: usize>(
        &self,
        ctx: &mut Context<F>,
        inputs: &VarLenBytes<F, MAX_LEN>,
    ) -> AssignedValue<F>
       where F: BigPrimeField;
    fn hash_var_len_bytes_vec(
        &self,
        ctx: &mut Context<F>,
        inputs: &VarLenBytesVec<F>,
    ) -> AssignedValue<F>
       where F: BigPrimeField;
    fn hash_fix_len_bytes<const MAX_LEN: usize>(
        &self,
        ctx: &mut Context<F>,
        inputs: &FixLenBytes<F, MAX_LEN>,
    ) -> AssignedValue<F>
       where F: BigPrimeField;
}

Trait for Poseidon instructions

Required Methods

fn hash_var_len_bytes<const MAX_LEN: usize>( &self, ctx: &mut Context<F>, inputs: &VarLenBytes<F, MAX_LEN>, ) -> AssignedValue<F>

where F: BigPrimeField,

Return hash of a VarLenBytes

fn hash_var_len_bytes_vec( &self, ctx: &mut Context<F>, inputs: &VarLenBytesVec<F>, ) -> AssignedValue<F>

where F: BigPrimeField,

Return hash of a VarLenBytesVec

fn hash_fix_len_bytes<const MAX_LEN: usize>( &self, ctx: &mut Context<F>, inputs: &FixLenBytes<F, MAX_LEN>, ) -> AssignedValue<F>

where F: BigPrimeField,

Return hash of a FixLenBytes

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, F: ScalarField, const T: usize, const RATE: usize> PoseidonInstructions<F> for PoseidonChip<'a, F, T, RATE>