List of all items

Structs

• execute::Executor
• execute::ExecutorResult
• execute::MemoryImage2
• execute::SimpleSession
• execute::testutil::NullSyscall

Enums

• execute::platform::CycleState

Traits

• prove::SegmentProver

Functions

• execute::platform::is_kernel_memory
• execute::platform::is_user_memory
• execute::testutil::basic
• execute::testutil::execute
• execute::testutil::simple_loop
• prove::segment_prover

Type Aliases

• prove::Seal

Constants

• execute::DEFAULT_SEGMENT_LIMIT_PO2
• execute::MAX_INSN_CYCLES
• execute::platform::ECALL_DISPATCH_ADDR
• execute::platform::GLOBAL_INPUT_ADDR
• execute::platform::GLOBAL_OUTPUT_ADDR
• execute::platform::HOST_ECALL_POSEIDON2
• execute::platform::HOST_ECALL_READ
• execute::platform::HOST_ECALL_TERMINATE
• execute::platform::HOST_ECALL_WRITE
• execute::platform::KERNEL_END_ADDR
• execute::platform::KERNEL_START_ADDR
• execute::platform::LOOKUP_TABLE_CYCLES
• execute::platform::MACHINE_REGS_ADDR
• execute::platform::MAX_IO_BYTES
• execute::platform::MAX_IO_WORDS
• execute::platform::MEMORY_BYTES
• execute::platform::MEMORY_END_ADDR
• execute::platform::MEMORY_PAGES
• execute::platform::MEPC_ADDR
• execute::platform::MERKLE_TREE_DEPTH
• execute::platform::MERKLE_TREE_END_ADDR
• execute::platform::MERKLE_TREE_START_ADDR
• execute::platform::PAGE_BYTES
• execute::platform::PFLAG_CHECK_OUT
• execute::platform::PFLAG_IS_ELEM
• execute::platform::REG_A0
• execute::platform::REG_A1
• execute::platform::REG_A2
• execute::platform::REG_A3
• execute::platform::REG_A4
• execute::platform::REG_A5
• execute::platform::REG_A6
• execute::platform::REG_A7
• execute::platform::REG_FP
• execute::platform::REG_GP
• execute::platform::REG_MAX
• execute::platform::REG_RA
• execute::platform::REG_S0
• execute::platform::REG_S1
• execute::platform::REG_S10
• execute::platform::REG_S11
• execute::platform::REG_S2
• execute::platform::REG_S3
• execute::platform::REG_S4
• execute::platform::REG_S5
• execute::platform::REG_S6
• execute::platform::REG_S7
• execute::platform::REG_S8
• execute::platform::REG_S9
• execute::platform::REG_SP
• execute::platform::REG_T0
• execute::platform::REG_T1
• execute::platform::REG_T2
• execute::platform::REG_T3
• execute::platform::REG_T4
• execute::platform::REG_T5
• execute::platform::REG_T6
• execute::platform::REG_TP
• execute::platform::REG_ZERO
• execute::platform::SAFE_WRITE_ADDR
• execute::platform::SUSPEND_CYCLE_HIGH_ADDR
• execute::platform::SUSPEND_CYCLE_LOW_ADDR
• execute::platform::SUSPEND_MODE_ADDR
• execute::platform::SUSPEND_PC_ADDR
• execute::platform::SYSCALL_MAX
• execute::platform::TRAP_DISPATCH_ADDR
• execute::platform::USER_END_ADDR
• execute::platform::USER_REGS_ADDR
• execute::platform::USER_START_ADDR
• execute::platform::WORD_SIZE
• execute::platform::ZERO_PAGE_END_ADDR
• execute::platform::ZERO_PAGE_START_ADDR
• execute::platform::control_minor::MRET
• execute::platform::control_minor::RESUME
• execute::platform::control_minor::USER_ECALL
• execute::platform::ecall_minor::HOST_READ_BYTES
• execute::platform::ecall_minor::HOST_READ_SETUP
• execute::platform::ecall_minor::HOST_READ_WORDS
• execute::platform::ecall_minor::HOST_WRITE
• execute::platform::ecall_minor::MACHINE_ECALL
• execute::platform::ecall_minor::TERMINATE
• execute::platform::major::CONTROL0
• execute::platform::major::DIV0
• execute::platform::major::ECALL0
• execute::platform::major::MEM0
• execute::platform::major::MEM1
• execute::platform::major::MISC0
• execute::platform::major::MISC1
• execute::platform::major::MISC2
• execute::platform::major::MUL0
• execute::platform::major::POSEIDON0
• execute::platform::major::POSEIDON1
• execute::platform::poseidon_minor::EXT_ROUND
• execute::platform::poseidon_minor::INT_ROUNDS
• execute::platform::poseidon_minor::LOAD_DATA
• execute::platform::poseidon_minor::LOAD_STATE
• execute::platform::poseidon_minor::STORE_STATE
• execute::platform::tx::PAGE_IN
• execute::platform::tx::PAGE_OUT
• execute::platform::tx::READ
• execute::testutil::DEFAULT_SESSION_LIMIT
• execute::testutil::MIN_CYCLES_PO2