Enum sapio_miniscript::interpreter::SatisfiedConstraint

pub enum SatisfiedConstraint<'intp, 'txin> {
    PublicKey {
        key: &'intp PublicKey,
        sig: Signature,
    },
    PublicKeyHash {
        keyhash: &'intp Hash,
        key: PublicKey,
        sig: Signature,
    },
    HashLock {
        hash: HashLockType<'intp>,
        preimage: &'txin [u8],
    },
    RelativeTimeLock {
        time: &'intp u32,
    },
    AbsoluteTimeLock {
        time: &'intp u32,
    },
}

A satisfied Miniscript condition (Signature, Hashlock, Timelock) ’intp represents the lifetime of descriptor and `stack represents the lifetime of witness

Variants

PublicKey

Public key and corresponding signature

Fields of PublicKey

key: &'intp PublicKey

The bitcoin key

sig: Signature

corresponding signature

PublicKeyHash

PublicKeyHash, corresponding pubkey and signature

Fields of PublicKeyHash

keyhash: &'intp Hash

The pubkey hash

key: PublicKey

Corresponding public key

sig: Signature

Corresponding signature for the hash

HashLock

Hashlock and preimage for SHA256

Fields of HashLock

hash: HashLockType<'intp>

The type of Hashlock

preimage: &'txin [u8]

The preimage used for satisfaction

RelativeTimeLock

Relative Timelock for CSV.

Fields of RelativeTimeLock

time: &'intp u32

The value of RelativeTimelock

AbsoluteTimeLock

Absolute Timelock for CLTV.

Fields of AbsoluteTimeLock

time: &'intp u32

The value of Absolute timelock

Trait Implementations

impl<'intp, 'txin> Clone for SatisfiedConstraint<'intp, 'txin>

fn clone(&self) -> SatisfiedConstraint<'intp, 'txin>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'intp, 'txin> Copy for SatisfiedConstraint<'intp, 'txin>

impl<'intp, 'txin> Debug for SatisfiedConstraint<'intp, 'txin>

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

Formats the value using the given formatter.

impl<'intp, 'txin> Eq for SatisfiedConstraint<'intp, 'txin>

impl<'intp, 'txin> PartialEq<SatisfiedConstraint<'intp, 'txin>> for SatisfiedConstraint<'intp, 'txin>

fn eq(&self, other: &SatisfiedConstraint<'intp, 'txin>) -> bool

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

fn ne(&self, other: &SatisfiedConstraint<'intp, 'txin>) -> bool

This method tests for !=.

impl<'intp, 'txin> StructuralEq for SatisfiedConstraint<'intp, 'txin>

impl<'intp, 'txin> StructuralPartialEq for SatisfiedConstraint<'intp, 'txin>