Script Verification

This section describes the verification of input and output scripts with the relevant non-script arguments (witnesses, lock-time, previous output amounts etc). Note that script verification does not verify the chain state information passed on to the verification of the scripts. Script verification assesses whether input & output scripts evaluate to true on the script stack for a given a set of consensus rules.

In Libbitcoin, the script::verify() function parses the input and output scripts through the script interpreter, in order to evaluate if the entire script evaluates to true.

The following example demonstrates the spending of a P2PKH output. We construct both P2PKH output and input scripts and then check what the two scripts evaluate to.

// Omitted for brevity:
// Construction of p2pkh_transaction object used in example below.

// Previous output script / Previous output amount.
//---------------------------------------------------------------------------

// Previous output script: P2PKH.
auto p2pkh_output_script = script::to_pay_key_hash_pattern(
      bitcoin_short_hash(pubkey0));

// Previous output amount.
std::string previous_btc_amount = "1.0";
uint64_t previous_output_amount;
decode_base10(previous_output_amount, previous_btc_amount, btc_decimal_places);


// Input script.
//---------------------------------------------------------------------------

// Signature.
endorsement sig_0;
uint8_t input0_index(0u);
script::create_endorsement(sig_0, my_secret0, p2pkh_output_script,
    p2pkh_transaction, input0_index, sighash_algorithm::all);

// Input script operations.
operation::list input_operations {
    operation(sig_0),
    operation(to_chunk(pubkey0))
};
script p2pkh_input_script(input_operations);

// Add input script to transaction.
p2pkh_transaction.inputs()[0].set_script(p2pkh_input_script);


// Verify input script, output script.
//---------------------------------------------------------------------------

// With all fork rules, no witness.
witness empty_witness;
auto ec = script::verify(p2pkh_transaction, 0, rule_fork::all_rules,
    p2pkh_input_script, empty_witness, p2pkh_output_script,
    previous_output_amount);

// Prints success
std::cout << ec.message() << std::endl;

You can find the complete example script here.

Note that we have also passed in non-script arguments into script::verify(), such as the witness and the previous output amount, which are required for verifying BIP143 signatures. The rule_fork argument tells the script interpreter which Bitcoin soft fork rules to apply during the verification of the script.

The script verify method returns a std::error_code object, with a value from the Libbitcoin error code enum.