Struct Poseidon

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

Trait Implementations

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

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: Environment, const RATE: usize> Hash for Poseidon<E, RATE>

type Input = Field<E>

type Output = Field<E>

fn hash(&self, input: &[Self::Input]) -> Self::Output

Returns the hash of the given input.

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

type Input = Field<E>

type Output = Field<E>

fn hash_many( &self, input: &[Self::Input], num_outputs: u16, ) -> Vec<Self::Output>

Returns the hash of the given input.

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

fn hash_to_group(&self, input: &[Self::Input]) -> Self::Group

Returns an affine group element from hashing the input.

type Group = Group<E>

type Input = Field<E>

type Scalar = Scalar<E>

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

fn hash_to_scalar(&self, input: &[Self::Input]) -> Self::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: Environment, const RATE: usize> Inject for Poseidon<E, RATE>

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

fn new(_mode: Mode, poseidon: Self::Primitive) -> Self

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: Environment, const RATE: usize> PRF for Poseidon<E, RATE>

type Input = Field<E>

type Output = Field<E>

type Seed = Field<E>

fn prf(&self, seed: &Self::Seed, input: &[Self::Input]) -> Self::Output

Returns the output for the given seed and input.