List of all items

Structs

• challenge::Challenges
• cli::ExecuteArgs
• column::GadgetIter
• constraint::Env
• curve::PlonkSpongeConstants
• decider::proof::Proof
• setup::IndexedRelation
• witness::Env
• witness::Program

Enums

• challenge::ChallengeTerm
• cli::Commands
• column::Column
• column::Gadget
• interpreter::Instruction
• interpreter::Side

Traits

• curve::ArrabbiataCurve
• interpreter::InterpreterEnv

Functions

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

Type Definitions

• column::E

Constants

• MAXIMUM_FIELD_SIZE_IN_BITS
• MAX_DEGREE
• MIN_SRS_LOG2_SIZE
• MV_POLYNOMIAL_ARITY
• NUMBER_OF_COLUMNS
• NUMBER_OF_GADGETS
• NUMBER_OF_VALUES_TO_ABSORB_PUBLIC_IO
• VERIFIER_CIRCUIT_SIZE
• interpreter::VERIFIER_STARTING_INSTRUCTION