ergotree_interpreter::sigma_protocol::proof_tree

Trait 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§