Trait bdk::descriptor::ScriptContext [−][src]
pub trait ScriptContext: Debug + Clone + Ord + PartialOrd<Self> + Eq + PartialEq<Self> + Sealed { fn check_terminal_non_malleable<Pk, Ctx>(
_frag: &Terminal<Pk, Ctx>
) -> Result<(), ScriptContextError>
where
Ctx: ScriptContext,
Pk: MiniscriptKey; fn max_satisfaction_size<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Option<usize>
where
Ctx: ScriptContext,
Pk: MiniscriptKey; fn check_witness<Pk, Ctx>(
_witness: &[Vec<u8, Global>]
) -> Result<(), ScriptContextError>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn check_global_consensus_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn check_global_policy_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn check_local_consensus_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn check_local_policy_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn check_global_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn check_local_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn top_level_type_check<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), Error>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn other_top_level_checks<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), Error>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } fn top_level_checks<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Result<(), Error>
where
Ctx: ScriptContext,
Pk: MiniscriptKey, { ... } }
Expand description
The ScriptContext for Miniscript. Additional type information associated with miniscript that is used for carrying out checks that dependent on the context under which the script is used. For example, disallowing uncompressed keys in Segwit context
Required methods
fn check_terminal_non_malleable<Pk, Ctx>(
_frag: &Terminal<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn check_terminal_non_malleable<Pk, Ctx>(
_frag: &Terminal<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Depending on ScriptContext, fragments can be malleable. For Example, under Legacy context, PkH is malleable because it is possible to estimate the cost of satisfaction because of compressed keys This is currently only used in compiler code for removing malleable compilations. This does NOT recursively check if the children of the fragment are valid or not. Since the compilation proceeds in a leaf to root fashion, a recursive check is unnecessary.
fn max_satisfaction_size<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Option<usize> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn max_satisfaction_size<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Option<usize> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Depending on script context, the size of a satifaction witness may slightly differ.
Provided methods
fn check_witness<Pk, Ctx>(
_witness: &[Vec<u8, Global>]
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn check_witness<Pk, Ctx>(
_witness: &[Vec<u8, Global>]
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Check whether the given satisfaction is valid under the ScriptContext For example, segwit satisfactions may fail if the witness len is more 3600 or number of stack elements are more than 100.
fn check_global_consensus_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn check_global_consensus_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Depending on script Context, some of the Terminals might not be valid under the current consensus rules. Or some of the script resource limits may have been exceeded. These miniscripts would never be accepted by the Bitcoin network and hence it is safe to discard them For example, in Segwit Context with MiniscriptKey as bitcoin::PublicKey uncompressed public keys are non-standard and thus invalid. In LegacyP2SH context, scripts above 520 bytes are invalid. Post Tapscript upgrade, this would have to consider other nodes. This does NOT recursively check the miniscript fragments.
fn check_global_policy_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn check_global_policy_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Depending on script Context, some of the script resource limits may have been exceeded under the current bitcoin core policy rules These miniscripts would never be accepted by the Bitcoin network and hence it is safe to discard them. (unless explicitly disabled by non-standard flag) For example, in Segwit Context with MiniscriptKey as bitcoin::PublicKey scripts over 3600 bytes are invalid. Post Tapscript upgrade, this would have to consider other nodes. This does NOT recursively check the miniscript fragments.
fn check_local_consensus_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn check_local_consensus_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Consensus rules at the Miniscript satisfaction time. It is possible that some paths of miniscript may exceed resource limits and our current satisfier and lifting analysis would not work correctly. For example, satisfaction path(Legacy/Segwitv0) may require more than 201 opcodes.
fn check_local_policy_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn check_local_policy_validity<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Policy rules at the Miniscript satisfaction time. It is possible that some paths of miniscript may exceed resource limits and our current satisfier and lifting analysis would not work correctly. For example, satisfaction path in Legacy context scriptSig more than 1650 bytes
fn check_global_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn check_global_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Check the consensus + policy(if not disabled) rules that are not based satisfaction
fn check_local_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn check_local_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Check the consensus + policy(if not disabled) rules including the ones for satisfaction
fn top_level_type_check<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Result<(), Error> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn top_level_type_check<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Result<(), Error> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Check whether the top-level is type B
fn other_top_level_checks<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), Error> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn other_top_level_checks<Pk, Ctx>(
_ms: &Miniscript<Pk, Ctx>
) -> Result<(), Error> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Other top level checks that are context specific
fn top_level_checks<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Result<(), Error> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]
fn top_level_checks<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Result<(), Error> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Check top level consensus rules.
Implementations on Foreign Types
pub fn check_terminal_non_malleable<Pk, Ctx>(
_frag: &Terminal<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_global_consensus_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_local_consensus_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn other_top_level_checks<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), Error> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn max_satisfaction_size<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Option<usize> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]Implementors
pub fn check_terminal_non_malleable<Pk, Ctx>(
frag: &Terminal<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_witness<Pk, Ctx>(
witness: &[Vec<u8, Global>]
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_global_consensus_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_local_consensus_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_local_policy_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn max_satisfaction_size<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Option<usize> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_terminal_non_malleable<Pk, Ctx>(
_frag: &Terminal<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_witness<Pk, Ctx>(
witness: &[Vec<u8, Global>]
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_global_consensus_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_local_consensus_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_global_policy_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn check_local_policy_validity<Pk, Ctx>(
ms: &Miniscript<Pk, Ctx>
) -> Result<(), ScriptContextError> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]pub fn max_satisfaction_size<Pk, Ctx>(ms: &Miniscript<Pk, Ctx>) -> Option<usize> where
Ctx: ScriptContext,
Pk: MiniscriptKey,
[src]