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