Struct bitcoin::script::Script

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

Bitcoin script slice.

See also the bitcoin::blockdata::script module.

Script is a script slice, the most primitive script type. It’s usually seen in its borrowed form &Script. It is always encoded as a series of bytes representing the opcodes and data pushes.

Validity

Script does not have any validity invariants - it’s essentially just a marked slice of bytes. This is similar to Path vs OsStr where they are trivially cast-able to each-other and Path doesn’t guarantee being a usable FS path but having a newtype still has value because of added methods, readability and basic type checking.

Although at least data pushes could be checked not to overflow the script, bad scripts are allowed to be in a transaction (outputs just become unspendable) and there even are such transactions in the chain. Thus we must allow such scripts to be placed in the transaction.

Slicing safety

Slicing is similar to how str works: some ranges may be incorrect and indexing by usize is not supported. However, as opposed to std, we have no way of checking correctness without causing linear complexity so there are no panics on invalid ranges! If you supply an invalid range, you’ll get a garbled script.

The range is considered valid if it’s at a boundary of instruction. Care must be taken especially with push operations because you could get a reference to arbitrary attacker-supplied bytes that look like a valid script.

It is recommended to use .instructions() method to get an iterator over script instructions and work with that instead.

Memory safety

The type is #[repr(transparent)] for internal purposes only! No consumer crate may rely on the representation of the struct!

References

Bitcoin Core References

• CScript definition

Implementations

impl Script

pub fn new() -> &'static Script

Creates a new empty script.

pub fn from_bytes(bytes: &[u8]) -> &Script

Treat byte slice as Script

pub fn from_bytes_mut(bytes: &mut [u8]) -> &mut Script

Treat mutable byte slice as Script

pub fn as_bytes(&self) -> &[u8]

Returns the script data as a byte slice.

pub fn as_mut_bytes(&mut self) -> &mut [u8]

Returns the script data as a mutable byte slice.

pub fn builder() -> Builder

Creates a new script builder

pub fn script_hash(&self) -> ScriptHash

Returns 160-bit hash of the script.

pub fn wscript_hash(&self) -> WScriptHash

Returns 256-bit hash of the script for P2WSH outputs.

pub fn tapscript_leaf_hash(&self) -> TapLeafHash

Computes leaf hash of tapscript.

pub fn len(&self) -> usize

Returns the length in bytes of the script.

pub fn is_empty(&self) -> bool

Returns whether the script is the empty script.

pub fn to_bytes(&self) -> Vec<u8>

Returns a copy of the script data.

pub fn bytes(&self) -> Bytes<'_>

Returns an iterator over script bytes.

pub fn to_p2wsh(&self) -> ScriptBuf

Computes the P2WSH output corresponding to this witnessScript (aka the “witness redeem script”).

pub fn to_p2tr<C: Verification>( &self, secp: &Secp256k1<C>, internal_key: UntweakedPublicKey ) -> ScriptBuf

Computes P2TR output with a given internal key and a single script spending path equal to the current script, assuming that the script is a Tapscript.

pub fn witness_version(&self) -> Option<WitnessVersion>

Returns witness version of the script, if any, assuming the script is a scriptPubkey.

Returns

The witness version if this script is found to conform to the SegWit rules:

A scriptPubKey (or redeemScript as defined in BIP16/P2SH) that consists of a 1-byte push opcode (for 0 to 16) followed by a data push between 2 and 40 bytes gets a new special meaning. The value of the first push is called the “version byte”. The following byte vector pushed is called the “witness program”.

pub fn is_p2sh(&self) -> bool

Checks whether a script pubkey is a P2SH output.

pub fn is_p2pkh(&self) -> bool

Checks whether a script pubkey is a P2PKH output.

pub fn is_push_only(&self) -> bool

Checks whether a script is push only.

Note: OP_RESERVED (0x50) and all the OP_PUSHNUM operations are considered push operations.

pub fn is_p2pk(&self) -> bool

Checks whether a script pubkey is a P2PK output.

You can obtain the public key, if its valid, by calling p2pk_public_key()

