Expand description
Manages formatted binaries used by the RISC Zero zkVM
Structs§
- Byte
Addr - A memory address expressed in bytes
- Invalid
Exit Code Error - Error returned when a
(system, user)exit code pair is an invalid representation. - Memory
Image - A memory image
- Page
- A page of memory
- Program
- A RISC Zero program
- Program
Binary - A container to hold a user ELF and a kernel ELF together.
- Program
Binary Header - A list of key-value pairs that contains information about the program.
- System
State - Represents the public state of a segment, needed for continuations and receipt verification.
- Word
Addr - A memory address expressed in words
Enums§
- AbiKind
- What kind of ABI is the program using
- Decode
Error - Error returned when a decoding failure occurs.
- Exit
Code - Exit condition indicated by the zkVM at the end of the guest execution.
Constants§
- KERNEL_
START_ ADDR - Start address for kernel-mode memory.
Traits§
- Digestible
- Defines a collision resistant hash for the typed and structured data.
Functions§
- compute_
image_ id - Compute and return the ImageID of the specified combined user ELF + kernel ELF binary.
- read_
sha_ halfs - Read a SHA-256 digest as a series of half-wrods (i.e. 16-bit values).
- tagged_
iter - A list hashing routine, permitting iterative opening over elements.
- tagged_
list - A list hashing routine, permitting iterative opening over elements.
- tagged_
list_ cons - Calculate the hash resulting from adding one element to a tagged_list digest.
- tagged_
struct - A struct hashing routine, permitting tree-like opening of fields.
- write_
sha_ halfs - Write a SHA-256 digest as a series of half-wrods (i.e. 16-bit values).