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.

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.