pub fn p2pk_public_key(&self) -> Option<PublicKey>

Returns the public key if this script is P2PK with a valid public key.

This may return None even when is_p2pk() returns true. This happens when the public key is invalid (e.g. the point not being on the curve). In this situation the script is unspendable.

pub fn is_multisig(&self) -> bool

Checks whether a script pubkey is a bare multisig output.

In a bare multisig pubkey script the keys are not hashed, the script is of the form:

2 <pubkey1> <pubkey2> <pubkey3> 3 OP_CHECKMULTISIG

pub fn is_witness_program(&self) -> bool

Checks whether a script pubkey is a Segregated Witness (segwit) program.

pub fn is_p2wsh(&self) -> bool

Checks whether a script pubkey is a P2WSH output.

pub fn is_p2wpkh(&self) -> bool

Checks whether a script pubkey is a P2WPKH output.

pub fn is_p2tr(&self) -> bool

Checks whether a script pubkey is a P2TR output.

pub fn is_op_return(&self) -> bool

Check if this is an OP_RETURN output.

pub fn is_provably_unspendable(&self) -> bool

👎Deprecated since 0.32.0: The method has potentially confusing semantics and is going to be removed, you might want is_op_return

Checks whether a script is trivially known to have no satisfying input.

This method has potentially confusing semantics and an unclear purpose, so it’s going to be removed. Use is_op_return if you want OP_RETURN semantics.

pub fn to_p2sh(&self) -> ScriptBuf

Computes the P2SH output corresponding to this redeem script.

pub fn p2wpkh_script_code(&self) -> Option<ScriptBuf>

Returns the script code used for spending a P2WPKH output if this script is a script pubkey for a P2WPKH output. The scriptCode is described in BIP143.

pub fn redeem_script(&self) -> Option<&Script>

Get redeemScript following BIP16 rules regarding P2SH spending.

This does not guarantee that this represents a P2SH input Script. It merely gets the last push of the script. Use Script::is_p2sh on the scriptPubKey to check whether it is actually a P2SH script.

pub fn dust_value(&self) -> Amount

👎Deprecated since 0.32.0: use minimal_non_dust and friends

Returns the minimum value an output with this script should have in order to be broadcastable on today’s Bitcoin network.

pub fn minimal_non_dust(&self) -> Amount

Returns the minimum value an output with this script should have in order to be broadcastable on today’s Bitcoin network.

Dust depends on the -dustrelayfee value of the Bitcoin Core node you are broadcasting to. This function uses the default value of 0.00003 BTC/kB (3 sat/vByte).

To use a custom value, use minimal_non_dust_custom.

pub fn minimal_non_dust_custom(&self, dust_relay_fee: FeeRate) -> Amount

Returns the minimum value an output with this script should have in order to be broadcastable on today’s Bitcoin network.

Dust depends on the -dustrelayfee value of the Bitcoin Core node you are broadcasting to. This function lets you set the fee rate used in dust calculation.

The current default value in Bitcoin Core (as of v26) is 3 sat/vByte.

To use the default Bitcoin Core value, use minimal_non_dust.

pub fn count_sigops(&self) -> usize

Counts the sigops for this Script using accurate counting.

In Bitcoin Core, there are two ways to count sigops, “accurate” and “legacy”. This method uses “accurate” counting. This means that OP_CHECKMULTISIG and its verify variant count for N sigops where N is the number of pubkeys used in the multisig. However, it will count for 20 sigops if CHECKMULTISIG is not preceded by an OP_PUSHNUM from 1 - 16 (this would be an invalid script)

Bitcoin Core uses accurate counting for sigops contained within redeemScripts (P2SH) and witnessScripts (P2WSH) only. It uses legacy for sigops in scriptSigs and scriptPubkeys.

(Note: taproot scripts don’t count toward the sigop count of the block, nor do they have CHECKMULTISIG operations. This function does not count OP_CHECKSIGADD, so do not use this to try and estimate if a taproot script goes over the sigop budget.)

pub fn count_sigops_legacy(&self) -> usize

