Function ivc::poseidon_55_0_7_3_7::interpreter::poseidon_circuit

source ·

pub fn poseidon_circuit<F, const STATE_SIZE: usize, const NB_FULL_ROUND: usize, PARAMETERS, Env>(
    env: &mut Env,
    param: &PARAMETERS,
    init_state: [Env::Variable; STATE_SIZE]
) -> [Env::Variable; STATE_SIZE]where
    F: PrimeField,
    PARAMETERS: PoseidonParams<F, STATE_SIZE, NB_FULL_ROUND>,
    Env: ColWriteCap<F, PoseidonColumn<STATE_SIZE, NB_FULL_ROUND>> + HybridCopyCap<F, PoseidonColumn<STATE_SIZE, NB_FULL_ROUND>>,

Expand description

Populates and checks one poseidon invocation.