Trait ergo_lib::sigma_protocol::ProofTreeLeaf

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

Proof tree leaf

Required methods

pub fn proposition(&self) -> SigmaBoolean

Get proposition

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

Get commitment

Loading content...

Implementors

Loading content...