Counts the sigops for this Script using legacy counting.

In Bitcoin Core, there are two ways to count sigops, “accurate” and “legacy”. This method uses “legacy” counting. This means that OP_CHECKMULTISIG and its verify variant count for 20 sigops.

Bitcoin Core uses legacy counting for sigops contained within scriptSigs and scriptPubkeys. It uses accurate for redeemScripts (P2SH) and witnessScripts (P2WSH).

(Note: taproot scripts don’t count toward the sigop count of the block, nor do they have CHECKMULTISIG operations. This function does not count OP_CHECKSIGADD, so do not use this to try and estimate if a taproot script goes over the sigop budget.)

pub fn instructions(&self) -> Instructions<'_>

Iterates over the script instructions.

Each returned item is a nested enum covering opcodes, datapushes and errors. At most one error will be returned and then the iterator will end. To instead iterate over the script as sequence of bytes call the bytes method.

To force minimal pushes, use instructions_minimal.

pub fn instructions_minimal(&self) -> Instructions<'_>

Iterates over the script instructions while enforcing minimal pushes.

This is similar to instructions but an error is returned if a push is not minimal.

pub fn instruction_indices(&self) -> InstructionIndices<'_>

Iterates over the script instructions and their indices.

Unless the script contains an error, the returned item consists of an index pointing to the position in the script where the instruction begins and the decoded instruction - either an opcode or data push.

To force minimal pushes, use Self::instruction_indices_minimal.

pub fn instruction_indices_minimal(&self) -> InstructionIndices<'_>

Iterates over the script instructions and their indices while enforcing minimal pushes.

This is similar to instruction_indices but an error is returned if a push is not minimal.

pub fn fmt_asm(&self, f: &mut dyn Write) -> Result

Writes the human-readable assembly representation of the script to the formatter.

pub fn to_asm_string(&self) -> String

Returns the human-readable assembly representation of the script.

pub fn to_hex_string(&self) -> String

Formats the script as lower-case hex.

This is a more convenient and performant way to write format!("{:x}", script). For better performance you should generally prefer displaying the script but if String is required (this is common in tests) this method can be used.

pub fn first_opcode(&self) -> Option<Opcode>

Returns the first opcode of the script (if there is any).

pub fn into_script_buf(self: Box<Self>) -> ScriptBuf

Converts a Box<Script> into a ScriptBuf without copying or allocating.

impl Script

pub fn verify( &self, index: usize, amount: Amount, spending_tx: &[u8] ) -> Result<(), BitcoinconsensusError>

Verifies spend of an input script.

Shorthand for Self::verify_with_flags with flag bitcoinconsensus::VERIFY_ALL.

Parameters

• index - The input index in spending which is spending this transaction.
• amount - The amount this script guards.
• spending_tx - The transaction that attempts to spend the output holding this script.

pub fn verify_with_flags<F: Into<u32>>( &self, index: usize, amount: Amount, spending_tx: &[u8], flags: F ) -> Result<(), BitcoinconsensusError>

Verifies spend of an input script.

Parameters

• index - The input index in spending which is spending this transaction.
• amount - The amount this script guards.
• spending_tx - The transaction that attempts to spend the output holding this script.
• flags - Verification flags, see bitcoinconsensus::VERIFY_ALL and similar.

Trait Implementations

impl AsMut<[u8]> for Script

fn as_mut(&mut self) -> &mut [u8]

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsMut<Script> for Script

fn as_mut(&mut self) -> &mut Script

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsMut<Script> for ScriptBuf

fn as_mut(&mut self) -> &mut Script

Converts this type into a mutable reference of the (usually inferred) input type.

impl AsRef<[u8]> for Script

fn as_ref(&self) -> &[u8]

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<Script> for Script

fn as_ref(&self) -> &Script

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<Script> for ScriptBuf

fn as_ref(&self) -> &Script

Converts this type into a shared reference of the (usually inferred) input type.

impl Borrow<Script> for ScriptBuf

fn borrow(&self) -> &Script

Immutably borrows from an owned value.

impl BorrowMut<Script> for ScriptBuf

