Trait ergotree_interpreter::sigma_protocol::ProofTreeLeaf [−][src]
pub trait ProofTreeLeaf { fn proposition(&self) -> SigmaBoolean; fn commitment_opt(&self) -> Option<FirstProverMessage>; }
Proof tree leaf
Required methods
fn proposition(&self) -> SigmaBoolean
[src]
Get proposition
fn commitment_opt(&self) -> Option<FirstProverMessage>
[src]
Get commitment