Trait ethcore::engines::StateDependentProof [−][src]
pub trait StateDependentProof<M: Machine>: Send + Sync { fn generate_proof<'a>(
&self,
state: &<M as Localized<'a>>::StateContext
) -> Result<Vec<u8>, String>; fn check_proof(&self, machine: &M, proof: &[u8]) -> Result<(), String>; }
Proof dependent on state.
Required Methods
fn generate_proof<'a>(
&self,
state: &<M as Localized<'a>>::StateContext
) -> Result<Vec<u8>, String>
&self,
state: &<M as Localized<'a>>::StateContext
) -> Result<Vec<u8>, String>
Generate a proof, given the state.
fn check_proof(&self, machine: &M, proof: &[u8]) -> Result<(), String>
Check a proof generated elsewhere (potentially by a peer).