Trait crev_lib::ProofStore

pub trait ProofStore {
    fn insert(&self, proof: &Proof) -> Result<()>;
    fn proofs_iter(&self) -> Result<Box<dyn Iterator<Item = Proof>>>;
}

Trait representing a place that can keep proofs

Typically serialized and persisted.

Required methods

fn insert(&self, proof: &Proof) -> Result<()>

fn proofs_iter(&self) -> Result<Box<dyn Iterator<Item = Proof>>>

Loading content...

Implementors

impl ProofStore for Local

fn insert(&self, proof: &Proof) -> Result<()>

fn proofs_iter(&self) -> Result<Box<dyn Iterator<Item = Proof>>>

Loading content...