Struct sapio_miniscript::miniscript::satisfy::TxTemplate

pub struct TxTemplate(/* private fields */);

Newtype around sha256::Hash which implements Satisfier using h as an transaction template hash

Trait Implementations

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

fn check_tx_template(&self, h: Hash) -> bool

Assert if tx template is satisfied

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

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

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

Lookup the tap key spend sig

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

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

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

fn lookup_pkh_pk(&self, _: &Pk::Hash) -> Option<Pk>

Given a Pkh, lookup corresponding Pk

fn lookup_pkh_ecdsa_sig(&self, _: &Pk::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.

fn lookup_pkh_tap_leaf_script_sig( &self, _: &(Pk::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.

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

Given a SHA256 hash, look up its preimage

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

Given a HASH256 hash, look up its preimage

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

Given a RIPEMD160 hash, look up its preimage

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

Given a HASH160 hash, look up its preimage

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

Assert whether an relative locktime is satisfied

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

Assert whether a absolute locktime is satisfied