Trait ergotree_interpreter::sigma_protocol::proof_tree::ProofTreeLeaf

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

Proof tree leaf

Required Methods

Get proposition

Get commitment

Implementors