Struct snarkvm_circuit::Poseidon

pub struct Poseidon<E, const RATE: usize>where
    E: Environment,{ /* private fields */ }

Trait Implementations

impl<E, const RATE: usize> Clone for Poseidon<E, RATE>where E: Clone + Environment,

fn clone(&self) -> Poseidon<E, RATE>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E, const RATE: usize> Hash for Poseidon<E, RATE>where E: Environment,

type Input = Field<E>

type Output = Field<E>

fn hash( &self, input: &[<Poseidon<E, RATE> as Hash>::Input] ) -> <Poseidon<E, RATE> as Hash>::Output

Returns the hash of the given input.

impl<E, const RATE: usize> HashMany for Poseidon<E, RATE>where E: Environment,

type Input = Field<E>

type Output = Field<E>

fn hash_many( &self, input: &[<Poseidon<E, RATE> as HashMany>::Input], num_outputs: u16 ) -> Vec<<Poseidon<E, RATE> as HashMany>::Output, Global>

Returns the hash of the given input.

impl<E, const RATE: usize> HashToGroup for Poseidon<E, RATE>where E: Environment,

fn hash_to_group( &self, input: &[<Poseidon<E, RATE> as HashToGroup>::Input] ) -> <Poseidon<E, RATE> as HashToGroup>::Group

Returns an affine group element from hashing the input.

type Group = Group<E>

type Input = Field<E>

type Scalar = Scalar<E>

impl<E, const RATE: usize> HashToScalar for Poseidon<E, RATE>where E: Environment,

fn hash_to_scalar( &self, input: &[<Poseidon<E, RATE> as HashToScalar>::Input] ) -> <Poseidon<E, RATE> as HashToScalar>::Scalar

Returns a scalar from hashing the input. This method uses truncation (up to data bits) to project onto the scalar field.

type Input = Field<E>

type Scalar = Scalar<E>

impl<E, const RATE: usize> Inject for Poseidon<E, RATE>where E: Environment,

type Primitive = Poseidon<<E as Environment>::Network, RATE>

fn new( _mode: Mode, poseidon: <Poseidon<E, RATE> as Inject>::Primitive ) -> Poseidon<E, RATE>

Initializes a circuit of the given mode and primitive value.

fn constant(value: Self::Primitive) -> Selfwhere Self: Sized,

Initializes a constant of the given primitive value.

impl<E, const RATE: usize> PRF for Poseidon<E, RATE>where E: Environment,

type Input = Field<E>

type Output = Field<E>

type Seed = Field<E>

fn prf( &self, seed: &<Poseidon<E, RATE> as PRF>::Seed, input: &[<Poseidon<E, RATE> as PRF>::Input] ) -> <Poseidon<E, RATE> as PRF>::Output

Returns the output for the given seed and input.