List of all items

Structs

• cannon::Hint
• cannon::HostProgram
• cannon::Meta
• cannon::Page
• cannon::ParsePreimageKeyError
• cannon::Preimage
• cannon::PreimageKey
• cannon::Start
• cannon::State
• cannon::Symbol
• cannon::VmConfiguration
• interpreters::keccak::column::AbsorbsIter
• interpreters::keccak::column::SpongesIter
• interpreters::keccak::column::StepsIter
• interpreters::keccak::constraints::Env
• interpreters::keccak::environment::KeccakEnv
• interpreters::keccak::witness::Env
• interpreters::mips::constraints::Env
• interpreters::mips::interpreter::ITypeInstructionIter
• interpreters::mips::interpreter::InstructionIter
• interpreters::mips::interpreter::JTypeInstructionIter
• interpreters::mips::interpreter::RTypeInstructionIter
• interpreters::mips::interpreter::debugging::InstructionParts
• interpreters::mips::registers::Registers
• interpreters::mips::witness::Env
• interpreters::mips::witness::SyscallEnv
• interpreters::riscv32i::constraints::Env
• interpreters::riscv32i::interpreter::IInstructionIter
• interpreters::riscv32i::interpreter::InstructionIter
• interpreters::riscv32i::interpreter::RInstructionIter
• interpreters::riscv32i::interpreter::SBInstructionIter
• interpreters::riscv32i::interpreter::SInstructionIter
• interpreters::riscv32i::interpreter::SyscallInstructionIter
• interpreters::riscv32i::interpreter::UInstructionIter
• interpreters::riscv32i::interpreter::UJInstructionIter
• interpreters::riscv32i::registers::Registers
• interpreters::riscv32i::witness::Env
• legacy::folding::ChallengeIter
• legacy::folding::DecomposedFoldingEnvironment
• legacy::folding::FoldingEnvironment
• legacy::folding::FoldingInstance
• legacy::folding::FoldingWitness
• legacy::folding::keccak::KeccakConfig
• legacy::folding::mips::DecomposableMIPSFoldingConfig
• legacy::trace::DecomposedTrace
• legacy::trace::Trace
• pickles::column_env::ColumnEnvironment
• pickles::proof::Proof
• pickles::proof::ProofInputs
• pickles::proof::WitnessColumns
• preimage_oracle::PreImageOracle
• preimage_oracle::RW
• preimage_oracle::ReadWrite
• ramlookup::RAMLookup

Enums

• cannon::StepFrequency
• interpreters::keccak::Constraint
• interpreters::keccak::Error
• interpreters::keccak::column::Absorbs
• interpreters::keccak::column::ColumnAlias
• interpreters::keccak::column::Sponges
• interpreters::keccak::column::Steps
• interpreters::mips::column::ColumnAlias
• interpreters::mips::interpreter::ITypeInstruction
• interpreters::mips::interpreter::Instruction
• interpreters::mips::interpreter::JTypeInstruction
• interpreters::mips::interpreter::RTypeInstruction
• interpreters::riscv32i::column::Column
• interpreters::riscv32i::interpreter::IInstruction
• interpreters::riscv32i::interpreter::Instruction
• interpreters::riscv32i::interpreter::RInstruction
• interpreters::riscv32i::interpreter::SBInstruction
• interpreters::riscv32i::interpreter::SInstruction
• interpreters::riscv32i::interpreter::SyscallInstruction
• interpreters::riscv32i::interpreter::UInstruction
• interpreters::riscv32i::interpreter::UJInstruction
• legacy::folding::Challenge
• lookups::LookupTableIDs
• pickles::prover::ProverError
• ramlookup::LookupMode

Traits

• interpreters::keccak::helpers::ArithHelpers
• interpreters::keccak::helpers::BoolHelpers
• interpreters::keccak::helpers::LogupHelpers
• interpreters::keccak::interpreter::Interpreter
• interpreters::keccak::interpreter::KeccakInterpreter
• interpreters::mips::interpreter::InterpreterEnv
• interpreters::riscv32i::interpreter::InterpreterEnv
• legacy::trace::DecomposableTracer
• legacy::trace::Foldable
• legacy::trace::Tracer
• preimage_oracle::PreImageOracleT

Functions

• cannon::step_frequency_parser
• cannon_cli::main_cli
• cannon_cli::read_configuration
• elf_loader::parse_riscv32i
• interpreters::keccak::pad_blocks
• interpreters::keccak::standardize
• interpreters::mips::interpreter::interpret_instruction
• interpreters::mips::interpreter::interpret_itype
• interpreters::mips::interpreter::interpret_jtype
• interpreters::mips::interpreter::interpret_rtype
• interpreters::riscv32i::interpreter::interpret_instruction
• interpreters::riscv32i::interpreter::interpret_itype
• interpreters::riscv32i::interpreter::interpret_rtype
• interpreters::riscv32i::interpreter::interpret_sbtype
• interpreters::riscv32i::interpreter::interpret_stype
• interpreters::riscv32i::interpreter::interpret_syscall
• interpreters::riscv32i::interpreter::interpret_ujtype
• interpreters::riscv32i::interpreter::interpret_utype
• legacy::proof::fold
• pickles::column_env::get_all_columns
• pickles::prover::prove
• pickles::verifier::verify
• preimage_oracle::create_bidirectional_channel
• utils::memory_size

