List of all items
Structs
Functions
- abi::zkvm_abi_alloc_words
- abi::zkvm_abi_write_stderr
- abi::zkvm_abi_write_stdout
- syscall::sys_compute_poly
- syscall::sys_cycle_count
- syscall::sys_ffpu
- syscall::sys_halt
- syscall::sys_io
- syscall::sys_log
- syscall::sys_output
- syscall::sys_panic
- syscall::sys_sha_buffer
- syscall::sys_sha_compress
Constants
- PAGE_SIZE
- WORD_SIZE
- io::SENDRECV_CHANNEL_INITIAL_INPUT
- io::SENDRECV_CHANNEL_JOURNAL
- io::SENDRECV_CHANNEL_STDERR
- io::SENDRECV_CHANNEL_STDOUT
- memory::DATA
- memory::FFPU
- memory::HEAP
- memory::INPUT
- memory::MEM_BITS
- memory::MEM_SIZE
- memory::PAGE_TABLE
- memory::PRE_LOAD
- memory::STACK
- memory::SYSTEM
- memory::TEXT
- syscall::DIGEST_BYTES
- syscall::DIGEST_WORDS
- syscall::ecall::FFPU
- syscall::ecall::HALT
- syscall::ecall::OUTPUT
- syscall::ecall::SHA
- syscall::ecall::SOFTWARE
- syscall::nr::SYS_COMPUTE_POLY
- syscall::nr::SYS_CYCLE_COUNT
- syscall::nr::SYS_IO
- syscall::nr::SYS_LOG
- syscall::nr::SYS_PANIC
- syscall::reg_abi::REG_A0
- syscall::reg_abi::REG_A1
- syscall::reg_abi::REG_A2
- syscall::reg_abi::REG_A3
- syscall::reg_abi::REG_A4
- syscall::reg_abi::REG_A5
- syscall::reg_abi::REG_A6
- syscall::reg_abi::REG_A7
- syscall::reg_abi::REG_FP
- syscall::reg_abi::REG_GP
- syscall::reg_abi::REG_MAX
- syscall::reg_abi::REG_PC
- syscall::reg_abi::REG_RA
- syscall::reg_abi::REG_S0
- syscall::reg_abi::REG_S1
- syscall::reg_abi::REG_S10
- syscall::reg_abi::REG_S11
- syscall::reg_abi::REG_S2
- syscall::reg_abi::REG_S3
- syscall::reg_abi::REG_S4
- syscall::reg_abi::REG_S5
- syscall::reg_abi::REG_S6
- syscall::reg_abi::REG_S7
- syscall::reg_abi::REG_S8
- syscall::reg_abi::REG_S9
- syscall::reg_abi::REG_SP
- syscall::reg_abi::REG_T0
- syscall::reg_abi::REG_T1
- syscall::reg_abi::REG_T2
- syscall::reg_abi::REG_T3
- syscall::reg_abi::REG_T4
- syscall::reg_abi::REG_T5
- syscall::reg_abi::REG_T6
- syscall::reg_abi::REG_TP
- syscall::reg_abi::REG_ZERO