Enum miniscript::miniscript::BareCtx
source · [−]pub enum BareCtx {}
Expand description
Bare ScriptContext To be used as raw script pubkeys In general, it is not recommended to use Bare descriptors as they as strongly limited by standardness policies.
Trait Implementations
sourceimpl Ord for BareCtx
impl Ord for BareCtx
1.21.0 · sourceconst fn max(self, other: Self) -> Self
const fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
1.21.0 · sourceconst fn min(self, other: Self) -> Self
const fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
1.50.0 · sourceconst fn clamp(self, min: Self, max: Self) -> Selfwhere
Self: PartialOrd<Self>,
const fn clamp(self, min: Self, max: Self) -> Selfwhere
Self: PartialOrd<Self>,
Restrict a value to a certain interval. Read more
sourceimpl PartialOrd<BareCtx> for BareCtx
impl PartialOrd<BareCtx> for BareCtx
sourcefn partial_cmp(&self, other: &BareCtx) -> Option<Ordering>
fn partial_cmp(&self, other: &BareCtx) -> Option<Ordering>
1.0.0 · sourceconst fn le(&self, other: &Rhs) -> bool
const fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresourceimpl ScriptContext for BareCtx
impl ScriptContext for BareCtx
sourcefn check_terminal_non_malleable<Pk: MiniscriptKey>(
_frag: &Terminal<Pk, Self>
) -> Result<(), ScriptContextError>
fn check_terminal_non_malleable<Pk: MiniscriptKey>(
_frag: &Terminal<Pk, Self>
) -> Result<(), ScriptContextError>
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. Read more
sourcefn check_global_consensus_validity<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
fn check_global_consensus_validity<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
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. Read more
sourcefn check_local_consensus_validity<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
fn check_local_consensus_validity<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
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. Read more
sourcefn other_top_level_checks<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), Error>
fn other_top_level_checks<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), Error>
Other top level checks that are context specific
sourcefn max_satisfaction_size<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Option<usize>
fn max_satisfaction_size<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Option<usize>
Depending on script context, the size of a satifaction witness may slightly differ.
sourcefn pk_len<Pk: MiniscriptKey>(pk: &Pk) -> usize
fn pk_len<Pk: MiniscriptKey>(pk: &Pk) -> usize
Get the len of public key when serialized based on context
Note that this includes the serialization prefix. Returns
34/66 for Bare/Legacy based on key compressedness
34 for Segwitv0, 33 for Tap Read more
sourcefn check_witness<Pk: MiniscriptKey>(
_witness: &[Vec<u8>]
) -> Result<(), ScriptContextError>
fn check_witness<Pk: MiniscriptKey>(
_witness: &[Vec<u8>]
) -> Result<(), ScriptContextError>
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. Read more
sourcefn check_global_policy_validity<Pk: MiniscriptKey>(
_ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
fn check_global_policy_validity<Pk: MiniscriptKey>(
_ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
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. Read more
sourcefn check_local_policy_validity<Pk: MiniscriptKey>(
_ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
fn check_local_policy_validity<Pk: MiniscriptKey>(
_ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
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 Read more
sourcefn check_global_validity<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
fn check_global_validity<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
Check the consensus + policy(if not disabled) rules that are not based
satisfaction Read more
sourcefn check_local_validity<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
fn check_local_validity<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), ScriptContextError>
Check the consensus + policy(if not disabled) rules including the
ones for satisfaction Read more
sourcefn top_level_type_check<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), Error>
fn top_level_type_check<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), Error>
Check whether the top-level is type B
sourcefn top_level_checks<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), Error>
fn top_level_checks<Pk: MiniscriptKey>(
ms: &Miniscript<Pk, Self>
) -> Result<(), Error>
Check top level consensus rules.
impl Eq for BareCtx
impl StructuralEq for BareCtx
impl StructuralPartialEq for BareCtx
Auto Trait Implementations
impl RefUnwindSafe for BareCtx
impl Send for BareCtx
impl Sync for BareCtx
impl Unpin for BareCtx
impl UnwindSafe for BareCtx
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more