[−][src]Trait ergo_lib::sigma_protocol::ProofTreeLeaf

pub trait ProofTreeLeaf {
    fn proposition(&self) -> SigmaBoolean;
    fn commitment_opt(&self) -> Option<FirstProverMessage>;
}

Proof tree leaf

Required methods

`fn proposition(&self) -> SigmaBoolean`

Get proposition

`fn commitment_opt(&self) -> Option<FirstProverMessage>`

Get commitment

Loading content...

Implementors

`impl ProofTreeLeaf for UncheckedLeaf`[src]

`fn proposition(&self) -> SigmaBoolean`[src]

`fn commitment_opt(&self) -> Option<FirstProverMessage>`[src]

`impl ProofTreeLeaf for UnprovenLeaf`[src]

`fn proposition(&self) -> SigmaBoolean`[src]

`fn commitment_opt(&self) -> Option<FirstProverMessage>`[src]

Loading content...