fn borrow_mut(&mut self) -> &mut Script

Mutably borrows from an owned value.

impl Debug for Script

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for &'de Script

Can only deserialize borrowed bytes.

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Script

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Encodable for Script

fn consensus_encode<W: Write + ?Sized>(&self, w: &mut W) -> Result<usize, Error>

Encodes an object with a well-defined format.

impl<'a> From<&'a Script> for Arc<Script>

Note: This will fail to compile on old Rust for targets that don’t support atomics

fn from(value: &'a Script) -> Self

Converts to this type from the input type.

impl<'a> From<&'a Script> for Box<Script>

fn from(value: &'a Script) -> Self

Converts to this type from the input type.

impl<'a> From<&'a Script> for Cow<'a, Script>

fn from(value: &'a Script) -> Self

Converts to this type from the input type.

impl<'a> From<&'a Script> for Rc<Script>

fn from(value: &'a Script) -> Self

Converts to this type from the input type.

impl<'a> From<&'a Script> for ScriptBuf

fn from(value: &'a Script) -> Self

Converts to this type from the input type.

impl From<&Script> for ScriptHash

fn from(script: &Script) -> ScriptHash

Converts to this type from the input type.

impl From<&Script> for WScriptHash

fn from(script: &Script) -> WScriptHash

Converts to this type from the input type.

impl<'a> From<Cow<'a, Script>> for Box<Script>

fn from(value: Cow<'a, Script>) -> Self

Converts to this type from the input type.

impl From<ScriptBuf> for Box<Script>

fn from(v: ScriptBuf) -> Self

Converts to this type from the input type.

impl Hash for Script

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

impl Index<(Bound<usize>, Bound<usize>)> for Script

Script subslicing operation - read slicing safety!

type Output = Script

The returned type after indexing.

fn index(&self, index: (Bound<usize>, Bound<usize>)) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<Range<usize>> for Script

Script subslicing operation - read slicing safety!

type Output = Script

The returned type after indexing.

fn index(&self, index: Range<usize>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<RangeFrom<usize>> for Script

Script subslicing operation - read slicing safety!

type Output = Script

The returned type after indexing.

fn index(&self, index: RangeFrom<usize>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<RangeFull> for Script

Script subslicing operation - read slicing safety!

type Output = Script

The returned type after indexing.

fn index(&self, index: RangeFull) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<RangeInclusive<usize>> for Script

Script subslicing operation - read slicing safety!

type Output = Script

The returned type after indexing.

fn index(&self, index: RangeInclusive<usize>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<RangeTo<usize>> for Script

Script subslicing operation - read slicing safety!

type Output = Script

The returned type after indexing.

fn index(&self, index: RangeTo<usize>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<RangeToInclusive<usize>> for Script

Script subslicing operation - read slicing safety!

type Output = Script

The returned type after indexing.

fn index(&self, index: RangeToInclusive<usize>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl LowerHex for Script

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Ord for Script

fn cmp(&self, other: &Script) -> Ordering

This method returns an Ordering between self and other.

impl PartialEq<Script> for Script

fn eq(&self, other: &Script) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialEq<Script> for ScriptBuf

fn eq(&self, other: &Script) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialEq<ScriptBuf> for Script

fn eq(&self, other: &ScriptBuf) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<Script> for Script

fn partial_cmp(&self, other: &Script) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl PartialOrd<Script> for ScriptBuf

fn partial_cmp(&self, other: &Script) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl PartialOrd<ScriptBuf> for Script

fn partial_cmp(&self, other: &ScriptBuf) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for Script

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>where S: Serializer,

User-facing serialization for Script.

impl ToOwned for Script

type Owned = ScriptBuf

The resulting type after obtaining ownership.

fn to_owned(&self) -> Self::Owned

Creates owned data from borrowed data, usually by cloning.

fn clone_into(&self, target: &mut Self::Owned)

Uses borrowed data to replace owned data, usually by cloning.

impl UpperHex for Script

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Script

impl StructuralEq for Script

impl StructuralPartialEq for Script