Trait Satisfier

Source
pub trait Satisfier<Pk: MiniscriptKey + ToPublicKey> {
Show 14 methods // Provided methods fn lookup_ecdsa_sig(&self, _: &Pk) -> Option<EcdsaSig> { ... } fn lookup_tap_key_spend_sig(&self) -> Option<SchnorrSig> { ... } fn lookup_tap_leaf_script_sig( &self, _: &Pk, _: &TapLeafHash, ) -> Option<SchnorrSig> { ... } fn lookup_tap_control_block_map( &self, ) -> Option<&BTreeMap<ControlBlock, (Script, LeafVersion)>> { ... } fn lookup_raw_pkh_pk(&self, _: &Hash) -> Option<PublicKey> { ... } fn lookup_raw_pkh_x_only_pk(&self, _: &Hash) -> Option<XOnlyPublicKey> { ... } fn lookup_raw_pkh_ecdsa_sig( &self, _: &Hash, ) -> Option<(PublicKey, EcdsaSig)> { ... } fn lookup_raw_pkh_tap_leaf_script_sig( &self, _: &(Hash, TapLeafHash), ) -> Option<(XOnlyPublicKey, SchnorrSig)> { ... } fn lookup_sha256(&self, _: &Pk::Sha256) -> Option<Preimage32> { ... } fn lookup_hash256(&self, _: &Pk::Hash256) -> Option<Preimage32> { ... } fn lookup_ripemd160(&self, _: &Pk::Ripemd160) -> Option<Preimage32> { ... } fn lookup_hash160(&self, _: &Pk::Hash160) -> Option<Preimage32> { ... } fn check_older(&self, _: Sequence) -> bool { ... } fn check_after(&self, _: LockTime) -> bool { ... }
}
Expand description

Trait describing a lookup table for signatures, hash preimages, etc. Every method has a default implementation that simply returns None on every query. Users are expected to override the methods that they have data for.

Provided Methods§

Source

fn lookup_ecdsa_sig(&self, _: &Pk) -> Option<EcdsaSig>

Given a public key, look up an ECDSA signature with that key

Source

fn lookup_tap_key_spend_sig(&self) -> Option<SchnorrSig>

Lookup the tap key spend sig

Source

fn lookup_tap_leaf_script_sig( &self, _: &Pk, _: &TapLeafHash, ) -> Option<SchnorrSig>

Given a public key and a associated leaf hash, look up an schnorr signature with that key

Source

fn lookup_tap_control_block_map( &self, ) -> Option<&BTreeMap<ControlBlock, (Script, LeafVersion)>>

Obtain a reference to the control block for a ver and script

Source

fn lookup_raw_pkh_pk(&self, _: &Hash) -> Option<PublicKey>

Given a raw Pkh, lookup corresponding bitcoin::PublicKey

Source

fn lookup_raw_pkh_x_only_pk(&self, _: &Hash) -> Option<XOnlyPublicKey>

Given a raw Pkh, lookup corresponding bitcoin::XOnlyPublicKey

Source

fn lookup_raw_pkh_ecdsa_sig(&self, _: &Hash) -> Option<(PublicKey, EcdsaSig)>

Given a keyhash, look up the EC signature and the associated key Even if signatures for public key Hashes are not available, the users can use this map to provide pkh -> pk mapping which can be useful for dissatisfying pkh.

Source

fn lookup_raw_pkh_tap_leaf_script_sig( &self, _: &(Hash, TapLeafHash), ) -> Option<(XOnlyPublicKey, SchnorrSig)>

Given a keyhash, look up the schnorr signature and the associated key Even if signatures for public key Hashes are not available, the users can use this map to provide pkh -> pk mapping which can be useful for dissatisfying pkh.

Source

fn lookup_sha256(&self, _: &Pk::Sha256) -> Option<Preimage32>

Given a SHA256 hash, look up its preimage

Source

fn lookup_hash256(&self, _: &Pk::Hash256) -> Option<Preimage32>

Given a HASH256 hash, look up its preimage

Source

fn lookup_ripemd160(&self, _: &Pk::Ripemd160) -> Option<Preimage32>

