Struct ProofRegistry 

pub struct ProofRegistry { /* private fields */ }

Registry of execution proofs, indexed by function hash.

Implementations

impl ProofRegistry

pub fn new() -> Self

Create an empty registry.

pub fn register(&mut self, proof: ExecutionProof) -> usize

Register a proof. Returns the index of the newly registered proof.

pub fn lookup(&self, function_hash: &[u8; 32]) -> &[ExecutionProof]

Look up all proofs for a given function content hash.

pub fn lookup_iter<'a>( &'a self, function_hash: &[u8; 32], ) -> impl Iterator<Item = &'a ExecutionProof>

Iterate over all proofs for a given function hash.

pub fn verify_all(&self) -> Vec<(usize, VerificationResult)>

Verify integrity of all registered proofs.

Returns a list of (proof_index, VerificationResult) for every proof that fails integrity verification.

pub fn len(&self) -> usize

Total number of registered proofs.

pub fn is_empty(&self) -> bool

Whether the registry is empty.

Trait Implementations

impl Default for ProofRegistry

fn default() -> Self

Returns the “default value” for a type.