Trait Proof 

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

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

Deterministic bitcoin commitment proof types.

Required Associated Types

type Error: Error

Verification error.

Required Methods

fn method(&self) -> M

Returns a single-use seal closing method used by the DBC proof.

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

Verifies DBC proof against the provided transaction.

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

impl Proof for DbcProof

type Error = DbcError

impl Proof for OpretProof

type Error = EmbedVerifyError<OpretError>

impl Proof for TapretProof

type Error = ConvolveVerifyError