Module proof_store 

Ed25519-signed proof attestation.

Provides ProofAttestation for creating verifiable proof receipts that can be serialized into RVF WITNESS_SEG entries.

Structs

ProofAttestation

A proof attestation that records verification metadata.

Constants

ATTESTATION_SIZE

Serialized size of a ProofAttestation.

WITNESS_TYPE_FORMAL_PROOF

Witness type code for formal verification proofs. Extends existing codes: 0x01=PROVENANCE, 0x02=COMPUTATION.

Functions

create_attestation

Create a ProofAttestation from a completed verification.