Struct kimchi::circuits::polynomials::poseidon::Poseidon

pub struct Poseidon<F>(_);

Implementation of the Poseidon gate Poseidon quotient poly contribution computation f^7 + c(x) - f(wx) Conjunction of:

curr[round_range(1)] = round(curr[round_range(0)])
curr[round_range(2)] = round(curr[round_range(1)])
curr[round_range(3)] = round(curr[round_range(2)])
curr[round_range(4)] = round(curr[round_range(3)])
next[round_range(0)] = round(curr[round_range(4)])

which expands e.g., to
curr[round_range(1)][0] =
     mds[0][0] * sbox(curr[round_range(0)][0])
   + mds[0][1] * sbox(curr[round_range(0)][1])
   + mds[0][2] * sbox(curr[round_range(0)][2])
   + rcm[round_range(1)][0]
curr[round_range(1)][1] =
     mds[1][0] * sbox(curr[round_range(0)][0])
   + mds[1][1] * sbox(curr[round_range(0)][1])
   + mds[1][2] * sbox(curr[round_range(0)][2])
   + rcm[round_range(1)][1]
...

The rth position in this array contains the alphas used for the equations that constrain the values of the (r+1)th state.

Trait Implementations

impl<F> Argument<F> for Poseidon<F>where F: PrimeField,

const ARGUMENT_TYPE: ArgumentType = _

The type of constraints that this will produce. This is important to enforce that we don’t combine the constraints with powers of alpha that collide with other mutually inclusive arguments.

const CONSTRAINTS: u32 = 15u32

The number of constraints created by the argument.

fn constraint_checks<T: ExprOps<F>>( env: &ArgumentEnv<F, T>, cache: &mut Cache ) -> Vec<T>

Constraints for this argument

fn constraints(cache: &mut Cache) -> Vec<E<F>>

Returns the set of constraints required to prove this argument.

fn combined_constraints(alphas: &Alphas<F>, cache: &mut Cache) -> E<F>

Returns constraints safely combined via the passed combinator.

impl<F: Default> Default for Poseidon<F>

fn default() -> Poseidon<F>

Returns the “default value” for a type.