Trait ergotree_interpreter::sigma_protocol::proof_tree::ProofTreeLeaf

source · 
pub trait ProofTreeLeaf: Debug {
    // Required methods
    fn proposition(&self) -> SigmaBoolean;
    fn commitment_opt(&self) -> Option<FirstProverMessage>;
}
Expand description

Proof tree leaf

Required Methods§

source

fn proposition(&self) -> SigmaBoolean

Get proposition

source

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

Get commitment

Implementors§