List of all items

Structs

• VmStarkProof
• deferral::DeferralMerkleProofs
• pvs::DeferralPvs
• pvs::VerifierBasePvs
• pvs::VerifierDefPvs
• pvs::VkCommit
• pvs::VmPvs
• vk::VerificationBaseline
• vk::VmStarkVerifyingKey

Enums

• error::VerifyStarkError

Functions

• verify_vm_stark_proof
• verify_vm_stark_proof_decoded
• verify_vm_stark_proof_pvs
• vk::read_vk_from_file
• vk::write_vk_to_file

Constants

• pvs::CONSTRAINT_EVAL_AIR_ID
• pvs::CONSTRAINT_EVAL_CACHED_INDEX
• pvs::DEF_PVS_AIR_ID
• pvs::LOG_MAX_RECURSION_DEPTH
• pvs::MAX_RECURSION_DEPTH
• pvs::VERIFIER_PVS_AIR_ID
• pvs::VM_PVS_AIR_ID