Enum dbc::anchor::Proof

#[non_exhaustive]
pub enum Proof {
    OpretFirst,
    TapretFirst(TapretProof),
}

Type and type-specific proof information of a deterministic bitcoin commitment.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

OpretFirst

Opret commitment (no extra-transaction proof is required).

TapretFirst(TapretProof)

Tapret commitment and a proof of it.

Implementations

impl Proof

pub fn verify(&self, msg: &Commitment, tx: &Tx) -> Result<bool, TapretError>

Verifies validity of the proof.

Trait Implementations

impl Clone for Proof

fn clone(&self) -> Proof

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl CommitStrategy for Proof

type Strategy = Strict

Specific strategy. List of supported strategies:

impl Debug for Proof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Proof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Proof

fn eq(&self, other: &Proof) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Proof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StrictDecode for Proof

fn strict_decode(reader: &mut impl TypedRead) -> Result<Self, DecodeError>

fn strict_read(lim: usize, reader: impl Read) -> Result<Self, DecodeError>

impl StrictDumb for Proof

fn strict_dumb() -> Self

impl StrictEncode for Proof

fn strict_encode<W: TypedWrite>(&self, writer: W) -> Result<W>

fn strict_write(&self, lim: usize, writer: impl Write) -> Result<usize, Error>

impl StrictSum for Proof

const ALL_VARIANTS: &'static [(u8, &'static str)] = _

fn variant_name(&self) -> &'static str

fn strict_check_variants()

fn variant_name_by_tag(tag: u8) -> Option<FieldName>

fn variant_ord(&self) -> u8

impl StrictType for Proof

const STRICT_LIB_NAME: &'static str = LIB_NAME_BPCORE

fn strict_name() -> Option<TypeName>

impl StrictUnion for Proof

fn strict_type_info() -> TypeInfo<Self>

impl Eq for Proof

impl StructuralEq for Proof

impl StructuralPartialEq for Proof