Trait dbc::Proof

pub trait Proof<M: DbcMethod = Method>:
    Clone
    + Eq
    + Debug
    + StrictSerialize
    + StrictDeserialize
    + StrictDumb {
    type Error: Error;

    const METHOD: M;

    // Required method
    fn verify(&self, msg: &Commitment, tx: &Tx) -> Result<(), Self::Error>;
}

Deterministic bitcoin commitment proof types.

Required Associated Types

type Error: Error

Verification error.

Required Associated Constants

const METHOD: M

Returns DBC method used by the proof.

Required Methods

fn verify(&self, msg: &Commitment, tx: &Tx) -> Result<(), Self::Error>

Verifies DBC proof against the provided transaction.

Object Safety

This trait is not object safe.

Implementors

impl Proof for OpretProof

type Error = EmbedVerifyError<OpretError>

const METHOD: Method = Method::OpretFirst

impl Proof for TapretProof

type Error = ConvolveVerifyError

const METHOD: Method = Method::TapretFirst