Given a RIPEMD160 hash, look up its preimage

Source

fn lookup_hash160(&self, _: &Pk::Hash160) -> Option<Preimage32>

Given a HASH160 hash, look up its preimage

Source

fn check_older(&self, _: Sequence) -> bool

Assert whether an relative locktime is satisfied

Source

fn check_after(&self, _: LockTime) -> bool

Assert whether a absolute locktime is satisfied

Implementations on Foreign Types§

Source§

impl<'a, Pk: MiniscriptKey + ToPublicKey, S: Satisfier<Pk>> Satisfier<Pk> for &'a S

Source§

impl<'a, Pk: MiniscriptKey + ToPublicKey, S: Satisfier<Pk>> Satisfier<Pk> for &'a mut S

Source§

impl<A, B, C, D, E, F, G, H, Pk> Satisfier<Pk> for (A, B, C, D, E, F, G, H)
where Pk: MiniscriptKey + ToPublicKey, A: Satisfier<Pk>, B: Satisfier<Pk>, C: Satisfier<Pk>, D: Satisfier<Pk>, E: Satisfier<Pk>, F: Satisfier<Pk>, G: Satisfier<Pk>, H: Satisfier<Pk>,

Source§

impl<A, B, C, D, E, F, G, Pk> Satisfier<Pk> for (A, B, C, D, E, F, G)
where Pk: MiniscriptKey + ToPublicKey, A: Satisfier<Pk>, B: Satisfier<Pk>, C: Satisfier<Pk>, D: Satisfier<Pk>, E: Satisfier<Pk>, F: Satisfier<Pk>, G: Satisfier<Pk>,

Source§

impl<A, B, C, D, E, F, Pk> Satisfier<Pk> for (A, B, C, D, E, F)
where Pk: MiniscriptKey + ToPublicKey, A: Satisfier<Pk>, B: Satisfier<Pk>, C: Satisfier<Pk>, D: Satisfier<Pk>, E: Satisfier<Pk>, F: Satisfier<Pk>,

Source§

impl<A, B, C, D, E, Pk> Satisfier<Pk> for (A, B, C, D, E)
where Pk: MiniscriptKey + ToPublicKey, A: Satisfier<Pk>, B: Satisfier<Pk>, C: Satisfier<Pk>, D: Satisfier<Pk>, E: Satisfier<Pk>,

Source§

impl<A, B, C, D, Pk> Satisfier<Pk> for (A, B, C, D)
where Pk: MiniscriptKey + ToPublicKey, A: Satisfier<Pk>, B: Satisfier<Pk>, C: Satisfier<Pk>, D: Satisfier<Pk>,

Source§

impl<A, B, C, Pk> Satisfier<Pk> for (A, B, C)
where Pk: MiniscriptKey + ToPublicKey, A: Satisfier<Pk>, B: Satisfier<Pk>, C: Satisfier<Pk>,

Source§

impl<A, B, Pk> Satisfier<Pk> for (A, B)
where Pk: MiniscriptKey + ToPublicKey, A: Satisfier<Pk>, B: Satisfier<Pk>,

Source§

impl<A, Pk> Satisfier<Pk> for (A,)
where Pk: MiniscriptKey + ToPublicKey, A: Satisfier<Pk>,

Source§

impl<Pk> Satisfier<Pk> for HashMap<(Hash, TapLeafHash), (Pk, SchnorrSig)>

Source§

impl<Pk> Satisfier<Pk> for HashMap<Hash, (Pk, EcdsaSig)>

Source§

impl<Pk: MiniscriptKey + ToPublicKey> Satisfier<Pk> for LockTime

Source§

impl<Pk: MiniscriptKey + ToPublicKey> Satisfier<Pk> for ()

Source§

impl<Pk: MiniscriptKey + ToPublicKey> Satisfier<Pk> for HashMap<(Pk, TapLeafHash), SchnorrSig>

Source§

impl<Pk: MiniscriptKey + ToPublicKey> Satisfier<Pk> for HashMap<Pk, EcdsaSig>

Source§

impl<Pk: MiniscriptKey + ToPublicKey> Satisfier<Pk> for Sequence

Implementors§