Bitcoin Core 28.99.0
P2P Digital Currency
psbt.cpp
Go to the documentation of this file.
1// Copyright (c) 2009-2022 The Bitcoin Core developers
2// Distributed under the MIT software license, see the accompanying
3// file COPYING or http://www.opensource.org/licenses/mit-license.php.
4
5#include <coins.h>
6#include <consensus/amount.h>
8#include <node/psbt.h>
9#include <policy/policy.h>
10#include <policy/settings.h>
11#include <tinyformat.h>
12
13#include <numeric>
14
15namespace node {
17{
18 // Go through each input and build status
19 PSBTAnalysis result;
20
21 bool calc_fee = true;
22
23 CAmount in_amt = 0;
24
25 result.inputs.resize(psbtx.tx->vin.size());
26
28
29 for (unsigned int i = 0; i < psbtx.tx->vin.size(); ++i) {
30 PSBTInput& input = psbtx.inputs[i];
31 PSBTInputAnalysis& input_analysis = result.inputs[i];
32
33 // We set next role here and ratchet backwards as required
34 input_analysis.next = PSBTRole::EXTRACTOR;
35
36 // Check for a UTXO
37 CTxOut utxo;
38 if (psbtx.GetInputUTXO(utxo, i)) {
39 if (!MoneyRange(utxo.nValue) || !MoneyRange(in_amt + utxo.nValue)) {
40 result.SetInvalid(strprintf("PSBT is not valid. Input %u has invalid value", i));
41 return result;
42 }
43 in_amt += utxo.nValue;
44 input_analysis.has_utxo = true;
45 } else {
46 if (input.non_witness_utxo && psbtx.tx->vin[i].prevout.n >= input.non_witness_utxo->vout.size()) {
47 result.SetInvalid(strprintf("PSBT is not valid. Input %u specifies invalid prevout", i));
48 return result;
49 }
50 input_analysis.has_utxo = false;
51 input_analysis.is_final = false;
52 input_analysis.next = PSBTRole::UPDATER;
53 calc_fee = false;
54 }
55
56 if (!utxo.IsNull() && utxo.scriptPubKey.IsUnspendable()) {
57 result.SetInvalid(strprintf("PSBT is not valid. Input %u spends unspendable output", i));
58 return result;
59 }
60
61 // Check if it is final
62 if (!PSBTInputSignedAndVerified(psbtx, i, &txdata)) {
63 input_analysis.is_final = false;
64
65 // Figure out what is missing
66 SignatureData outdata;
67 bool complete = SignPSBTInput(DUMMY_SIGNING_PROVIDER, psbtx, i, &txdata, 1, &outdata);
68
69 // Things are missing
70 if (!complete) {
71 input_analysis.missing_pubkeys = outdata.missing_pubkeys;
72 input_analysis.missing_redeem_script = outdata.missing_redeem_script;
73 input_analysis.missing_witness_script = outdata.missing_witness_script;
74 input_analysis.missing_sigs = outdata.missing_sigs;
75
76 // If we are only missing signatures and nothing else, then next is signer
77 if (outdata.missing_pubkeys.empty() && outdata.missing_redeem_script.IsNull() && outdata.missing_witness_script.IsNull() && !outdata.missing_sigs.empty()) {
78 input_analysis.next = PSBTRole::SIGNER;
79 } else {
80 input_analysis.next = PSBTRole::UPDATER;
81 }
82 } else {
83 input_analysis.next = PSBTRole::FINALIZER;
84 }
85 } else if (!utxo.IsNull()){
86 input_analysis.is_final = true;
87 }
88 }
89
90 // Calculate next role for PSBT by grabbing "minimum" PSBTInput next role
92 for (unsigned int i = 0; i < psbtx.tx->vin.size(); ++i) {
93 PSBTInputAnalysis& input_analysis = result.inputs[i];
94 result.next = std::min(result.next, input_analysis.next);
95 }
97
98 if (calc_fee) {
99 // Get the output amount
100 CAmount out_amt = std::accumulate(psbtx.tx->vout.begin(), psbtx.tx->vout.end(), CAmount(0),
101 [](CAmount a, const CTxOut& b) {
102 if (!MoneyRange(a) || !MoneyRange(b.nValue) || !MoneyRange(a + b.nValue)) {
103 return CAmount(-1);
104 }
105 return a += b.nValue;
106 }
107 );
108 if (!MoneyRange(out_amt)) {
109 result.SetInvalid("PSBT is not valid. Output amount invalid");
110 return result;
111 }
112
113 // Get the fee
114 CAmount fee = in_amt - out_amt;
115 result.fee = fee;
116
117 // Estimate the size
118 CMutableTransaction mtx(*psbtx.tx);
119 CCoinsView view_dummy;
120 CCoinsViewCache view(&view_dummy);
121 bool success = true;
122
123 for (unsigned int i = 0; i < psbtx.tx->vin.size(); ++i) {
124 PSBTInput& input = psbtx.inputs[i];
125 Coin newcoin;
126
127 if (!SignPSBTInput(DUMMY_SIGNING_PROVIDER, psbtx, i, nullptr, 1) || !psbtx.GetInputUTXO(newcoin.out, i)) {
128 success = false;
129 break;
130 } else {
131 mtx.vin[i].scriptSig = input.final_script_sig;
132 mtx.vin[i].scriptWitness = input.final_script_witness;
133 newcoin.nHeight = 1;
134 view.AddCoin(psbtx.tx->vin[i].prevout, std::move(newcoin), true);
135 }
136 }
137
138 if (success) {
139 CTransaction ctx = CTransaction(mtx);
141 result.estimated_vsize = size;
142 // Estimate fee rate
143 CFeeRate feerate(fee, size);
144 result.estimated_feerate = feerate;
145 }
146
147 }
148
149 return result;
150}
151} // namespace node
bool MoneyRange(const CAmount &nValue)
Definition: amount.h:27
int64_t CAmount
Amount in satoshis (Can be negative)
Definition: amount.h:12
CCoinsView that adds a memory cache for transactions to another CCoinsView.
Definition: coins.h:363
void AddCoin(const COutPoint &outpoint, Coin &&coin, bool possible_overwrite)
Add a coin.
Definition: coins.cpp:72
Abstract view on the open txout dataset.
Definition: coins.h:310
Fee rate in satoshis per kilovirtualbyte: CAmount / kvB.
Definition: feerate.h:33
bool IsUnspendable() const
Returns whether the script is guaranteed to fail at execution, regardless of the initial stack.
Definition: script.h:571
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:296
An output of a transaction.
Definition: transaction.h:150
CScript scriptPubKey
Definition: transaction.h:153
CAmount nValue
Definition: transaction.h:152
bool IsNull() const
Definition: transaction.h:170
A UTXO entry.
Definition: coins.h:33
CTxOut out
unspent transaction output
Definition: coins.h:36
uint32_t nHeight
at which height this containing transaction was included in the active block chain
Definition: coins.h:42
constexpr bool IsNull() const
Definition: uint256.h:48
uint64_t fee
Definition: messages.h:20
PSBTAnalysis AnalyzePSBT(PartiallySignedTransaction psbtx)
Provides helpful miscellaneous information about where a PSBT is in the signing workflow.
Definition: psbt.cpp:16
unsigned int nBytesPerSigOp
Definition: settings.cpp:10
int64_t GetVirtualTransactionSize(int64_t nWeight, int64_t nSigOpCost, unsigned int bytes_per_sigop)
Compute the virtual transaction size (weight reinterpreted as bytes).
Definition: policy.cpp:312
static constexpr unsigned int STANDARD_SCRIPT_VERIFY_FLAGS
Standard script verification flags that standard transactions will comply with.
Definition: policy.h:107
bool PSBTInputSignedAndVerified(const PartiallySignedTransaction psbt, unsigned int input_index, const PrecomputedTransactionData *txdata)
Checks whether a PSBTInput is already signed by doing script verification using final fields.
Definition: psbt.cpp:298
bool SignPSBTInput(const SigningProvider &provider, PartiallySignedTransaction &psbt, int index, const PrecomputedTransactionData *txdata, int sighash, SignatureData *out_sigdata, bool finalize)
Signs a PSBTInput, verifying that all provided data matches what is being signed.
Definition: psbt.cpp:375
PrecomputedTransactionData PrecomputePSBTData(const PartiallySignedTransaction &psbt)
Compute a PrecomputedTransactionData object from a psbt.
Definition: psbt.cpp:358
const SigningProvider & DUMMY_SIGNING_PROVIDER
A mutable version of CTransaction.
Definition: transaction.h:378
std::vector< CTxIn > vin
Definition: transaction.h:379
A structure for PSBTs which contain per-input information.
Definition: psbt.h:198
CScriptWitness final_script_witness
Definition: psbt.h:204
CTransactionRef non_witness_utxo
Definition: psbt.h:199
CScript final_script_sig
Definition: psbt.h:203
A version of CTransaction with the PSBT format.
Definition: psbt.h:951
bool GetInputUTXO(CTxOut &utxo, int input_index) const
Finds the UTXO for a given input index.
Definition: psbt.cpp:69
std::vector< PSBTInput > inputs
Definition: psbt.h:956
std::optional< CMutableTransaction > tx
Definition: psbt.h:952
uint160 missing_redeem_script
ScriptID of the missing redeemScript (if any)
Definition: sign.h:85
std::vector< CKeyID > missing_sigs
KeyIDs of pubkeys for signatures which could not be found.
Definition: sign.h:84
uint256 missing_witness_script
SHA256 of the missing witnessScript (if any)
Definition: sign.h:86
std::vector< CKeyID > missing_pubkeys
KeyIDs of pubkeys which could not be found.
Definition: sign.h:83
Holds the results of AnalyzePSBT (miscellaneous information about a PSBT)
Definition: psbt.h:30
std::vector< PSBTInputAnalysis > inputs
More information about the individual inputs of the transaction.
Definition: psbt.h:34
void SetInvalid(std::string err_msg)
Definition: psbt.h:38
std::optional< CAmount > fee
Amount of fee being paid by the transaction.
Definition: psbt.h:33
std::optional< size_t > estimated_vsize
Estimated weight of the transaction.
Definition: psbt.h:31
std::optional< CFeeRate > estimated_feerate
Estimated feerate (fee / weight) of the transaction.
Definition: psbt.h:32
PSBTRole next
Which of the BIP 174 roles needs to handle the transaction next.
Definition: psbt.h:35
Holds an analysis of one input from a PSBT.
Definition: psbt.h:16
uint256 missing_witness_script
SHA256 of witness script, if missing.
Definition: psbt.h:24
std::vector< CKeyID > missing_sigs
Pubkeys whose signatures are missing.
Definition: psbt.h:22
bool has_utxo
Whether we have UTXO information for this input.
Definition: psbt.h:17
PSBTRole next
Which of the BIP 174 roles needs to handle this input next.
Definition: psbt.h:19
std::vector< CKeyID > missing_pubkeys
Pubkeys whose BIP32 derivation path is missing.
Definition: psbt.h:21
uint160 missing_redeem_script
Hash160 of redeem script, if missing.
Definition: psbt.h:23
bool is_final
Whether the input has all required information including signatures.
Definition: psbt.h:18
#define strprintf
Format arguments and return the string or write to given std::ostream (see tinyformat::format doc for...
Definition: tinyformat.h:1165
int64_t GetTransactionSigOpCost(const CTransaction &tx, const CCoinsViewCache &inputs, uint32_t flags)
Compute total signature operation cost of a transaction.
Definition: tx_verify.cpp:143
assert(!tx.IsCoinBase())