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

Proof dependent on state.

Required methods

Generate a proof, given the state.

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

Implementors