Crate risc0_binfmt

Manages formatted binaries used by the RISC Zero zkVM

Structs

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

Enums

• DecodeError
  Error returned when a decoding failure occurs.

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 ELF binary.
• read_sha_halfs
• tagged_list
  A list hashing routine, permiting 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, permiting tree-like opening of fields.
• write_sha_halfs