Type Definitions

• interpreters::keccak::column::KeccakWitness
• interpreters::mips::column::MIPSWitness
• interpreters::riscv32i::column::E
• legacy::BaseSponge
• legacy::Curve
• legacy::Fp
• legacy::OpeningProof
• legacy::Pairing
• legacy::ScalarSponge
• legacy::SpongeParams
• legacy::folding::keccak::KeccakFoldingEnvironment
• legacy::folding::keccak::KeccakFoldingInstance
• legacy::folding::keccak::KeccakFoldingWitness
• legacy::folding::mips::DecomposableMIPSFoldingEnvironment
• legacy::folding::mips::MIPSFoldingInstance
• legacy::folding::mips::MIPSFoldingWitness
• legacy::trace::keccak::DecomposedKeccakTrace
• legacy::trace::keccak::KeccakTrace
• legacy::trace::mips::DecomposedMIPSTrace
• legacy::trace::mips::MIPSTrace

Constants

• cannon::HINT_CLIENT_READ_FD
• cannon::HINT_CLIENT_WRITE_FD
• cannon::PAGE_ADDRESS_MASK
• cannon::PAGE_ADDRESS_SIZE
• cannon::PAGE_SIZE
• cannon::PREIMAGE_CLIENT_READ_FD
• cannon::PREIMAGE_CLIENT_WRITE_FD
• interpreters::keccak::column::N_ZKVM_KECCAK_COLS
• interpreters::keccak::column::N_ZKVM_KECCAK_REL_COLS
• interpreters::keccak::column::N_ZKVM_KECCAK_SEL_COLS
• interpreters::mips::column::N_MIPS_COLS
• interpreters::mips::column::N_MIPS_REL_COLS
• interpreters::mips::column::N_MIPS_SEL_COLS
• interpreters::mips::interpreter::FD_HINT_READ
• interpreters::mips::interpreter::FD_HINT_WRITE
• interpreters::mips::interpreter::FD_PREIMAGE_READ
• interpreters::mips::interpreter::FD_PREIMAGE_WRITE
• interpreters::mips::interpreter::FD_STDERR
• interpreters::mips::interpreter::FD_STDIN
• interpreters::mips::interpreter::FD_STDOUT
• interpreters::mips::interpreter::SYSCALL_BRK
• interpreters::mips::interpreter::SYSCALL_CLONE
• interpreters::mips::interpreter::SYSCALL_EXIT_GROUP
• interpreters::mips::interpreter::SYSCALL_FCNTL
• interpreters::mips::interpreter::SYSCALL_MMAP
• interpreters::mips::interpreter::SYSCALL_READ
• interpreters::mips::interpreter::SYSCALL_WRITE
• interpreters::mips::registers::NUM_REGISTERS
• interpreters::mips::registers::REGISTER_CURRENT_IP
• interpreters::mips::registers::REGISTER_HEAP_POINTER
• interpreters::mips::registers::REGISTER_HI
• interpreters::mips::registers::REGISTER_LO
• interpreters::mips::registers::REGISTER_NEXT_IP
• interpreters::mips::registers::REGISTER_PREIMAGE_KEY_END
• interpreters::mips::registers::REGISTER_PREIMAGE_KEY_START
• interpreters::mips::registers::REGISTER_PREIMAGE_OFFSET
• interpreters::mips::witness::MAX_ACC
• interpreters::mips::witness::MAX_NB_MEM_ACC
• interpreters::mips::witness::MAX_NB_REG_ACC
• interpreters::mips::witness::NUM_DECODING_LOOKUP_TERMS
• interpreters::mips::witness::NUM_GLOBAL_LOOKUP_TERMS
• interpreters::mips::witness::NUM_INSTRUCTION_LOOKUP_TERMS
• interpreters::mips::witness::NUM_LOOKUP_TERMS
• interpreters::mips::witness::SCRATCH_SIZE
• interpreters::riscv32i::INSTRUCTION_SET_SIZE
• interpreters::riscv32i::PAGE_ADDRESS_MASK
• interpreters::riscv32i::PAGE_ADDRESS_SIZE
• interpreters::riscv32i::PAGE_SIZE
• interpreters::riscv32i::SCRATCH_SIZE
• interpreters::riscv32i::registers::N_GP_REGISTERS
• interpreters::riscv32i::registers::REGISTER_CURRENT_IP
• interpreters::riscv32i::registers::REGISTER_HEAP_POINTER
• interpreters::riscv32i::registers::REGISTER_NEXT_IP
• interpreters::riscv32i::witness::MAX_ACC
• interpreters::riscv32i::witness::MAX_NB_MEM_ACC
• interpreters::riscv32i::witness::MAX_NB_REG_ACC
• interpreters::riscv32i::witness::NUM_DECODING_LOOKUP_TERMS
• interpreters::riscv32i::witness::NUM_GLOBAL_LOOKUP_TERMS
• interpreters::riscv32i::witness::NUM_INSTRUCTION_LOOKUP_TERMS
• interpreters::riscv32i::witness::NUM_LOOKUP_TERMS
• pickles::DEGREE_QUOTIENT_POLYNOMIAL
• pickles::MAXIMUM_DEGREE_CONSTRAINTS
• pickles::TOTAL_NUMBER_OF_CONSTRAINTS