Bitcoin Core  27.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>
7 #include <consensus/tx_verify.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 
15 namespace 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 
27  const PrecomputedTransactionData txdata = PrecomputePSBTData(psbtx);
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
91  result.next = PSBTRole::EXTRACTOR;
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  }
96  assert(result.next > PSBTRole::CREATOR);
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:229
void AddCoin(const COutPoint &outpoint, Coin &&coin, bool possible_overwrite)
Add a coin.
Definition: coins.cpp:69
Abstract view on the open txout dataset.
Definition: coins.h:173
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:552
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:32
CTxOut out
unspent transaction output
Definition: coins.h:35
uint32_t nHeight
at which height this containing transaction was included in the active block chain
Definition: coins.h:41
constexpr bool IsNull() const
Definition: uint256.h:42
Definition: init.h:25
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:295
static constexpr unsigned int STANDARD_SCRIPT_VERIFY_FLAGS
Standard script verification flags that standard transactions will comply with.
Definition: policy.h:103
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:194
CScriptWitness final_script_witness
Definition: psbt.h:200
CTransactionRef non_witness_utxo
Definition: psbt.h:195
CScript final_script_sig
Definition: psbt.h:199
A version of CTransaction with the PSBT format.
Definition: psbt.h:947
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:952
std::optional< CMutableTransaction > tx
Definition: psbt.h:948
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:1162
int64_t GetTransactionSigOpCost(const CTransaction &tx, const CCoinsViewCache &inputs, uint32_t flags)
Compute total signature operation cost of a transaction.
Definition: tx_verify.cpp:147
assert(!tx.IsCoinBase())