Module proof

Structs

• Claim
  Contains the public information of a verifiably correct computation. A corresponding Proof is needed to verify the computation. One additional piece of public information not explicitly listed in the Claim is the padded_height, an upper bound on the length of the computation. It is derivable from a Proof by calling Proof::padded_height().
• Proof
  Contains the necessary cryptographic information to verify a computation. Should be used together with a Claim.

Enums

• ClaimBFieldDecodingError
• ProofBFieldDecodingError

Constants

• CURRENT_VERSION
  A version tag for the combination of Triton VM’s instruction set architecture (ISA) as well as the STARK proof system. This version changes whenever either of the two changes.