Trait enjen::StateDependentProof

pub trait StateDependentProof: Send + Sync {
    fn generate_proof<'a>(&self, state: &Call<'_>) -> Result<Vec<u8>, String>;
    fn check_proof(&self, mashina: &Machine, proof: &[u8]) -> Result<(), String>;
}

Proof dependent on state.

Required methods

fn generate_proof<'a>(&self, state: &Call<'_>) -> Result<Vec<u8>, String>

Generate a proof, given the state.

fn check_proof(&self, mashina: &Machine, proof: &[u8]) -> Result<(), String>

Check a proof generated elsewhere (potentially by a peer).

Loading content...

Implementors

Loading content...