List of all items

Structs

• columns::Challenges
• columns::GadgetIter
• constraints::Env
• proof::Proof
• witness::Env

Enums

• columns::ChallengeTerm
• columns::Column
• columns::Gadget
• interpreter::Instruction
• interpreter::Side

Traits

• interpreter::InterpreterEnv

Functions

• interpreter::run_app
• interpreter::run_ivc
• poseidon_3_60_0_5_5_fp::static_params
• poseidon_3_60_0_5_5_fq::static_params
• prover::prove

Type Definitions

• columns::E

Constants

• IVC_CIRCUIT_SIZE
• MAXIMUM_FIELD_SIZE_IN_BITS
• MAX_DEGREE
• MIN_SRS_LOG2_SIZE
• NUMBER_OF_COLUMNS
• NUMBER_OF_PUBLIC_INPUTS
• NUMBER_OF_SELECTORS
• NUMBER_OF_VALUES_TO_ABSORB_PUBLIC_IO
• POSEIDON_ALPHA
• POSEIDON_ROUNDS_FULL
• POSEIDON_STATE_SIZE
• witness::IVC_STARTING_INSTRUCTION