Branch data Line data Source code
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 {
16 : 3704 : PSBTAnalysis AnalyzePSBT(PartiallySignedTransaction psbtx)
17 : : {
18 : : // Go through each input and build status
19 [ + - ]: 3704 : PSBTAnalysis result;
20 : :
21 : 3704 : bool calc_fee = true;
22 : :
23 : 3704 : CAmount in_amt = 0;
24 : :
25 [ + - ]: 3704 : result.inputs.resize(psbtx.tx->vin.size());
26 : :
27 [ + - ]: 3704 : const PrecomputedTransactionData txdata = PrecomputePSBTData(psbtx);
28 : :
29 [ + + ]: 10426 : for (unsigned int i = 0; i < psbtx.tx->vin.size(); ++i) {
30 : 7305 : PSBTInput& input = psbtx.inputs[i];
31 : 7305 : PSBTInputAnalysis& input_analysis = result.inputs[i];
32 : :
33 : : // We set next role here and ratchet backwards as required
34 : 7305 : input_analysis.next = PSBTRole::EXTRACTOR;
35 : :
36 : : // Check for a UTXO
37 : 7305 : CTxOut utxo;
38 [ + - + + ]: 7305 : if (psbtx.GetInputUTXO(utxo, i)) {
39 [ + + + + ]: 3919 : if (!MoneyRange(utxo.nValue) || !MoneyRange(in_amt + utxo.nValue)) {
40 [ + - + - ]: 562 : result.SetInvalid(strprintf("PSBT is not valid. Input %u has invalid value", i));
41 : 562 : return result;
42 : : }
43 : 3357 : in_amt += utxo.nValue;
44 : 3357 : input_analysis.has_utxo = true;
45 : : } else {
46 [ - + - - ]: 3386 : if (input.non_witness_utxo && psbtx.tx->vin[i].prevout.n >= input.non_witness_utxo->vout.size()) {
47 [ # # # # ]: 0 : result.SetInvalid(strprintf("PSBT is not valid. Input %u specifies invalid prevout", i));
48 : 0 : return result;
49 : : }
50 : 3386 : input_analysis.has_utxo = false;
51 : 3386 : input_analysis.is_final = false;
52 : 3386 : input_analysis.next = PSBTRole::UPDATER;
53 : 3386 : calc_fee = false;
54 : : }
55 : :
56 [ + + + + ]: 6743 : if (!utxo.IsNull() && utxo.scriptPubKey.IsUnspendable()) {
57 [ + - + - ]: 21 : result.SetInvalid(strprintf("PSBT is not valid. Input %u spends unspendable output", i));
58 : 21 : return result;
59 : : }
60 : :
61 : : // Check if it is final
62 [ + - + - : 6722 : if (!PSBTInputSignedAndVerified(psbtx, i, &txdata)) {
+ + ]
63 : 6544 : input_analysis.is_final = false;
64 : :
65 : : // Figure out what is missing
66 : 6544 : SignatureData outdata;
67 [ + - ]: 6544 : bool complete = SignPSBTInput(DUMMY_SIGNING_PROVIDER, psbtx, i, &txdata, 1, &outdata);
68 : :
69 : : // Things are missing
70 [ + + ]: 6544 : if (!complete) {
71 [ + - ]: 6473 : input_analysis.missing_pubkeys = outdata.missing_pubkeys;
72 : 6473 : input_analysis.missing_redeem_script = outdata.missing_redeem_script;
73 : 6473 : input_analysis.missing_witness_script = outdata.missing_witness_script;
74 [ + - ]: 6473 : input_analysis.missing_sigs = outdata.missing_sigs;
75 : :
76 : : // If we are only missing signatures and nothing else, then next is signer
77 [ + + + + : 6473 : if (outdata.missing_pubkeys.empty() && outdata.missing_redeem_script.IsNull() && outdata.missing_witness_script.IsNull() && !outdata.missing_sigs.empty()) {
+ - + + ]
78 : 480 : input_analysis.next = PSBTRole::SIGNER;
79 : : } else {
80 : 5993 : input_analysis.next = PSBTRole::UPDATER;
81 : : }
82 : : } else {
83 : 71 : input_analysis.next = PSBTRole::FINALIZER;
84 : : }
85 [ + - ]: 6722 : } else if (!utxo.IsNull()){
86 : 178 : input_analysis.is_final = true;
87 : : }
88 : 7305 : }
89 : :
90 : : // Calculate next role for PSBT by grabbing "minimum" PSBTInput next role
91 : 3121 : result.next = PSBTRole::EXTRACTOR;
92 [ + + ]: 9446 : for (unsigned int i = 0; i < psbtx.tx->vin.size(); ++i) {
93 [ + + ]: 6325 : PSBTInputAnalysis& input_analysis = result.inputs[i];
94 [ + + ]: 10109 : result.next = std::min(result.next, input_analysis.next);
95 : : }
96 [ - + ]: 3121 : assert(result.next > PSBTRole::CREATOR);
97 : :
98 [ + + ]: 3121 : if (calc_fee) {
99 : : // Get the output amount
100 : 1776 : CAmount out_amt = std::accumulate(psbtx.tx->vout.begin(), psbtx.tx->vout.end(), CAmount(0),
101 : 7608 : [](CAmount a, const CTxOut& b) {
102 [ + + + + : 7608 : if (!MoneyRange(a) || !MoneyRange(b.nValue) || !MoneyRange(a + b.nValue)) {
+ + ]
103 : 6087 : return CAmount(-1);
104 : : }
105 : : return a += b.nValue;
106 : : }
107 : 1776 : );
108 [ + + ]: 1776 : if (!MoneyRange(out_amt)) {
109 [ + - + - ]: 615 : result.SetInvalid("PSBT is not valid. Output amount invalid");
110 : 615 : return result;
111 : : }
112 : :
113 : : // Get the fee
114 : 1161 : CAmount fee = in_amt - out_amt;
115 [ + - ]: 1161 : result.fee = fee;
116 : :
117 : : // Estimate the size
118 [ + - ]: 1161 : CMutableTransaction mtx(*psbtx.tx);
119 : 1161 : CCoinsView view_dummy;
120 [ + - ]: 1161 : CCoinsViewCache view(&view_dummy);
121 : 1662 : bool success = true;
122 : :
123 [ + + ]: 1662 : for (unsigned int i = 0; i < psbtx.tx->vin.size(); ++i) {
124 : 1266 : PSBTInput& input = psbtx.inputs[i];
125 : 1266 : Coin newcoin;
126 : :
127 [ + - + + : 1266 : if (!SignPSBTInput(DUMMY_SIGNING_PROVIDER, psbtx, i, nullptr, 1) || !psbtx.GetInputUTXO(newcoin.out, i)) {
+ - + - ]
128 : 765 : success = false;
129 : 765 : break;
130 : : } else {
131 : 501 : mtx.vin[i].scriptSig = input.final_script_sig;
132 [ + - ]: 501 : mtx.vin[i].scriptWitness = input.final_script_witness;
133 : 501 : newcoin.nHeight = 1;
134 [ + - ]: 501 : view.AddCoin(psbtx.tx->vin[i].prevout, std::move(newcoin), true);
135 : : }
136 : 501 : }
137 : :
138 : 765 : if (success) {
139 [ + - ]: 396 : CTransaction ctx = CTransaction(mtx);
140 [ + - + - ]: 396 : size_t size(GetVirtualTransactionSize(ctx, GetTransactionSigOpCost(ctx, view, STANDARD_SCRIPT_VERIFY_FLAGS), ::nBytesPerSigOp));
141 [ + - ]: 396 : result.estimated_vsize = size;
142 : : // Estimate fee rate
143 [ + - ]: 396 : CFeeRate feerate(fee, size);
144 [ - + ]: 792 : result.estimated_feerate = feerate;
145 : 396 : }
146 : :
147 : 2322 : }
148 : :
149 : : return result;
150 : 3704 : }
151 : : } // namespace node
|
