Crate risc0_binfmt

Manages formatted binaries used by the RISC Zero zkVM

Structs

• MemoryImage
  An image of a zkVM guest’s memory
• Program
  A RISC Zero program
• SystemState
  Represents the public state of a segment, needed for continuations and receipt verification.

Functions

• read_sha_halfs
• tagged_struct
  Implementation of the struct hash described in the recursion predicates RFC.
• write_sha_halfs