List of all items

Structs

• CircuitImpl
• layout::BodyStepLayout
• layout::GlobalLayout
• layout::HaltCycleLayout
• layout::Mux0Layout
• layout::Mux1Layout
• layout::MuxLayout
• layout::PcRegLayout
• layout::RamHeaderLayout
• layout::RamPlonkElementLayout
• layout::RamPlonkVerifierLayout
• layout::SystemStateLayout
• layout::TopLayout
• prove::emu::addr::ByteAddr
• prove::emu::addr::WordAddr
• prove::emu::exec::Executor
• prove::emu::exec::ExecutorResult
• prove::emu::exec::SimpleSession
• prove::emu::preflight::MemoryTransaction
• prove::emu::preflight::PreflightCycle
• prove::emu::preflight::PreflightStage
• prove::emu::preflight::PreflightTrace
• prove::emu::rv32im::DecodedInstruction
• prove::emu::rv32im::Emulator
• prove::emu::rv32im::Instruction
• prove::emu::testutil::NullSyscall
• prove::engine::loader::CtrlCycle
• prove::engine::loader::Loader
• prove::engine::machine::MachineContext
• prove::hal::cpu::CpuCircuitHal
• prove::hal::testutil::EvalCheckParams
• prove::segment::Segment
• prove::segment::SyscallRecord

Enums

• prove::emu::mux::Major
• prove::emu::mux::TopMux
• prove::emu::preflight::Back
• prove::emu::rv32im::InsnKind
• prove::emu::rv32im::TrapCause
• trace::TraceEvent

Traits

• prove::SegmentProver
• prove::emu::exec::Syscall
• prove::emu::exec::SyscallContext
• prove::emu::rv32im::EmuContext
• trace::TraceCallback

Functions

• control_id
• control_ids
• prove::emu::exec::execute
• prove::emu::exec::execute_elf
• prove::emu::testutil::basic
• prove::emu::testutil::large_text
• prove::emu::testutil::simple_loop
• prove::engine::loader::ram_load_cycles
• prove::hal::cpu::segment_prover
• prove::hal::testutil::eval_check_impl
• prove::segment_prover

Type Aliases

• control_id::ControlIds
• layout::Reg17LayoutArray
• layout::Reg2LayoutArray
• layout::Reg3LayoutArray
• layout::Reg4LayoutArray
• layout::Reg4LayoutArray7LayoutArray
• layout::Reg4LayoutArray8LayoutArray
• prove::Seal

Statics

• prove::engine::loader::SHA_K

Constants

• CIRCUIT
• GLOBAL_MIX
• GLOBAL_OUT
• REGISTER_GROUP_ACCUM
• REGISTER_GROUP_CODE
• REGISTER_GROUP_CTRL
• REGISTER_GROUP_DATA
• control_id::BLAKE2B_CONTROL_IDS
• control_id::POSEIDON2_CONTROL_IDS
• control_id::SHA256_CONTROL_IDS
• layout::ACCUM_LAYOUT
• layout::DATA_LAYOUT
• layout::MIX_LAYOUT
• layout::OUT_LAYOUT
• poly_ext::DEF
• prove::emu::exec::DEFAULT_SEGMENT_LIMIT_PO2
• prove::emu::testutil::DEFAULT_SESSION_LIMIT
• prove::engine::loader::FINI_CYCLES
• prove::engine::loader::INIT_CYCLES
• prove::engine::loader::RAM_LOAD_CYCLES
• prove::engine::loader::SETUP_CYCLES
• prove::engine::loader::SETUP_STEP_REGS
• prove::engine::loader::SHA_INIT_OFFSET
• prove::engine::loader::SHA_K_OFFSET
• prove::engine::loader::SHA_K_SIZE
• prove::engine::loader::ZEROS_OFFSET