Struct boojum::cs::gates::poseidon2::Poseidon2FlattenedGate

pub struct Poseidon2FlattenedGate<F: SmallField, const AW: usize, const SW: usize, const CW: usize, PAR: Poseidon2Parameters<F, AW, SW, CW>> {
    pub absorbed_elements: [Variable; AW],
    pub kept_elements: [Variable; CW],
    pub new_state: [Variable; SW],
    /* private fields */
}

Fields

absorbed_elements: [Variable; AW]

kept_elements: [Variable; CW]

new_state: [Variable; SW]

Implementations

impl<F: SmallField, const AW: usize, const SW: usize, const CW: usize, PAR: Poseidon2Parameters<F, AW, SW, CW>> Poseidon2FlattenedGate<F, AW, SW, CW, PAR>

where [(); PAR::NUM_FULL_ROUNDS]:, [(); PAR::NUM_PARTIAL_ROUNDS]:,

pub fn compute_strategy(geometry: &CSGeometry) -> (usize, (usize, usize))

pub fn add_to_cs<CS: ConstraintSystem<F>>( self, cs: &mut CS, temporary_places: Vec<Place>, )

pub fn configure_builder<GC: GateConfigurationHolder<F>, TB: StaticToolboxHolder, TImpl: CsBuilderImpl<F, TImpl>>( builder: CsBuilder<TImpl, F, GC, TB>, placement_strategy: GatePlacementStrategy, ) -> CsBuilder<TImpl, F, (GateTypeEntry<F, Self, NextGateCounterWithoutParams>, GC), TB>

pub fn compute_round_function<CS: ConstraintSystem<F>>( cs: &mut CS, elements_to_absorb: [Variable; AW], state_elements_to_keep: [Variable; CW], ) -> [Variable; SW]

pub fn enforce_round_function<CS: ConstraintSystem<F>>( cs: &mut CS, initial_state: [Variable; SW], final_state: [Variable; SW], )

Trait Implementations

impl<F: SmallField, const AW: usize, const SW: usize, const CW: usize, PAR: Poseidon2Parameters<F, AW, SW, CW>> Clone for Poseidon2FlattenedGate<F, AW, SW, CW, PAR>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: SmallField, const AW: usize, const SW: usize, const CW: usize, PAR: Poseidon2Parameters<F, AW, SW, CW>> Debug for Poseidon2FlattenedGate<F, AW, SW, CW, PAR>

fn fmt(&self, __f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: SmallField, const AW: usize, const SW: usize, const CW: usize, PAR: Poseidon2Parameters<F, AW, SW, CW>> Gate<F> for Poseidon2FlattenedGate<F, AW, SW, CW, PAR>

where [(); PAR::NUM_FULL_ROUNDS]:, [(); PAR::NUM_PARTIAL_ROUNDS]:,

fn check_compatible_with_cs<CS: ConstraintSystem<F>>(&self, cs: &CS) -> bool

type Evaluator = Poseidon2RoundFunctionFlattenedEvaluator<F, AW, SW, CW, PAR>

fn evaluator(&self) -> Self::Evaluator

type Tools = ()

fn placement_type(&self) -> GatePlacementType

fn num_repetitions_in_geometry(&self, geometry: &CSGeometry) -> usize

fn num_required_constants(&self, geometry: &CSGeometry) -> usize

fn capacity_per_row<CS: ConstraintSystem<F>>(&self, cs: &CS) -> usize

fn row_finalization_function<CS: ConstraintSystem<F>>() -> Option<GateRowCleanupFunction<CS>>

fn columns_finalization_function<CS: ConstraintSystem<F>>() -> Option<GateColumnsCleanupFunction<CS>>

impl<F: SmallField, const AW: usize, const SW: usize, const CW: usize, PAR: Poseidon2Parameters<F, AW, SW, CW>> Hash for Poseidon2FlattenedGate<F, AW, SW, CW, PAR>

fn hash<__HFPAR>(&self, __state: &mut __HFPAR)

where __HFPAR: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<F: SmallField, const AW: usize, const SW: usize, const CW: usize, PAR: Poseidon2Parameters<F, AW, SW, CW>> PartialEq for Poseidon2FlattenedGate<F, AW, SW, CW, PAR>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: SmallField, const AW: usize, const SW: usize, const CW: usize, PAR: Poseidon2Parameters<F, AW, SW, CW>> Eq for Poseidon2FlattenedGate<F, AW, SW, CW, PAR>