Struct ProofAttestation 

pub struct ProofAttestation {
    pub proof_term_hash: [u8; 32],
    pub environment_hash: [u8; 32],
    pub verification_timestamp_ns: u64,
    pub verifier_version: u32,
    pub reduction_steps: u32,
    pub cache_hit_rate_bps: u16,
}

A proof attestation that records verification metadata.

Can be serialized into an RVF WITNESS_SEG entry (82 bytes) for inclusion in proof-carrying containers.

Fields

proof_term_hash: [u8; 32]

Hash of the serialized proof term (32 bytes).

environment_hash: [u8; 32]

Hash of the environment declarations used (32 bytes).

verification_timestamp_ns: u64

Nanosecond UNIX timestamp of verification.

verifier_version: u32

lean-agentic version: 0x00_01_00_00 = 0.1.0.

reduction_steps: u32

Number of type-check reduction steps consumed.

cache_hit_rate_bps: u16

Arena cache hit rate (0..10000 = 0.00%..100.00%).

Implementations

impl ProofAttestation

pub fn new( proof_term_hash: [u8; 32], environment_hash: [u8; 32], reduction_steps: u32, cache_hit_rate_bps: u16, ) -> Self

Create a new attestation with the given parameters.

pub fn to_bytes(&self) -> Vec<u8>

Serialize attestation to bytes for signing/hashing.

pub fn from_bytes(data: &[u8]) -> Result<Self, &'static str>

Deserialize from bytes.

pub fn content_hash(&self) -> u64

Compute a simple hash of this attestation for caching.

Trait Implementations

impl Clone for ProofAttestation

fn clone(&self) -> ProofAttestation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProofAttestation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.