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

Loading content...

Implementors

Loading content...