miniscript::Type Class Reference

This type encapsulates the miniscript type system properties. More...

#include <miniscript.h>

Public Member Functions
constexpr Type	operator| (Type x) const
	Compute the type with the union of properties. More...
constexpr Type	operator& (Type x) const
	Compute the type with the intersection of properties. More...
constexpr bool	operator<< (Type x) const
	Check whether the left hand's properties are superset of the right's (= left is a subtype of right). More...
constexpr bool	operator< (Type x) const
	Comparison operator to enable use in sets/maps (total ordering incompatible with <<). More...
constexpr bool	operator== (Type x) const
	Equality operator. More...
constexpr Type	If (bool x) const
	The empty type if x is false, itself otherwise. More...

Static Public Member Functions
static consteval Type	Make (uint32_t flags) noexcept
	Construction function used by the ""_mst operator. More...

Private Member Functions
constexpr	Type (uint32_t flags) noexcept
	Internal constructor. More...

Private Attributes
uint32_t	m_flags
	Internal bitmap of properties (see ""_mst operator for details). More...

Detailed Description

This type encapsulates the miniscript type system properties.

Every miniscript expression is one of 4 basic types, and additionally has a number of boolean type properties.

The basic types are:

• "B" Base:
  • Takes its inputs from the top of the stack.
  • When satisfied, pushes a nonzero value of up to 4 bytes onto the stack.
  • When dissatisfied, pushes a 0 onto the stack.
  • This is used for most expressions, and required for the top level one.
  • For example: older(n) = <n> OP_CHECKSEQUENCEVERIFY.
• "V" Verify:
  • Takes its inputs from the top of the stack.
  • When satisfied, pushes nothing.
  • Cannot be dissatisfied.
  • This can be obtained by adding an OP_VERIFY to a B, modifying the last opcode of a B to its -VERIFY version (only for OP_CHECKSIG, OP_CHECKSIGVERIFY, OP_NUMEQUAL and OP_EQUAL), or by combining a V fragment under some conditions.
  • For example vc:pk_k(key) = <key> OP_CHECKSIGVERIFY
• "K" Key:
  • Takes its inputs from the top of the stack.
  • Becomes a B when followed by OP_CHECKSIG.
  • Always pushes a public key onto the stack, for which a signature is to be provided to satisfy the expression.
  • For example pk_h(key) = OP_DUP OP_HASH160 <Hash160(key)> OP_EQUALVERIFY
• "W" Wrapped:
  • Takes its input from one below the top of the stack.
  • When satisfied, pushes a nonzero value (like B) on top of the stack, or one below.
  • When dissatisfied, pushes 0 op top of the stack or one below.
  • Is always "OP_SWAP [B]" or "OP_TOALTSTACK [B] OP_FROMALTSTACK".
  • For example sc:pk_k(key) = OP_SWAP <key> OP_CHECKSIG

There a type properties that help reasoning about correctness:

• "z" Zero-arg:
  • Is known to always consume exactly 0 stack elements.
  • For example after(n) = <n> OP_CHECKLOCKTIMEVERIFY
• "o" One-arg:
  • Is known to always consume exactly 1 stack element.
  • Conflicts with property 'z'
  • For example sha256(hash) = OP_SIZE 32 OP_EQUALVERIFY OP_SHA256 <hash> OP_EQUAL
• "n" Nonzero:
  • For every way this expression can be satisfied, a satisfaction exists that never needs a zero top stack element.
  • Conflicts with property 'z' and with type 'W'.
• "d" Dissatisfiable:
  • There is an easy way to construct a dissatisfaction for this expression.
  • Conflicts with type 'V'.
• "u" Unit:
  • In case of satisfaction, an exact 1 is put on the stack (rather than just nonzero).
  • Conflicts with type 'V'.

Additional type properties help reasoning about nonmalleability:

• "e" Expression:
  • This implies property 'd', but the dissatisfaction is nonmalleable.
  • This generally requires 'e' for all subexpressions which are invoked for that dissatifsaction, and property 'f' for the unexecuted subexpressions in that case.
  • Conflicts with type 'V'.
• "f" Forced:
  • Dissatisfactions (if any) for this expression always involve at least one signature.
  • Is always true for type 'V'.
• "s" Safe:
  • Satisfactions for this expression always involve at least one signature.
• "m" Nonmalleable:
  • For every way this expression can be satisfied (which may be none), a nonmalleable satisfaction exists.
  • This generally requires 'm' for all subexpressions, and 'e' for all subexpressions which are dissatisfied when satisfying the parent.

One type property is an implementation detail:

• "x" Expensive verify:
  • Expressions with this property have a script whose last opcode is not EQUAL, CHECKSIG, or CHECKMULTISIG.
  • Not having this property means that it can be converted to a V at no cost (by switching to the -VERIFY version of the last opcode).

Five more type properties for representing timelock information. Spend paths in miniscripts containing conflicting timelocks and heightlocks cannot be spent together. This helps users detect if miniscript does not match the semantic behaviour the user expects.

• "g" Whether the branch contains a relative time timelock
• "h" Whether the branch contains a relative height timelock
• "i" Whether the branch contains an absolute time timelock
• "j" Whether the branch contains an absolute height timelock
• "k"
  • Whether all satisfactions of this expression don't contain a mix of heightlock and timelock of the same type.
  • If the miniscript does not have the "k" property, the miniscript template will not match the user expectation of the corresponding spending policy. For each of these properties the subset rule holds: an expression with properties X, Y, and Z, is also valid in places where an X, a Y, a Z, an XY, ... is expected.

Definition at line 122 of file miniscript.h.

Constructor & Destructor Documentation

Type()

constexpr miniscript::Type::Type ( uint32_t  flags )

inlineexplicitconstexprprivatenoexcept

Internal constructor.

Definition at line 127 of file miniscript.h.

Here is the caller graph for this function:

Member Function Documentation

If()

constexpr Type miniscript::Type::If ( bool  x ) const

inlineconstexpr

The empty type if x is false, itself otherwise.

Definition at line 149 of file miniscript.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Make()

static consteval Type miniscript::Type::Make ( uint32_t  flags )

inlinestaticnoexcept

Construction function used by the ""_mst operator.

Definition at line 131 of file miniscript.h.

Here is the call graph for this function:

Here is the caller graph for this function:

operator&()

constexpr Type miniscript::Type::operator& ( Type  x ) const

inlineconstexpr

Compute the type with the intersection of properties.

Definition at line 137 of file miniscript.h.

Here is the call graph for this function:

operator<()

constexpr bool miniscript::Type::operator< ( Type  x ) const

inlineconstexpr

Comparison operator to enable use in sets/maps (total ordering incompatible with <<).

Definition at line 143 of file miniscript.h.

operator<<()

constexpr bool miniscript::Type::operator<< ( Type  x ) const

inlineconstexpr

Check whether the left hand's properties are superset of the right's (= left is a subtype of right).

Definition at line 140 of file miniscript.h.

operator==()

constexpr bool miniscript::Type::operator== ( Type  x ) const

inlineconstexpr

Equality operator.

Definition at line 146 of file miniscript.h.

operator|()

constexpr Type miniscript::Type::operator| ( Type  x ) const

inlineconstexpr

Compute the type with the union of properties.

Definition at line 134 of file miniscript.h.

Here is the call graph for this function:

Member Data Documentation

m_flags

uint32_t miniscript::Type::m_flags

private

Internal bitmap of properties (see ""_mst operator for details).

Definition at line 124 of file miniscript.h.

---

The documentation for this class was generated from the following file:

• src/script/miniscript.h