Trait enjen::StateDependentProof [−][src]
Proof dependent on state.
Required methods
fn generate_proof<'a>(&self, state: &Call<'_>) -> Result<Vec<u8>, String>
[src]
Generate a proof, given the state.
fn check_proof(&self, mashina: &Machine, proof: &[u8]) -> Result<(), String>
[src]
Check a proof generated elsewhere (potentially by a peer).