Struct 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>

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) -> Self

where Self: Sized,

Initializes a constant of the given primitive value.

impl<E, const RATE: usize> LeafHash for Poseidon<E, RATE>

where E: Environment,

fn hash_leaf( &self, leaf: &<Poseidon<E, RATE> as LeafHash>::Leaf, ) -> <Poseidon<E, RATE> as LeafHash>::Hash

Returns the hash of the given leaf node.

type Hash = Field<E>

type Leaf = Vec<Field<E>>

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.

impl<E, const RATE: usize> PathHash<E> for Poseidon<E, RATE>

where E: Environment,

fn hash_children( &self, children: &[<Poseidon<E, RATE> as PathHash<E>>::Hash], ) -> <Poseidon<E, RATE> as PathHash<E>>::Hash

Returns the hash of the given child nodes.

type Hash = Field<E>

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

fn hash_empty<const ARITY: u8>(&self) -> Self::Hash

Returns the empty hash.