commit_verify::mpc

Trait Proof

Source 
pub trait Proof:
    StrictEncode
    + StrictDecode
    + Eq
    + Debug {
    // Required method
    fn matches(&self, other: &Self) -> bool;
}
Expand description

Marker trait for variates of LNPBP-4 commitment proofs, which differ by the amount of concealed information.

Required Methods§

Source

fn matches(&self, other: &Self) -> bool

Verifies whether one MPC proof matches another MPC proof.

This is not the same as Eq, since two proofs may reveal different messages, and be non-equivalent, at the same time matching each other, i.e. having the same merkle root and producing the same commitments.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§