List of all items

Structs

• expr_eval::GenericEvalEnv
• expr_eval::GenericVecStructure
• ivc::columns::IVCFECLens
• ivc::columns::IVCHashLens
• ivc::interpreter::ScalarLimbs
• ivc::lookups::IVCFECLookupLens
• plonkish_lang::PlonkishChallengeIter
• plonkish_lang::PlonkishInstance
• plonkish_lang::PlonkishWitnessGeneric
• poseidon_8_56_5_3_2::bn254::PlonkSpongeConstantsIVC
• poseidon_8_56_5_3_2::bn254::PoseidonBN254Parameters
• poseidon_params_55_0_7_3::PlonkSpongeConstantsIVC
• prover::Proof
• prover::ProofCommitments
• prover::ProofEvaluations

Enums

• ivc::columns::IVCColumn
• ivc::lookups::IVCLookupTable
• plonkish_lang::PlonkishChallenge
• poseidon_55_0_7_3_2::columns::PoseidonColumn
• poseidon_55_0_7_3_7::columns::PoseidonColumn
• poseidon_8_56_5_3_2::columns::PoseidonColumn
• prover::ProverError

Traits

• plonkish_lang::CombinableEvals
• poseidon_55_0_7_3_2::interpreter::PoseidonParams
• poseidon_55_0_7_3_7::interpreter::PoseidonParams
• poseidon_8_56_5_3_2::interpreter::PoseidonParams

Functions

• ivc::columns::block_height
• ivc::columns::total_height
• ivc::constraints::constrain_challenges
• ivc::constraints::constrain_ecadds
• ivc::constraints::constrain_inputs
• ivc::constraints::constrain_ivc
• ivc::constraints::constrain_scalars
• ivc::constraints::constrain_selectors
• ivc::constraints::constrain_u
• ivc::helpers::combine_large_to_full_field
• ivc::helpers::combine_large_to_xlarge
• ivc::helpers::combine_small_to_full
• ivc::interpreter::build_fixed_selectors
• ivc::interpreter::ivc_circuit
• ivc::interpreter::ivc_circuit_base_case
• ivc::interpreter::process_challenges
• ivc::interpreter::process_ecadds
• ivc::interpreter::process_hashes
• ivc::interpreter::process_inputs
• ivc::interpreter::process_scalars
• ivc::interpreter::process_u
• ivc::interpreter::write_inputs_row
• ivc::interpreter::write_scalars_row
• poseidon_55_0_7_3_2::interpreter::apply_permutation
• poseidon_55_0_7_3_2::interpreter::poseidon_circuit
• poseidon_55_0_7_3_7::interpreter::apply_permutation
• poseidon_55_0_7_3_7::interpreter::poseidon_circuit
• poseidon_8_56_5_3_2::bn254::static_params
• poseidon_8_56_5_3_2::interpreter::apply_permutation
• poseidon_8_56_5_3_2::interpreter::poseidon_circuit
• poseidon_params_55_0_7_3::static_params
• prover::prove
• verifier::verify

Type Definitions

• expr_eval::SimpleEvalEnv
• plonkish_lang::PlonkishWitness
• poseidon_8_56_5_3_2::bn254::Column
• prover::Fp
• prover::Fq
• prover::G
• prover::Pairing
• verifier::Fp
• verifier::Fq
• verifier::G
• verifier::Pairing

Constants

• ivc::LIMB_BITSIZE_XLARGE
• ivc::N_ADDITIONAL_WIT_COL_QUAD
• ivc::N_ALPHAS
• ivc::N_CONSTRAINTS
• ivc::N_LIMBS_XLARGE
• ivc::columns::N_BLOCKS
• ivc::columns::N_FSEL_IVC
• poseidon_8_56_5_3_2::bn254::MAX_DEGREE
• poseidon_8_56_5_3_2::bn254::NB_COLUMNS
• poseidon_8_56_5_3_2::bn254::NB_CONSTRAINTS
• poseidon_8_56_5_3_2::bn254::NB_FULL_ROUND
• poseidon_8_56_5_3_2::bn254::NB_PARTIAL_ROUND
• poseidon_8_56_5_3_2::bn254::NB_ROUND_CONSTANTS
• poseidon_8_56_5_3_2::bn254::NB_TOTAL_ROUND
• poseidon_8_56_5_3_2::bn254::STATE_SIZE