Expand description
Ed25519-signed proof attestation.
Provides ProofAttestation for creating verifiable proof receipts
that can be serialized into RVF WITNESS_SEG entries.
Structs§
- Proof
Attestation - 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.