Bitcoin Core 30.99.0
P2P Digital Currency
spend.cpp
Go to the documentation of this file.
1// Copyright (c) 2021-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 <algorithm>
6#include <common/args.h>
7#include <common/messages.h>
8#include <common/system.h>
9#include <consensus/amount.h>
11#include <interfaces/chain.h>
12#include <node/types.h>
13#include <numeric>
14#include <policy/policy.h>
15#include <policy/truc_policy.h>
18#include <script/script.h>
20#include <script/solver.h>
21#include <util/check.h>
22#include <util/moneystr.h>
23#include <util/rbf.h>
24#include <util/trace.h>
25#include <util/translation.h>
26#include <wallet/coincontrol.h>
27#include <wallet/fees.h>
28#include <wallet/receive.h>
29#include <wallet/spend.h>
30#include <wallet/transaction.h>
31#include <wallet/wallet.h>
32
33#include <cmath>
34
39
40TRACEPOINT_SEMAPHORE(coin_selection, selected_coins);
41TRACEPOINT_SEMAPHORE(coin_selection, normal_create_tx_internal);
42TRACEPOINT_SEMAPHORE(coin_selection, attempting_aps_create_tx);
43TRACEPOINT_SEMAPHORE(coin_selection, aps_create_tx_internal);
44
45namespace wallet {
46static constexpr size_t OUTPUT_GROUP_MAX_ENTRIES{100};
47
49static bool IsSegwit(const Descriptor& desc) {
50 if (const auto typ = desc.GetOutputType()) return *typ != OutputType::LEGACY;
51 return false;
52}
53
55static bool UseMaxSig(const std::optional<CTxIn>& txin, const CCoinControl* coin_control) {
56 // Use max sig if watch only inputs were used or if this particular input is an external input
57 // to ensure a sufficient fee is attained for the requested feerate.
58 return coin_control && txin && coin_control->IsExternalSelected(txin->prevout);
59}
60
69static std::optional<int64_t> MaxInputWeight(const Descriptor& desc, const std::optional<CTxIn>& txin,
70 const CCoinControl* coin_control, const bool tx_is_segwit,
71 const bool can_grind_r) {
72 if (const auto sat_weight = desc.MaxSatisfactionWeight(!can_grind_r || UseMaxSig(txin, coin_control))) {
73 if (const auto elems_count = desc.MaxSatisfactionElems()) {
74 const bool is_segwit = IsSegwit(desc);
75 // Account for the size of the scriptsig and the number of elements on the witness stack. Note
76 // that if any input in the transaction is spending a witness program, we need to specify the
77 // witness stack size for every input regardless of whether it is segwit itself.
78 // NOTE: this also works in case of mixed scriptsig-and-witness such as in p2sh-wrapped segwit v0
79 // outputs. In this case the size of the scriptsig length will always be one (since the redeemScript
80 // is always a push of the witness program in this case, which is smaller than 253 bytes).
81 const int64_t scriptsig_len = is_segwit ? 1 : GetSizeOfCompactSize(*sat_weight / WITNESS_SCALE_FACTOR);
82 const int64_t witstack_len = is_segwit ? GetSizeOfCompactSize(*elems_count) : (tx_is_segwit ? 1 : 0);
83 // previous txid + previous vout + sequence + scriptsig len + witstack size + scriptsig or witness
84 // NOTE: sat_weight already accounts for the witness discount accordingly.
85 return (32 + 4 + 4 + scriptsig_len) * WITNESS_SCALE_FACTOR + witstack_len + *sat_weight;
86 }
87 }
88
89 return {};
90}
91
92int CalculateMaximumSignedInputSize(const CTxOut& txout, const COutPoint outpoint, const SigningProvider* provider, bool can_grind_r, const CCoinControl* coin_control)
93{
94 if (!provider) return -1;
95
96 if (const auto desc = InferDescriptor(txout.scriptPubKey, *provider)) {
97 if (const auto weight = MaxInputWeight(*desc, {}, coin_control, true, can_grind_r)) {
98 return static_cast<int>(GetVirtualTransactionSize(*weight, 0, 0));
99 }
100 }
101
102 return -1;
103}
104
105int CalculateMaximumSignedInputSize(const CTxOut& txout, const CWallet* wallet, const CCoinControl* coin_control)
106{
107 const std::unique_ptr<SigningProvider> provider = wallet->GetSolvingProvider(txout.scriptPubKey);
108 return CalculateMaximumSignedInputSize(txout, COutPoint(), provider.get(), wallet->CanGrindR(), coin_control);
109}
110
112static std::unique_ptr<Descriptor> GetDescriptor(const CWallet* wallet, const CCoinControl* coin_control,
113 const CScript script_pubkey)
114{
115 MultiSigningProvider providers;
116 for (const auto spkman: wallet->GetScriptPubKeyMans(script_pubkey)) {
117 providers.AddProvider(spkman->GetSolvingProvider(script_pubkey));
118 }
119 if (coin_control) {
120 providers.AddProvider(std::make_unique<FlatSigningProvider>(coin_control->m_external_provider));
121 }
122 return InferDescriptor(script_pubkey, providers);
123}
124
126static std::optional<int64_t> GetSignedTxinWeight(const CWallet* wallet, const CCoinControl* coin_control,
127 const CTxIn& txin, const CTxOut& txo, const bool tx_is_segwit,
128 const bool can_grind_r)
129{
130 // If weight was provided, use that.
131 std::optional<int64_t> weight;
132 if (coin_control && (weight = coin_control->GetInputWeight(txin.prevout))) {
133 return weight.value();
134 }
135
136 // Otherwise, use the maximum satisfaction size provided by the descriptor.
137 std::unique_ptr<Descriptor> desc{GetDescriptor(wallet, coin_control, txo.scriptPubKey)};
138 if (desc) return MaxInputWeight(*desc, {txin}, coin_control, tx_is_segwit, can_grind_r);
139
140 return {};
141}
142
143// txouts needs to be in the order of tx.vin
144TxSize CalculateMaximumSignedTxSize(const CTransaction &tx, const CWallet *wallet, const std::vector<CTxOut>& txouts, const CCoinControl* coin_control)
145{
146 // version + nLockTime + input count + output count
147 int64_t weight = (4 + 4 + GetSizeOfCompactSize(tx.vin.size()) + GetSizeOfCompactSize(tx.vout.size())) * WITNESS_SCALE_FACTOR;
148 // Whether any input spends a witness program. Necessary to run before the next loop over the
149 // inputs in order to accurately compute the compactSize length for the witness data per input.
150 bool is_segwit = std::any_of(txouts.begin(), txouts.end(), [&](const CTxOut& txo) {
151 std::unique_ptr<Descriptor> desc{GetDescriptor(wallet, coin_control, txo.scriptPubKey)};
152 if (desc) return IsSegwit(*desc);
153 return false;
154 });
155 // Segwit marker and flag
156 if (is_segwit) weight += 2;
157
158 // Add the size of the transaction outputs.
159 for (const auto& txo : tx.vout) weight += GetSerializeSize(txo) * WITNESS_SCALE_FACTOR;
160
161 // Add the size of the transaction inputs as if they were signed.
162 for (uint32_t i = 0; i < txouts.size(); i++) {
163 const auto txin_weight = GetSignedTxinWeight(wallet, coin_control, tx.vin[i], txouts[i], is_segwit, wallet->CanGrindR());
164 if (!txin_weight) return TxSize{-1, -1};
165 assert(*txin_weight > -1);
166 weight += *txin_weight;
167 }
168
169 // It's ok to use 0 as the number of sigops since we never create any pathological transaction.
170 return TxSize{GetVirtualTransactionSize(weight, 0, 0), weight};
171}
172
174{
175 std::vector<CTxOut> txouts;
176 // Look up the inputs. The inputs are either in the wallet, or in coin_control.
177 for (const CTxIn& input : tx.vin) {
178 const auto mi = wallet->mapWallet.find(input.prevout.hash);
179 // Can not estimate size without knowing the input details
180 if (mi != wallet->mapWallet.end()) {
181 assert(input.prevout.n < mi->second.tx->vout.size());
182 txouts.emplace_back(mi->second.tx->vout.at(input.prevout.n));
183 } else if (coin_control) {
184 const auto& txout{coin_control->GetExternalOutput(input.prevout)};
185 if (!txout) return TxSize{-1, -1};
186 txouts.emplace_back(*txout);
187 } else {
188 return TxSize{-1, -1};
189 }
190 }
191 return CalculateMaximumSignedTxSize(tx, wallet, txouts, coin_control);
192}
193
194size_t CoinsResult::Size() const
195{
196 size_t size{0};
197 for (const auto& it : coins) {
198 size += it.second.size();
199 }
200 return size;
201}
202
203std::vector<COutput> CoinsResult::All() const
204{
205 std::vector<COutput> all;
206 all.reserve(coins.size());
207 for (const auto& it : coins) {
208 all.insert(all.end(), it.second.begin(), it.second.end());
209 }
210 return all;
211}
212
213void CoinsResult::Clear() {
214 coins.clear();
215}
216
217void CoinsResult::Erase(const std::unordered_set<COutPoint, SaltedOutpointHasher>& coins_to_remove)
218{
219 for (auto& [type, vec] : coins) {
220 auto remove_it = std::remove_if(vec.begin(), vec.end(), [&](const COutput& coin) {
221 // remove it if it's on the set
222 if (coins_to_remove.count(coin.outpoint) == 0) return false;
223
224 // update cached amounts
225 total_amount -= coin.txout.nValue;
226 if (coin.HasEffectiveValue()) total_effective_amount = *total_effective_amount - coin.GetEffectiveValue();
227 return true;
228 });
229 vec.erase(remove_it, vec.end());
230 }
231}
232
233void CoinsResult::Shuffle(FastRandomContext& rng_fast)
234{
235 for (auto& it : coins) {
236 std::shuffle(it.second.begin(), it.second.end(), rng_fast);
237 }
238}
239
240void CoinsResult::Add(OutputType type, const COutput& out)
241{
242 coins[type].emplace_back(out);
243 total_amount += out.txout.nValue;
244 if (out.HasEffectiveValue()) {
245 total_effective_amount = total_effective_amount.has_value() ?
246 *total_effective_amount + out.GetEffectiveValue() : out.GetEffectiveValue();
247 }
248}
249
250static OutputType GetOutputType(TxoutType type, bool is_from_p2sh)
251{
252 switch (type) {
254 return OutputType::BECH32M;
257 if (is_from_p2sh) return OutputType::P2SH_SEGWIT;
258 else return OutputType::BECH32;
261 return OutputType::LEGACY;
262 default:
263 return OutputType::UNKNOWN;
264 }
265}
266
267// Fetch and validate the coin control selected inputs.
268// Coins could be internal (from the wallet) or external.
270 const CoinSelectionParams& coin_selection_params)
271{
272 PreSelectedInputs result;
273 const bool can_grind_r = wallet.CanGrindR();
274 std::map<COutPoint, CAmount> map_of_bump_fees = wallet.chain().calculateIndividualBumpFees(coin_control.ListSelected(), coin_selection_params.m_effective_feerate);
275 for (const COutPoint& outpoint : coin_control.ListSelected()) {
276 int64_t input_bytes = coin_control.GetInputWeight(outpoint).value_or(-1);
277 if (input_bytes != -1) {
278 input_bytes = GetVirtualTransactionSize(input_bytes, 0, 0);
279 }
280 CTxOut txout;
281 if (auto txo = wallet.GetTXO(outpoint)) {
282 txout = txo->GetTxOut();
283 if (input_bytes == -1) {
284 input_bytes = CalculateMaximumSignedInputSize(txout, &wallet, &coin_control);
285 }
286 const CWalletTx& parent_tx = txo->GetWalletTx();
287 if (wallet.GetTxDepthInMainChain(parent_tx) == 0) {
288 if (parent_tx.tx->version == TRUC_VERSION && coin_control.m_version != TRUC_VERSION) {
289 return util::Error{strprintf(_("Can't spend unconfirmed version 3 pre-selected input with a version %d tx"), coin_control.m_version)};
290 } else if (coin_control.m_version == TRUC_VERSION && parent_tx.tx->version != TRUC_VERSION) {
291 return util::Error{strprintf(_("Can't spend unconfirmed version %d pre-selected input with a version 3 tx"), parent_tx.tx->version)};
292 }
293 }
294 } else {
295 // The input is external. We did not find the tx in mapWallet.
296 const auto out{coin_control.GetExternalOutput(outpoint)};
297 if (!out) {
298 return util::Error{strprintf(_("Not found pre-selected input %s"), outpoint.ToString())};
299 }
300
301 txout = *out;
302 }
303
304 if (input_bytes == -1) {
305 input_bytes = CalculateMaximumSignedInputSize(txout, outpoint, &coin_control.m_external_provider, can_grind_r, &coin_control);
306 }
307
308 if (input_bytes == -1) {
309 return util::Error{strprintf(_("Not solvable pre-selected input %s"), outpoint.ToString())}; // Not solvable, can't estimate size for fee
310 }
311
312 /* Set some defaults for depth, solvable, safe, time, and from_me as these don't matter for preset inputs since no selection is being done. */
313 COutput output(outpoint, txout, /*depth=*/0, input_bytes, /*solvable=*/true, /*safe=*/true, /*time=*/0, /*from_me=*/false, coin_selection_params.m_effective_feerate);
314 output.ApplyBumpFee(map_of_bump_fees.at(output.outpoint));
315 result.Insert(output, coin_selection_params.m_subtract_fee_outputs);
316 }
317 return result;
318}
319
321 const CCoinControl* coinControl,
322 std::optional<CFeeRate> feerate,
323 const CoinFilterParams& params)
324{
325 AssertLockHeld(wallet.cs_wallet);
326
327 CoinsResult result;
328 // track unconfirmed truc outputs separately if we are tracking trucness
329 std::vector<std::pair<OutputType, COutput>> unconfirmed_truc_coins;
330 std::unordered_map<Txid, CAmount, SaltedTxidHasher> truc_txid_by_value;
331 // Either the WALLET_FLAG_AVOID_REUSE flag is not set (in which case we always allow), or we default to avoiding, and only in the case where
332 // a coin control object is provided, and has the avoid address reuse flag set to false, do we allow already used addresses
333 bool allow_used_addresses = !wallet.IsWalletFlagSet(WALLET_FLAG_AVOID_REUSE) || (coinControl && !coinControl->m_avoid_address_reuse);
334 const int min_depth = {coinControl ? coinControl->m_min_depth : DEFAULT_MIN_DEPTH};
335 const int max_depth = {coinControl ? coinControl->m_max_depth : DEFAULT_MAX_DEPTH};
336 const bool only_safe = {coinControl ? !coinControl->m_include_unsafe_inputs : true};
337 const bool can_grind_r = wallet.CanGrindR();
338 std::vector<COutPoint> outpoints;
339
340 std::set<Txid> trusted_parents;
341 // Cache for whether each tx passes the tx level checks (first bool), and whether the transaction is "safe" (second bool)
342 std::unordered_map<Txid, std::pair<bool, bool>, SaltedTxidHasher> tx_safe_cache;
343 for (const auto& [outpoint, txo] : wallet.GetTXOs()) {
344 const CWalletTx& wtx = txo.GetWalletTx();
345 const CTxOut& output = txo.GetTxOut();
346
347 if (tx_safe_cache.contains(outpoint.hash) && !tx_safe_cache.at(outpoint.hash).first) {
348 continue;
349 }
350
351 int nDepth = wallet.GetTxDepthInMainChain(wtx);
352
353 // Perform tx level checks if we haven't already come across outputs from this tx before.
354 if (!tx_safe_cache.contains(outpoint.hash)) {
355 tx_safe_cache[outpoint.hash] = {false, false};
356
357 if (wallet.IsTxImmatureCoinBase(wtx) && !params.include_immature_coinbase)
358 continue;
359
360 if (nDepth < 0)
361 continue;
362
363 // We should not consider coins which aren't at least in our mempool
364 // It's possible for these to be conflicted via ancestors which we may never be able to detect
365 if (nDepth == 0 && !wtx.InMempool())
366 continue;
367
368 bool safeTx = CachedTxIsTrusted(wallet, wtx, trusted_parents);
369
370 // We should not consider coins from transactions that are replacing
371 // other transactions.
372 //
373 // Example: There is a transaction A which is replaced by bumpfee
374 // transaction B. In this case, we want to prevent creation of
375 // a transaction B' which spends an output of B.
376 //
377 // Reason: If transaction A were initially confirmed, transactions B
378 // and B' would no longer be valid, so the user would have to create
379 // a new transaction C to replace B'. However, in the case of a
380 // one-block reorg, transactions B' and C might BOTH be accepted,
381 // when the user only wanted one of them. Specifically, there could
382 // be a 1-block reorg away from the chain where transactions A and C
383 // were accepted to another chain where B, B', and C were all
384 // accepted.
385 if (nDepth == 0 && wtx.mapValue.count("replaces_txid")) {
386 safeTx = false;
387 }
388
389 // Similarly, we should not consider coins from transactions that
390 // have been replaced. In the example above, we would want to prevent
391 // creation of a transaction A' spending an output of A, because if
392 // transaction B were initially confirmed, conflicting with A and
393 // A', we wouldn't want to the user to create a transaction D
394 // intending to replace A', but potentially resulting in a scenario
395 // where A, A', and D could all be accepted (instead of just B and
396 // D, or just A and A' like the user would want).
397 if (nDepth == 0 && wtx.mapValue.count("replaced_by_txid")) {
398 safeTx = false;
399 }
400
401 if (nDepth == 0 && params.check_version_trucness) {
402 if (coinControl->m_version == TRUC_VERSION) {
403 if (wtx.tx->version != TRUC_VERSION) continue;
404 // this unconfirmed v3 transaction already has a child
405 if (wtx.truc_child_in_mempool.has_value()) continue;
406
407 // this unconfirmed v3 transaction has a parent: spending would create a third generation
408 size_t ancestors, descendants;
409 wallet.chain().getTransactionAncestry(wtx.tx->GetHash(), ancestors, descendants);
410 if (ancestors > 1) continue;
411 } else {
412 if (wtx.tx->version == TRUC_VERSION) continue;
413 Assume(!wtx.truc_child_in_mempool.has_value());
414 }
415 }
416
417 if (only_safe && !safeTx) {
418 continue;
419 }
420
421 if (nDepth < min_depth || nDepth > max_depth) {
422 continue;
423 }
424
425 tx_safe_cache[outpoint.hash] = {true, safeTx};
426 }
427 const auto& [tx_ok, tx_safe] = tx_safe_cache.at(outpoint.hash);
428 if (!Assume(tx_ok)) {
429 continue;
430 }
431
432 if (output.nValue < params.min_amount || output.nValue > params.max_amount)
433 continue;
434
435 // Skip manually selected coins (the caller can fetch them directly)
436 if (coinControl && coinControl->HasSelected() && coinControl->IsSelected(outpoint))
437 continue;
438
439 if (wallet.IsLockedCoin(outpoint) && params.skip_locked)
440 continue;
441
442 if (wallet.IsSpent(outpoint))
443 continue;
444
445 if (!allow_used_addresses && wallet.IsSpentKey(output.scriptPubKey)) {
446 continue;
447 }
448
449 bool tx_from_me = CachedTxIsFromMe(wallet, wtx);
450
451 std::unique_ptr<SigningProvider> provider = wallet.GetSolvingProvider(output.scriptPubKey);
452
453 int input_bytes = CalculateMaximumSignedInputSize(output, COutPoint(), provider.get(), can_grind_r, coinControl);
454 // Because CalculateMaximumSignedInputSize infers a solvable descriptor to get the satisfaction size,
455 // it is safe to assume that this input is solvable if input_bytes is greater than -1.
456 bool solvable = input_bytes > -1;
457
458 // Obtain script type
459 std::vector<std::vector<uint8_t>> script_solutions;
460 TxoutType type = Solver(output.scriptPubKey, script_solutions);
461
462 // If the output is P2SH and solvable, we want to know if it is
463 // a P2SH (legacy) or one of P2SH-P2WPKH, P2SH-P2WSH (P2SH-Segwit). We can determine
464 // this from the redeemScript. If the output is not solvable, it will be classified
465 // as a P2SH (legacy), since we have no way of knowing otherwise without the redeemScript
466 bool is_from_p2sh{false};
467 if (type == TxoutType::SCRIPTHASH && solvable) {
469 if (!provider->GetCScript(CScriptID(uint160(script_solutions[0])), script)) continue;
470 type = Solver(script, script_solutions);
471 is_from_p2sh = true;
472 }
473
474 auto available_output_type = GetOutputType(type, is_from_p2sh);
475 auto available_output = COutput(outpoint, output, nDepth, input_bytes, solvable, tx_safe, wtx.GetTxTime(), tx_from_me, feerate);
476 if (wtx.tx->version == TRUC_VERSION && nDepth == 0 && params.check_version_trucness) {
477 unconfirmed_truc_coins.emplace_back(available_output_type, available_output);
478 auto [it, _] = truc_txid_by_value.try_emplace(wtx.tx->GetHash(), 0);
479 it->second += output.nValue;
480 } else {
481 result.Add(available_output_type, available_output);
482 }
483
484 outpoints.push_back(outpoint);
485
486 // Checks the sum amount of all UTXO's.
487 if (params.min_sum_amount != MAX_MONEY) {
488 if (result.GetTotalAmount() >= params.min_sum_amount) {
489 return result;
490 }
491 }
492
493 // Checks the maximum number of UTXO's.
494 if (params.max_count > 0 && result.Size() >= params.max_count) {
495 return result;
496 }
497 }
498
499 // Return all the coins from one TRUC transaction, that have the highest value.
500 // This could be improved in the future by encoding these restrictions in
501 // the coin selection itself so that we don't have to filter out
502 // other unconfirmed TRUC coins beforehand.
503 if (params.check_version_trucness && unconfirmed_truc_coins.size() > 0) {
504 auto highest_value_truc_tx = std::max_element(truc_txid_by_value.begin(), truc_txid_by_value.end(), [](const auto& tx1, const auto& tx2){
505 return tx1.second < tx2.second;
506 });
507
508 const Txid& truc_txid = highest_value_truc_tx->first;
509 for (const auto& [type, output] : unconfirmed_truc_coins) {
510 if (output.outpoint.hash == truc_txid) {
511 result.Add(type, output);
512 }
513 }
514 }
515
516 if (feerate.has_value()) {
517 std::map<COutPoint, CAmount> map_of_bump_fees = wallet.chain().calculateIndividualBumpFees(outpoints, feerate.value());
518
519 for (auto& [_, outputs] : result.coins) {
520 for (auto& output : outputs) {
521 output.ApplyBumpFee(map_of_bump_fees.at(output.outpoint));
522 }
523 }
524 }
525
526 return result;
527}
528
530{
531 AssertLockHeld(wallet.cs_wallet);
532 const CWalletTx* wtx{Assert(wallet.GetWalletTx(outpoint.hash))};
533
534 const CTransaction* ptx = wtx->tx.get();
535 int n = outpoint.n;
536 while (OutputIsChange(wallet, ptx->vout[n]) && ptx->vin.size() > 0) {
537 const COutPoint& prevout = ptx->vin[0].prevout;
538 const CWalletTx* it = wallet.GetWalletTx(prevout.hash);
539 if (!it || it->tx->vout.size() <= prevout.n ||
540 !wallet.IsMine(it->tx->vout[prevout.n])) {
541 break;
542 }
543 ptx = it->tx.get();
544 n = prevout.n;
545 }
546 return ptx->vout[n];
547}
548
549std::map<CTxDestination, std::vector<COutput>> ListCoins(const CWallet& wallet)
550{
551 AssertLockHeld(wallet.cs_wallet);
552
553 std::map<CTxDestination, std::vector<COutput>> result;
554
555 CCoinControl coin_control;
556 CoinFilterParams coins_params;
557 coins_params.skip_locked = false;
558 for (const COutput& coin : AvailableCoins(wallet, &coin_control, /*feerate=*/std::nullopt, coins_params).All()) {
559 CTxDestination address;
560 if (!ExtractDestination(FindNonChangeParentOutput(wallet, coin.outpoint).scriptPubKey, address)) {
561 // For backwards compatibility, we convert P2PK output scripts into PKHash destinations
562 if (auto pk_dest = std::get_if<PubKeyDestination>(&address)) {
563 address = PKHash(pk_dest->GetPubKey());
564 } else {
565 continue;
566 }
567 }
568 result[address].emplace_back(coin);
569 }
570 return result;
571}
572
574 const CoinsResult& coins,
575 const CoinSelectionParams& coin_sel_params,
576 const std::vector<SelectionFilter>& filters,
577 std::vector<OutputGroup>& ret_discarded_groups)
578{
579 FilteredOutputGroups filtered_groups;
580
581 if (!coin_sel_params.m_avoid_partial_spends) {
582 // Allowing partial spends means no grouping. Each COutput gets its own OutputGroup
583 for (const auto& [type, outputs] : coins.coins) {
584 for (const COutput& output : outputs) {
585 // Get mempool info
586 size_t ancestors, descendants;
587 wallet.chain().getTransactionAncestry(output.outpoint.hash, ancestors, descendants);
588
589 // Create a new group per output and add it to the all groups vector
590 OutputGroup group(coin_sel_params);
591 group.Insert(std::make_shared<COutput>(output), ancestors, descendants);
592
593 // Each filter maps to a different set of groups
594 bool accepted = false;
595 for (const auto& sel_filter : filters) {
596 const auto& filter = sel_filter.filter;
597 if (!group.EligibleForSpending(filter)) continue;
598 filtered_groups[filter].Push(group, type, /*insert_positive=*/true, /*insert_mixed=*/true);
599 accepted = true;
600 }
601 if (!accepted) ret_discarded_groups.emplace_back(group);
602 }
603 }
604 return filtered_groups;
605 }
606
607 // We want to combine COutputs that have the same scriptPubKey into single OutputGroups
608 // except when there are more than OUTPUT_GROUP_MAX_ENTRIES COutputs grouped in an OutputGroup.
609 // To do this, we maintain a map where the key is the scriptPubKey and the value is a vector of OutputGroups.
610 // For each COutput, we check if the scriptPubKey is in the map, and if it is, the COutput is added
611 // to the last OutputGroup in the vector for the scriptPubKey. When the last OutputGroup has
612 // OUTPUT_GROUP_MAX_ENTRIES COutputs, a new OutputGroup is added to the end of the vector.
613 typedef std::map<std::pair<CScript, OutputType>, std::vector<OutputGroup>> ScriptPubKeyToOutgroup;
614 const auto& insert_output = [&](
615 const std::shared_ptr<COutput>& output, OutputType type, size_t ancestors, size_t descendants,
616 ScriptPubKeyToOutgroup& groups_map) {
617 std::vector<OutputGroup>& groups = groups_map[std::make_pair(output->txout.scriptPubKey,type)];
618
619 if (groups.size() == 0) {
620 // No OutputGroups for this scriptPubKey yet, add one
621 groups.emplace_back(coin_sel_params);
622 }
623
624 // Get the last OutputGroup in the vector so that we can add the COutput to it
625 // A pointer is used here so that group can be reassigned later if it is full.
626 OutputGroup* group = &groups.back();
627
628 // Check if this OutputGroup is full. We limit to OUTPUT_GROUP_MAX_ENTRIES when using -avoidpartialspends
629 // to avoid surprising users with very high fees.
630 if (group->m_outputs.size() >= OUTPUT_GROUP_MAX_ENTRIES) {
631 // The last output group is full, add a new group to the vector and use that group for the insertion
632 groups.emplace_back(coin_sel_params);
633 group = &groups.back();
634 }
635
636 group->Insert(output, ancestors, descendants);
637 };
638
639 ScriptPubKeyToOutgroup spk_to_groups_map;
640 ScriptPubKeyToOutgroup spk_to_positive_groups_map;
641 for (const auto& [type, outs] : coins.coins) {
642 for (const COutput& output : outs) {
643 size_t ancestors, descendants;
644 wallet.chain().getTransactionAncestry(output.outpoint.hash, ancestors, descendants);
645
646 const auto& shared_output = std::make_shared<COutput>(output);
647 // Filter for positive only before adding the output
648 if (output.GetEffectiveValue() > 0) {
649 insert_output(shared_output, type, ancestors, descendants, spk_to_positive_groups_map);
650 }
651
652 // 'All' groups
653 insert_output(shared_output, type, ancestors, descendants, spk_to_groups_map);
654 }
655 }
656
657 // Now we go through the entire maps and pull out the OutputGroups
658 const auto& push_output_groups = [&](const ScriptPubKeyToOutgroup& groups_map, bool positive_only) {
659 for (const auto& [script, groups] : groups_map) {
660 // Go through the vector backwards. This allows for the first item we deal with being the partial group.
661 for (auto group_it = groups.rbegin(); group_it != groups.rend(); group_it++) {
662 const OutputGroup& group = *group_it;
663
664 // Each filter maps to a different set of groups
665 bool accepted = false;
666 for (const auto& sel_filter : filters) {
667 const auto& filter = sel_filter.filter;
668 if (!group.EligibleForSpending(filter)) continue;
669
670 // Don't include partial groups if there are full groups too and we don't want partial groups
671 if (group_it == groups.rbegin() && groups.size() > 1 && !filter.m_include_partial_groups) {
672 continue;
673 }
674
675 OutputType type = script.second;
676 // Either insert the group into the positive-only groups or the mixed ones.
677 filtered_groups[filter].Push(group, type, positive_only, /*insert_mixed=*/!positive_only);
678 accepted = true;
679 }
680 if (!accepted) ret_discarded_groups.emplace_back(group);
681 }
682 }
683 };
684
685 push_output_groups(spk_to_groups_map, /*positive_only=*/ false);
686 push_output_groups(spk_to_positive_groups_map, /*positive_only=*/ true);
687
688 return filtered_groups;
689}
690
692 const CoinsResult& coins,
693 const CoinSelectionParams& params,
694 const std::vector<SelectionFilter>& filters)
695{
696 std::vector<OutputGroup> unused;
697 return GroupOutputs(wallet, coins, params, filters, unused);
698}
699
700// Returns true if the result contains an error and the message is not empty
701static bool HasErrorMsg(const util::Result<SelectionResult>& res) { return !util::ErrorString(res).empty(); }
702
704 const CoinSelectionParams& coin_selection_params, bool allow_mixed_output_types)
705{
706 // Run coin selection on each OutputType and compute the Waste Metric
707 std::vector<SelectionResult> results;
708 for (auto& [type, group] : groups.groups_by_type) {
709 auto result{ChooseSelectionResult(chain, nTargetValue, group, coin_selection_params)};
710 // If any specific error message appears here, then something particularly wrong happened.
711 if (HasErrorMsg(result)) return result; // So let's return the specific error.
712 // Append the favorable result.
713 if (result) results.push_back(*result);
714 }
715 // If we have at least one solution for funding the transaction without mixing, choose the minimum one according to waste metric
716 // and return the result
717 if (results.size() > 0) return *std::min_element(results.begin(), results.end());
718
719 // If we can't fund the transaction from any individual OutputType, run coin selection one last time
720 // over all available coins, which would allow mixing.
721 // If TypesCount() <= 1, there is nothing to mix.
722 if (allow_mixed_output_types && groups.TypesCount() > 1) {
723 return ChooseSelectionResult(chain, nTargetValue, groups.all_groups, coin_selection_params);
724 }
725 // Either mixing is not allowed and we couldn't find a solution from any single OutputType, or mixing was allowed and we still couldn't
726 // find a solution using all available coins
727 return util::Error();
728};
729
730util::Result<SelectionResult> ChooseSelectionResult(interfaces::Chain& chain, const CAmount& nTargetValue, Groups& groups, const CoinSelectionParams& coin_selection_params)
731{
732 // Vector of results. We will choose the best one based on waste.
733 std::vector<SelectionResult> results;
734 std::vector<util::Result<SelectionResult>> errors;
735 auto append_error = [&] (util::Result<SelectionResult>&& result) {
736 // If any specific error message appears here, then something different from a simple "no selection found" happened.
737 // Let's save it, so it can be retrieved to the user if no other selection algorithm succeeded.
738 if (HasErrorMsg(result)) {
739 errors.emplace_back(std::move(result));
740 }
741 };
742
743 // Maximum allowed weight for selected coins.
744 int max_transaction_weight = coin_selection_params.m_max_tx_weight.value_or(MAX_STANDARD_TX_WEIGHT);
745 int tx_weight_no_input = coin_selection_params.tx_noinputs_size * WITNESS_SCALE_FACTOR;
746 int max_selection_weight = max_transaction_weight - tx_weight_no_input;
747 if (max_selection_weight <= 0) {
748 return util::Error{_("Maximum transaction weight is less than transaction weight without inputs")};
749 }
750
751 // SFFO frequently causes issues in the context of changeless input sets: skip BnB when SFFO is active
752 if (!coin_selection_params.m_subtract_fee_outputs) {
753 if (auto bnb_result{SelectCoinsBnB(groups.positive_group, nTargetValue, coin_selection_params.m_cost_of_change, max_selection_weight)}) {
754 results.push_back(*bnb_result);
755 } else append_error(std::move(bnb_result));
756 }
757
758 // Deduct change weight because remaining Coin Selection algorithms can create change output
759 int change_outputs_weight = coin_selection_params.change_output_size * WITNESS_SCALE_FACTOR;
760 max_selection_weight -= change_outputs_weight;
761 if (max_selection_weight < 0 && results.empty()) {
762 return util::Error{_("Maximum transaction weight is too low, can not accommodate change output")};
763 }
764
765 // The knapsack solver has some legacy behavior where it will spend dust outputs. We retain this behavior, so don't filter for positive only here.
766 if (auto knapsack_result{KnapsackSolver(groups.mixed_group, nTargetValue, coin_selection_params.m_min_change_target, coin_selection_params.rng_fast, max_selection_weight)}) {
767 results.push_back(*knapsack_result);
768 } else append_error(std::move(knapsack_result));
769
770 if (coin_selection_params.m_effective_feerate > CFeeRate{3 * coin_selection_params.m_long_term_feerate}) { // Minimize input set for feerates of at least 3×LTFRE (default: 30 ṩ/vB+)
771 if (auto cg_result{CoinGrinder(groups.positive_group, nTargetValue, coin_selection_params.m_min_change_target, max_selection_weight)}) {
772 cg_result->RecalculateWaste(coin_selection_params.min_viable_change, coin_selection_params.m_cost_of_change, coin_selection_params.m_change_fee);
773 results.push_back(*cg_result);
774 } else {
775 append_error(std::move(cg_result));
776 }
777 }
778
779 if (auto srd_result{SelectCoinsSRD(groups.positive_group, nTargetValue, coin_selection_params.m_change_fee, coin_selection_params.rng_fast, max_selection_weight)}) {
780 results.push_back(*srd_result);
781 } else append_error(std::move(srd_result));
782
783 if (results.empty()) {
784 // No solution found, retrieve the first explicit error (if any).
785 // future: add 'severity level' to errors so the worst one can be retrieved instead of the first one.
786 return errors.empty() ? util::Error() : std::move(errors.front());
787 }
788
789 // If the chosen input set has unconfirmed inputs, check for synergies from overlapping ancestry
790 for (auto& result : results) {
791 std::vector<COutPoint> outpoints;
792 std::set<std::shared_ptr<COutput>> coins = result.GetInputSet();
793 CAmount summed_bump_fees = 0;
794 for (auto& coin : coins) {
795 if (coin->depth > 0) continue; // Bump fees only exist for unconfirmed inputs
796 outpoints.push_back(coin->outpoint);
797 summed_bump_fees += coin->ancestor_bump_fees;
798 }
799 std::optional<CAmount> combined_bump_fee = chain.calculateCombinedBumpFee(outpoints, coin_selection_params.m_effective_feerate);
800 if (!combined_bump_fee.has_value()) {
801 return util::Error{_("Failed to calculate bump fees, because unconfirmed UTXOs depend on an enormous cluster of unconfirmed transactions.")};
802 }
803 CAmount bump_fee_overestimate = summed_bump_fees - combined_bump_fee.value();
804 if (bump_fee_overestimate) {
805 result.SetBumpFeeDiscount(bump_fee_overestimate);
806 }
807 result.RecalculateWaste(coin_selection_params.min_viable_change, coin_selection_params.m_cost_of_change, coin_selection_params.m_change_fee);
808 }
809
810 // Choose the result with the least waste
811 // If the waste is the same, choose the one which spends more inputs.
812 return *std::min_element(results.begin(), results.end());
813}
814
816 const CAmount& nTargetValue, const CCoinControl& coin_control,
817 const CoinSelectionParams& coin_selection_params)
818{
819 // Deduct preset inputs amount from the search target
820 CAmount selection_target = nTargetValue - pre_set_inputs.total_amount;
821
822 // Return if automatic coin selection is disabled, and we don't cover the selection target
823 if (!coin_control.m_allow_other_inputs && selection_target > 0) {
824 return util::Error{_("The preselected coins total amount does not cover the transaction target. "
825 "Please allow other inputs to be automatically selected or include more coins manually")};
826 }
827
828 // Return if we can cover the target only with the preset inputs
829 if (selection_target <= 0) {
830 SelectionResult result(nTargetValue, SelectionAlgorithm::MANUAL);
831 result.AddInputs(pre_set_inputs.coins, coin_selection_params.m_subtract_fee_outputs);
832 result.RecalculateWaste(coin_selection_params.min_viable_change, coin_selection_params.m_cost_of_change, coin_selection_params.m_change_fee);
833 return result;
834 }
835
836 // Return early if we cannot cover the target with the wallet's UTXO.
837 // We use the total effective value if we are not subtracting fee from outputs and 'available_coins' contains the data.
838 CAmount available_coins_total_amount = coin_selection_params.m_subtract_fee_outputs ? available_coins.GetTotalAmount() :
839 (available_coins.GetEffectiveTotalAmount().has_value() ? *available_coins.GetEffectiveTotalAmount() : 0);
840 if (selection_target > available_coins_total_amount) {
841 return util::Error(); // Insufficient funds
842 }
843
844 // Start wallet Coin Selection procedure
845 auto op_selection_result = AutomaticCoinSelection(wallet, available_coins, selection_target, coin_selection_params);
846 if (!op_selection_result) return op_selection_result;
847
848 // If needed, add preset inputs to the automatic coin selection result
849 if (!pre_set_inputs.coins.empty()) {
850 SelectionResult preselected(pre_set_inputs.total_amount, SelectionAlgorithm::MANUAL);
851 preselected.AddInputs(pre_set_inputs.coins, coin_selection_params.m_subtract_fee_outputs);
852 op_selection_result->Merge(preselected);
853 op_selection_result->RecalculateWaste(coin_selection_params.min_viable_change,
854 coin_selection_params.m_cost_of_change,
855 coin_selection_params.m_change_fee);
856
857 // Verify we haven't exceeded the maximum allowed weight
858 int max_inputs_weight = coin_selection_params.m_max_tx_weight.value_or(MAX_STANDARD_TX_WEIGHT) - (coin_selection_params.tx_noinputs_size * WITNESS_SCALE_FACTOR);
859 if (op_selection_result->GetWeight() > max_inputs_weight) {
860 return util::Error{_("The combination of the pre-selected inputs and the wallet automatic inputs selection exceeds the transaction maximum weight. "
861 "Please try sending a smaller amount or manually consolidating your wallet's UTXOs")};
862 }
863 }
864 return op_selection_result;
865}
866
867util::Result<SelectionResult> AutomaticCoinSelection(const CWallet& wallet, CoinsResult& available_coins, const CAmount& value_to_select, const CoinSelectionParams& coin_selection_params)
868{
869 unsigned int limit_ancestor_count = 0;
870 unsigned int limit_descendant_count = 0;
871 wallet.chain().getPackageLimits(limit_ancestor_count, limit_descendant_count);
872 const size_t max_ancestors = (size_t)std::max<int64_t>(1, limit_ancestor_count);
873 const size_t max_descendants = (size_t)std::max<int64_t>(1, limit_descendant_count);
874 const bool fRejectLongChains = gArgs.GetBoolArg("-walletrejectlongchains", DEFAULT_WALLET_REJECT_LONG_CHAINS);
875
876 // Cases where we have 101+ outputs all pointing to the same destination may result in
877 // privacy leaks as they will potentially be deterministically sorted. We solve that by
878 // explicitly shuffling the outputs before processing
879 if (coin_selection_params.m_avoid_partial_spends && available_coins.Size() > OUTPUT_GROUP_MAX_ENTRIES) {
880 available_coins.Shuffle(coin_selection_params.rng_fast);
881 }
882
883 // Coin Selection attempts to select inputs from a pool of eligible UTXOs to fund the
884 // transaction at a target feerate. If an attempt fails, more attempts may be made using a more
885 // permissive CoinEligibilityFilter.
886 {
887 // Place coins eligibility filters on a scope increasing order.
888 std::vector<SelectionFilter> ordered_filters{
889 // If possible, fund the transaction with confirmed UTXOs only. Prefer at least six
890 // confirmations on outputs received from other wallets and only spend confirmed change.
891 {CoinEligibilityFilter(1, 6, 0), /*allow_mixed_output_types=*/false},
892 {CoinEligibilityFilter(1, 1, 0)},
893 };
894 // Fall back to using zero confirmation change (but with as few ancestors in the mempool as
895 // possible) if we cannot fund the transaction otherwise.
896 if (wallet.m_spend_zero_conf_change) {
897 ordered_filters.push_back({CoinEligibilityFilter(0, 1, 2)});
898 ordered_filters.push_back({CoinEligibilityFilter(0, 1, std::min(size_t{4}, max_ancestors/3), std::min(size_t{4}, max_descendants/3))});
899 ordered_filters.push_back({CoinEligibilityFilter(0, 1, max_ancestors/2, max_descendants/2)});
900 // If partial groups are allowed, relax the requirement of spending OutputGroups (groups
901 // of UTXOs sent to the same address, which are obviously controlled by a single wallet)
902 // in their entirety.
903 ordered_filters.push_back({CoinEligibilityFilter(0, 1, max_ancestors-1, max_descendants-1, /*include_partial=*/true)});
904 // Try with unsafe inputs if they are allowed. This may spend unconfirmed outputs
905 // received from other wallets.
906 if (coin_selection_params.m_include_unsafe_inputs) {
907 ordered_filters.push_back({CoinEligibilityFilter(/*conf_mine=*/0, /*conf_theirs*/0, max_ancestors-1, max_descendants-1, /*include_partial=*/true)});
908 }
909 // Try with unlimited ancestors/descendants. The transaction will still need to meet
910 // mempool ancestor/descendant policy to be accepted to mempool and broadcasted, but
911 // OutputGroups use heuristics that may overestimate ancestor/descendant counts.
912 if (!fRejectLongChains) {
913 ordered_filters.push_back({CoinEligibilityFilter(0, 1, std::numeric_limits<uint64_t>::max(),
914 std::numeric_limits<uint64_t>::max(),
915 /*include_partial=*/true)});
916 }
917 }
918
919 // Group outputs and map them by coin eligibility filter
920 std::vector<OutputGroup> discarded_groups;
921 FilteredOutputGroups filtered_groups = GroupOutputs(wallet, available_coins, coin_selection_params, ordered_filters, discarded_groups);
922
923 // Check if we still have enough balance after applying filters (some coins might be discarded)
924 CAmount total_discarded = 0;
925 CAmount total_unconf_long_chain = 0;
926 for (const auto& group : discarded_groups) {
927 total_discarded += group.GetSelectionAmount();
928 if (group.m_ancestors >= max_ancestors || group.m_descendants >= max_descendants) total_unconf_long_chain += group.GetSelectionAmount();
929 }
930
931 if (CAmount total_amount = available_coins.GetTotalAmount() - total_discarded < value_to_select) {
932 // Special case, too-long-mempool cluster.
933 if (total_amount + total_unconf_long_chain > value_to_select) {
934 return util::Error{_("Unconfirmed UTXOs are available, but spending them creates a chain of transactions that will be rejected by the mempool")};
935 }
936 return util::Error{}; // General "Insufficient Funds"
937 }
938
939 // Walk-through the filters until the solution gets found.
940 // If no solution is found, return the first detailed error (if any).
941 // future: add "error level" so the worst one can be picked instead.
942 std::vector<util::Result<SelectionResult>> res_detailed_errors;
943 CoinSelectionParams updated_selection_params = coin_selection_params;
944 for (const auto& select_filter : ordered_filters) {
945 auto it = filtered_groups.find(select_filter.filter);
946 if (it == filtered_groups.end()) continue;
947 if (updated_selection_params.m_version == TRUC_VERSION && (select_filter.filter.conf_mine == 0 || select_filter.filter.conf_theirs == 0)) {
948 if (updated_selection_params.m_max_tx_weight > (TRUC_CHILD_MAX_WEIGHT)) {
949 updated_selection_params.m_max_tx_weight = TRUC_CHILD_MAX_WEIGHT;
950 }
951 }
952 if (auto res{AttemptSelection(wallet.chain(), value_to_select, it->second,
953 updated_selection_params, select_filter.allow_mixed_output_types)}) {
954 return res; // result found
955 } else {
956 // If any specific error message appears here, then something particularly wrong might have happened.
957 // Save the error and continue the selection process. So if no solutions gets found, we can return
958 // the detailed error to the upper layers.
959 if (HasErrorMsg(res)) res_detailed_errors.emplace_back(std::move(res));
960 }
961 }
962
963 // Return right away if we have a detailed error
964 if (!res_detailed_errors.empty()) return std::move(res_detailed_errors.front());
965
966
967 // General "Insufficient Funds"
968 return util::Error{};
969 }
970}
971
972static bool IsCurrentForAntiFeeSniping(interfaces::Chain& chain, const uint256& block_hash)
973{
974 if (chain.isInitialBlockDownload()) {
975 return false;
976 }
977 constexpr int64_t MAX_ANTI_FEE_SNIPING_TIP_AGE = 8 * 60 * 60; // in seconds
978 int64_t block_time;
979 CHECK_NONFATAL(chain.findBlock(block_hash, FoundBlock().time(block_time)));
980 if (block_time < (GetTime() - MAX_ANTI_FEE_SNIPING_TIP_AGE)) {
981 return false;
982 }
983 return true;
984}
985
987 interfaces::Chain& chain, const uint256& block_hash, int block_height)
988{
989 // All inputs must be added by now
990 assert(!tx.vin.empty());
991 // Discourage fee sniping.
992 //
993 // For a large miner the value of the transactions in the best block and
994 // the mempool can exceed the cost of deliberately attempting to mine two
995 // blocks to orphan the current best block. By setting nLockTime such that
996 // only the next block can include the transaction, we discourage this
997 // practice as the height restricted and limited blocksize gives miners
998 // considering fee sniping fewer options for pulling off this attack.
999 //
1000 // A simple way to think about this is from the wallet's point of view we
1001 // always want the blockchain to move forward. By setting nLockTime this
1002 // way we're basically making the statement that we only want this
1003 // transaction to appear in the next block; we don't want to potentially
1004 // encourage reorgs by allowing transactions to appear at lower heights
1005 // than the next block in forks of the best chain.
1006 //
1007 // Of course, the subsidy is high enough, and transaction volume low
1008 // enough, that fee sniping isn't a problem yet, but by implementing a fix
1009 // now we ensure code won't be written that makes assumptions about
1010 // nLockTime that preclude a fix later.
1011 if (IsCurrentForAntiFeeSniping(chain, block_hash)) {
1012 tx.nLockTime = block_height;
1013
1014 // Secondly occasionally randomly pick a nLockTime even further back, so
1015 // that transactions that are delayed after signing for whatever reason,
1016 // e.g. high-latency mix networks and some CoinJoin implementations, have
1017 // better privacy.
1018 if (rng_fast.randrange(10) == 0) {
1019 tx.nLockTime = std::max(0, int(tx.nLockTime) - int(rng_fast.randrange(100)));
1020 }
1021 } else {
1022 // If our chain is lagging behind, we can't discourage fee sniping nor help
1023 // the privacy of high-latency transactions. To avoid leaking a potentially
1024 // unique "nLockTime fingerprint", set nLockTime to a constant.
1025 tx.nLockTime = 0;
1026 }
1027 // Sanity check all values
1028 assert(tx.nLockTime < LOCKTIME_THRESHOLD); // Type must be block height
1029 assert(tx.nLockTime <= uint64_t(block_height));
1030 for (const auto& in : tx.vin) {
1031 // Can not be FINAL for locktime to work
1032 assert(in.nSequence != CTxIn::SEQUENCE_FINAL);
1033 // May be MAX NONFINAL to disable both BIP68 and BIP125
1034 if (in.nSequence == CTxIn::MAX_SEQUENCE_NONFINAL) continue;
1035 // May be MAX BIP125 to disable BIP68 and enable BIP125
1036 if (in.nSequence == MAX_BIP125_RBF_SEQUENCE) continue;
1037 // The wallet does not support any other sequence-use right now.
1038 assert(false);
1039 }
1040}
1041
1043{
1045}
1046
1047bool IsDust(const CRecipient& recipient, const CFeeRate& dustRelayFee)
1048{
1049 return ::IsDust(CTxOut(recipient.nAmount, GetScriptForDestination(recipient.dest)), dustRelayFee);
1050}
1051
1053 CWallet& wallet,
1054 const std::vector<CRecipient>& vecSend,
1055 std::optional<unsigned int> change_pos,
1056 const CCoinControl& coin_control,
1057 bool sign) EXCLUSIVE_LOCKS_REQUIRED(wallet.cs_wallet)
1058{
1059 AssertLockHeld(wallet.cs_wallet);
1060
1061 FastRandomContext rng_fast;
1062 CMutableTransaction txNew; // The resulting transaction that we make
1063
1064 txNew.version = coin_control.m_version;
1065
1066 CoinSelectionParams coin_selection_params{rng_fast}; // Parameters for coin selection, init with dummy
1067 coin_selection_params.m_avoid_partial_spends = coin_control.m_avoid_partial_spends;
1068 coin_selection_params.m_include_unsafe_inputs = coin_control.m_include_unsafe_inputs;
1069 coin_selection_params.m_max_tx_weight = coin_control.m_max_tx_weight.value_or(MAX_STANDARD_TX_WEIGHT);
1070 coin_selection_params.m_version = coin_control.m_version;
1071 int minimum_tx_weight = MIN_STANDARD_TX_NONWITNESS_SIZE * WITNESS_SCALE_FACTOR;
1072 if (coin_selection_params.m_max_tx_weight.value() < minimum_tx_weight || coin_selection_params.m_max_tx_weight.value() > MAX_STANDARD_TX_WEIGHT) {
1073 return util::Error{strprintf(_("Maximum transaction weight must be between %d and %d"), minimum_tx_weight, MAX_STANDARD_TX_WEIGHT)};
1074 }
1075 // Set the long term feerate estimate to the wallet's consolidate feerate
1076 coin_selection_params.m_long_term_feerate = wallet.m_consolidate_feerate;
1077 // Static vsize overhead + outputs vsize. 4 nVersion, 4 nLocktime, 1 input count, 1 witness overhead (dummy, flag, stack size)
1078 coin_selection_params.tx_noinputs_size = 10 + GetSizeOfCompactSize(vecSend.size()); // bytes for output count
1079
1080 CAmount recipients_sum = 0;
1081 const OutputType change_type = wallet.TransactionChangeType(coin_control.m_change_type ? *coin_control.m_change_type : wallet.m_default_change_type, vecSend);
1082 ReserveDestination reservedest(&wallet, change_type);
1083 unsigned int outputs_to_subtract_fee_from = 0; // The number of outputs which we are subtracting the fee from
1084 for (const auto& recipient : vecSend) {
1085 if (IsDust(recipient, wallet.chain().relayDustFee())) {
1086 return util::Error{_("Transaction amount too small")};
1087 }
1088
1089 // Include the fee cost for outputs.
1090 coin_selection_params.tx_noinputs_size += GetSerializeSizeForRecipient(recipient);
1091 recipients_sum += recipient.nAmount;
1092
1093 if (recipient.fSubtractFeeFromAmount) {
1094 outputs_to_subtract_fee_from++;
1095 coin_selection_params.m_subtract_fee_outputs = true;
1096 }
1097 }
1098
1099 // Create change script that will be used if we need change
1100 CScript scriptChange;
1101 bilingual_str error; // possible error str
1102
1103 // coin control: send change to custom address
1104 if (!std::get_if<CNoDestination>(&coin_control.destChange)) {
1105 scriptChange = GetScriptForDestination(coin_control.destChange);
1106 } else { // no coin control: send change to newly generated address
1107 // Note: We use a new key here to keep it from being obvious which side is the change.
1108 // The drawback is that by not reusing a previous key, the change may be lost if a
1109 // backup is restored, if the backup doesn't have the new private key for the change.
1110 // If we reused the old key, it would be possible to add code to look for and
1111 // rediscover unknown transactions that were written with keys of ours to recover
1112 // post-backup change.
1113
1114 // Reserve a new key pair from key pool. If it fails, provide a dummy
1115 // destination in case we don't need change.
1116 CTxDestination dest;
1117 auto op_dest = reservedest.GetReservedDestination(true);
1118 if (!op_dest) {
1119 error = _("Transaction needs a change address, but we can't generate it.") + Untranslated(" ") + util::ErrorString(op_dest);
1120 } else {
1121 dest = *op_dest;
1122 scriptChange = GetScriptForDestination(dest);
1123 }
1124 // A valid destination implies a change script (and
1125 // vice-versa). An empty change script will abort later, if the
1126 // change keypool ran out, but change is required.
1127 CHECK_NONFATAL(IsValidDestination(dest) != scriptChange.empty());
1128 }
1129 CTxOut change_prototype_txout(0, scriptChange);
1130 coin_selection_params.change_output_size = GetSerializeSize(change_prototype_txout);
1131
1132 // Get size of spending the change output
1133 int change_spend_size = CalculateMaximumSignedInputSize(change_prototype_txout, &wallet, /*coin_control=*/nullptr);
1134 // If the wallet doesn't know how to sign change output, assume p2sh-p2wpkh
1135 // as lower-bound to allow BnB to do its thing
1136 if (change_spend_size == -1) {
1137 coin_selection_params.change_spend_size = DUMMY_NESTED_P2WPKH_INPUT_SIZE;
1138 } else {
1139 coin_selection_params.change_spend_size = change_spend_size;
1140 }
1141
1142 // Set discard feerate
1143 coin_selection_params.m_discard_feerate = GetDiscardRate(wallet);
1144
1145 // Get the fee rate to use effective values in coin selection
1146 FeeCalculation feeCalc;
1147 coin_selection_params.m_effective_feerate = GetMinimumFeeRate(wallet, coin_control, &feeCalc);
1148 // Do not, ever, assume that it's fine to change the fee rate if the user has explicitly
1149 // provided one
1150 if (coin_control.m_feerate && coin_selection_params.m_effective_feerate > *coin_control.m_feerate) {
1151 return util::Error{strprintf(_("Fee rate (%s) is lower than the minimum fee rate setting (%s)"), coin_control.m_feerate->ToString(FeeEstimateMode::SAT_VB), coin_selection_params.m_effective_feerate.ToString(FeeEstimateMode::SAT_VB))};
1152 }
1153 if (feeCalc.reason == FeeReason::FALLBACK && !wallet.m_allow_fallback_fee) {
1154 // eventually allow a fallback fee
1155 return util::Error{strprintf(_("Fee estimation failed. Fallbackfee is disabled. Wait a few blocks or enable %s."), "-fallbackfee")};
1156 }
1157
1158 // Calculate the cost of change
1159 // Cost of change is the cost of creating the change output + cost of spending the change output in the future.
1160 // For creating the change output now, we use the effective feerate.
1161 // For spending the change output in the future, we use the discard feerate for now.
1162 // So cost of change = (change output size * effective feerate) + (size of spending change output * discard feerate)
1163 coin_selection_params.m_change_fee = coin_selection_params.m_effective_feerate.GetFee(coin_selection_params.change_output_size);
1164 coin_selection_params.m_cost_of_change = coin_selection_params.m_discard_feerate.GetFee(coin_selection_params.change_spend_size) + coin_selection_params.m_change_fee;
1165
1166 coin_selection_params.m_min_change_target = GenerateChangeTarget(std::floor(recipients_sum / vecSend.size()), coin_selection_params.m_change_fee, rng_fast);
1167
1168 // The smallest change amount should be:
1169 // 1. at least equal to dust threshold
1170 // 2. at least 1 sat greater than fees to spend it at m_discard_feerate
1171 const auto dust = GetDustThreshold(change_prototype_txout, coin_selection_params.m_discard_feerate);
1172 const auto change_spend_fee = coin_selection_params.m_discard_feerate.GetFee(coin_selection_params.change_spend_size);
1173 coin_selection_params.min_viable_change = std::max(change_spend_fee + 1, dust);
1174
1175 // Include the fees for things that aren't inputs, excluding the change output
1176 const CAmount not_input_fees = coin_selection_params.m_effective_feerate.GetFee(coin_selection_params.m_subtract_fee_outputs ? 0 : coin_selection_params.tx_noinputs_size);
1177 CAmount selection_target = recipients_sum + not_input_fees;
1178
1179 // This can only happen if feerate is 0, and requested destinations are value of 0 (e.g. OP_RETURN)
1180 // and no pre-selected inputs. This will result in 0-input transaction, which is consensus-invalid anyways
1181 if (selection_target == 0 && !coin_control.HasSelected()) {
1182 return util::Error{_("Transaction requires one destination of non-zero value, a non-zero feerate, or a pre-selected input")};
1183 }
1184
1185 // Fetch manually selected coins
1186 PreSelectedInputs preset_inputs;
1187 if (coin_control.HasSelected()) {
1188 auto res_fetch_inputs = FetchSelectedInputs(wallet, coin_control, coin_selection_params);
1189 if (!res_fetch_inputs) return util::Error{util::ErrorString(res_fetch_inputs)};
1190 preset_inputs = *res_fetch_inputs;
1191 }
1192
1193 // Fetch wallet available coins if "other inputs" are
1194 // allowed (coins automatically selected by the wallet)
1195 CoinsResult available_coins;
1196 if (coin_control.m_allow_other_inputs) {
1197 available_coins = AvailableCoins(wallet, &coin_control, coin_selection_params.m_effective_feerate);
1198 }
1199
1200 // Choose coins to use
1201 auto select_coins_res = SelectCoins(wallet, available_coins, preset_inputs, /*nTargetValue=*/selection_target, coin_control, coin_selection_params);
1202 if (!select_coins_res) {
1203 // 'SelectCoins' either returns a specific error message or, if empty, means a general "Insufficient funds".
1204 const bilingual_str& err = util::ErrorString(select_coins_res);
1205 return util::Error{err.empty() ?_("Insufficient funds") : err};
1206 }
1207 const SelectionResult& result = *select_coins_res;
1208 TRACEPOINT(coin_selection, selected_coins,
1209 wallet.GetName().c_str(),
1210 GetAlgorithmName(result.GetAlgo()).c_str(),
1211 result.GetTarget(),
1212 result.GetWaste(),
1213 result.GetSelectedValue());
1214
1215 // vouts to the payees
1216 txNew.vout.reserve(vecSend.size() + 1); // + 1 because of possible later insert
1217 for (const auto& recipient : vecSend)
1218 {
1219 txNew.vout.emplace_back(recipient.nAmount, GetScriptForDestination(recipient.dest));
1220 }
1221 const CAmount change_amount = result.GetChange(coin_selection_params.min_viable_change, coin_selection_params.m_change_fee);
1222 if (change_amount > 0) {
1223 CTxOut newTxOut(change_amount, scriptChange);
1224 if (!change_pos) {
1225 // Insert change txn at random position:
1226 change_pos = rng_fast.randrange(txNew.vout.size() + 1);
1227 } else if ((unsigned int)*change_pos > txNew.vout.size()) {
1228 return util::Error{_("Transaction change output index out of range")};
1229 }
1230 txNew.vout.insert(txNew.vout.begin() + *change_pos, newTxOut);
1231 } else {
1232 change_pos = std::nullopt;
1233 }
1234
1235 // Shuffle selected coins and fill in final vin
1236 std::vector<std::shared_ptr<COutput>> selected_coins = result.GetShuffledInputVector();
1237
1238 if (coin_control.HasSelected() && coin_control.HasSelectedOrder()) {
1239 // When there are preselected inputs, we need to move them to be the first UTXOs
1240 // and have them be in the order selected. We can use stable_sort for this, where we
1241 // compare with the positions stored in coin_control. The COutputs that have positions
1242 // will be placed before those that don't, and those positions will be in order.
1243 std::stable_sort(selected_coins.begin(), selected_coins.end(),
1244 [&coin_control](const std::shared_ptr<COutput>& a, const std::shared_ptr<COutput>& b) {
1245 auto a_pos = coin_control.GetSelectionPos(a->outpoint);
1246 auto b_pos = coin_control.GetSelectionPos(b->outpoint);
1247 if (a_pos.has_value() && b_pos.has_value()) {
1248 return a_pos.value() < b_pos.value();
1249 } else if (a_pos.has_value() && !b_pos.has_value()) {
1250 return true;
1251 } else {
1252 return false;
1253 }
1254 });
1255 }
1256
1257 // The sequence number is set to non-maxint so that DiscourageFeeSniping
1258 // works.
1259 //
1260 // BIP125 defines opt-in RBF as any nSequence < maxint-1, so
1261 // we use the highest possible value in that range (maxint-2)
1262 // to avoid conflicting with other possible uses of nSequence,
1263 // and in the spirit of "smallest possible change from prior
1264 // behavior."
1265 bool use_anti_fee_sniping = true;
1266 const uint32_t default_sequence{coin_control.m_signal_bip125_rbf.value_or(wallet.m_signal_rbf) ? MAX_BIP125_RBF_SEQUENCE : CTxIn::MAX_SEQUENCE_NONFINAL};
1267 txNew.vin.reserve(selected_coins.size());
1268 for (const auto& coin : selected_coins) {
1269 std::optional<uint32_t> sequence = coin_control.GetSequence(coin->outpoint);
1270 if (sequence) {
1271 // If an input has a preset sequence, we can't do anti-fee-sniping
1272 use_anti_fee_sniping = false;
1273 }
1274 txNew.vin.emplace_back(coin->outpoint, CScript{}, sequence.value_or(default_sequence));
1275
1276 auto scripts = coin_control.GetScripts(coin->outpoint);
1277 if (scripts.first) {
1278 txNew.vin.back().scriptSig = *scripts.first;
1279 }
1280 if (scripts.second) {
1281 txNew.vin.back().scriptWitness = *scripts.second;
1282 }
1283 }
1284 if (coin_control.m_locktime) {
1285 txNew.nLockTime = coin_control.m_locktime.value();
1286 // If we have a locktime set, we can't use anti-fee-sniping
1287 use_anti_fee_sniping = false;
1288 }
1289 if (use_anti_fee_sniping) {
1290 DiscourageFeeSniping(txNew, rng_fast, wallet.chain(), wallet.GetLastBlockHash(), wallet.GetLastBlockHeight());
1291 }
1292
1293 // Calculate the transaction fee
1294 TxSize tx_sizes = CalculateMaximumSignedTxSize(CTransaction(txNew), &wallet, &coin_control);
1295 int nBytes = tx_sizes.vsize;
1296 if (nBytes == -1) {
1297 return util::Error{_("Missing solving data for estimating transaction size")};
1298 }
1299 CAmount fee_needed = coin_selection_params.m_effective_feerate.GetFee(nBytes) + result.GetTotalBumpFees();
1300 const CAmount output_value = CalculateOutputValue(txNew);
1301 Assume(recipients_sum + change_amount == output_value);
1302 CAmount current_fee = result.GetSelectedValue() - output_value;
1303
1304 // Sanity check that the fee cannot be negative as that means we have more output value than input value
1305 if (current_fee < 0) {
1306 return util::Error{Untranslated(STR_INTERNAL_BUG("Fee paid < 0"))};
1307 }
1308
1309 // If there is a change output and we overpay the fees then increase the change to match the fee needed
1310 if (change_pos && fee_needed < current_fee) {
1311 auto& change = txNew.vout.at(*change_pos);
1312 change.nValue += current_fee - fee_needed;
1313 current_fee = result.GetSelectedValue() - CalculateOutputValue(txNew);
1314 if (fee_needed != current_fee) {
1315 return util::Error{Untranslated(STR_INTERNAL_BUG("Change adjustment: Fee needed != fee paid"))};
1316 }
1317 }
1318
1319 // Reduce output values for subtractFeeFromAmount
1320 if (coin_selection_params.m_subtract_fee_outputs) {
1321 CAmount to_reduce = fee_needed - current_fee;
1322 unsigned int i = 0;
1323 bool fFirst = true;
1324 for (const auto& recipient : vecSend)
1325 {
1326 if (change_pos && i == *change_pos) {
1327 ++i;
1328 }
1329 CTxOut& txout = txNew.vout[i];
1330
1331 if (recipient.fSubtractFeeFromAmount)
1332 {
1333 txout.nValue -= to_reduce / outputs_to_subtract_fee_from; // Subtract fee equally from each selected recipient
1334
1335 if (fFirst) // first receiver pays the remainder not divisible by output count
1336 {
1337 fFirst = false;
1338 txout.nValue -= to_reduce % outputs_to_subtract_fee_from;
1339 }
1340
1341 // Error if this output is reduced to be below dust
1342 if (IsDust(txout, wallet.chain().relayDustFee())) {
1343 if (txout.nValue < 0) {
1344 return util::Error{_("The transaction amount is too small to pay the fee")};
1345 } else {
1346 return util::Error{_("The transaction amount is too small to send after the fee has been deducted")};
1347 }
1348 }
1349 }
1350 ++i;
1351 }
1352 current_fee = result.GetSelectedValue() - CalculateOutputValue(txNew);
1353 if (fee_needed != current_fee) {
1354 return util::Error{Untranslated(STR_INTERNAL_BUG("SFFO: Fee needed != fee paid"))};
1355 }
1356 }
1357
1358 // fee_needed should now always be less than or equal to the current fees that we pay.
1359 // If it is not, it is a bug.
1360 if (fee_needed > current_fee) {
1361 return util::Error{Untranslated(STR_INTERNAL_BUG("Fee needed > fee paid"))};
1362 }
1363
1364 // Give up if change keypool ran out and change is required
1365 if (scriptChange.empty() && change_pos) {
1366 return util::Error{error};
1367 }
1368
1369 if (sign && !wallet.SignTransaction(txNew)) {
1370 return util::Error{_("Signing transaction failed")};
1371 }
1372
1373 // Return the constructed transaction data.
1374 CTransactionRef tx = MakeTransactionRef(std::move(txNew));
1375
1376 // Limit size
1378 (!sign && tx_sizes.weight > MAX_STANDARD_TX_WEIGHT))
1379 {
1380 return util::Error{_("Transaction too large")};
1381 }
1382
1383 if (current_fee > wallet.m_default_max_tx_fee) {
1384 return util::Error{TransactionErrorString(TransactionError::MAX_FEE_EXCEEDED)};
1385 }
1386
1387 if (gArgs.GetBoolArg("-walletrejectlongchains", DEFAULT_WALLET_REJECT_LONG_CHAINS)) {
1388 // Lastly, ensure this tx will pass the mempool's chain limits
1389 auto result = wallet.chain().checkChainLimits(tx);
1390 if (!result) {
1391 return util::Error{util::ErrorString(result)};
1392 }
1393 }
1394
1395 // Before we return success, we assume any change key will be used to prevent
1396 // accidental reuse.
1397 reservedest.KeepDestination();
1398
1399 wallet.WalletLogPrintf("Coin Selection: Algorithm:%s, Waste Metric Score:%d\n", GetAlgorithmName(result.GetAlgo()), result.GetWaste());
1400 wallet.WalletLogPrintf("Fee Calculation: Fee:%d Bytes:%u Tgt:%d (requested %d) Reason:\"%s\" Decay %.5f: Estimation: (%g - %g) %.2f%% %.1f/(%.1f %d mem %.1f out) Fail: (%g - %g) %.2f%% %.1f/(%.1f %d mem %.1f out)\n",
1401 current_fee, nBytes, feeCalc.returnedTarget, feeCalc.desiredTarget, StringForFeeReason(feeCalc.reason), feeCalc.est.decay,
1402 feeCalc.est.pass.start, feeCalc.est.pass.end,
1403 (feeCalc.est.pass.totalConfirmed + feeCalc.est.pass.inMempool + feeCalc.est.pass.leftMempool) > 0.0 ? 100 * feeCalc.est.pass.withinTarget / (feeCalc.est.pass.totalConfirmed + feeCalc.est.pass.inMempool + feeCalc.est.pass.leftMempool) : 0.0,
1404 feeCalc.est.pass.withinTarget, feeCalc.est.pass.totalConfirmed, feeCalc.est.pass.inMempool, feeCalc.est.pass.leftMempool,
1405 feeCalc.est.fail.start, feeCalc.est.fail.end,
1406 (feeCalc.est.fail.totalConfirmed + feeCalc.est.fail.inMempool + feeCalc.est.fail.leftMempool) > 0.0 ? 100 * feeCalc.est.fail.withinTarget / (feeCalc.est.fail.totalConfirmed + feeCalc.est.fail.inMempool + feeCalc.est.fail.leftMempool) : 0.0,
1407 feeCalc.est.fail.withinTarget, feeCalc.est.fail.totalConfirmed, feeCalc.est.fail.inMempool, feeCalc.est.fail.leftMempool);
1408 return CreatedTransactionResult(tx, current_fee, change_pos, feeCalc);
1409}
1410
1412 CWallet& wallet,
1413 const std::vector<CRecipient>& vecSend,
1414 std::optional<unsigned int> change_pos,
1415 const CCoinControl& coin_control,
1416 bool sign)
1417{
1418 if (vecSend.empty()) {
1419 return util::Error{_("Transaction must have at least one recipient")};
1420 }
1421
1422 if (std::any_of(vecSend.cbegin(), vecSend.cend(), [](const auto& recipient){ return recipient.nAmount < 0; })) {
1423 return util::Error{_("Transaction amounts must not be negative")};
1424 }
1425
1426 LOCK(wallet.cs_wallet);
1427
1428 auto res = CreateTransactionInternal(wallet, vecSend, change_pos, coin_control, sign);
1429 TRACEPOINT(coin_selection, normal_create_tx_internal,
1430 wallet.GetName().c_str(),
1431 bool(res),
1432 res ? res->fee : 0,
1433 res && res->change_pos.has_value() ? int32_t(*res->change_pos) : -1);
1434 if (!res) return res;
1435 const auto& txr_ungrouped = *res;
1436 // try with avoidpartialspends unless it's enabled already
1437 if (txr_ungrouped.fee > 0 /* 0 means non-functional fee rate estimation */ && wallet.m_max_aps_fee > -1 && !coin_control.m_avoid_partial_spends) {
1438 TRACEPOINT(coin_selection, attempting_aps_create_tx, wallet.GetName().c_str());
1439 CCoinControl tmp_cc = coin_control;
1440 tmp_cc.m_avoid_partial_spends = true;
1441
1442 // Reuse the change destination from the first creation attempt to avoid skipping BIP44 indexes
1443 if (txr_ungrouped.change_pos) {
1444 ExtractDestination(txr_ungrouped.tx->vout[*txr_ungrouped.change_pos].scriptPubKey, tmp_cc.destChange);
1445 }
1446
1447 auto txr_grouped = CreateTransactionInternal(wallet, vecSend, change_pos, tmp_cc, sign);
1448 // if fee of this alternative one is within the range of the max fee, we use this one
1449 const bool use_aps{txr_grouped.has_value() ? (txr_grouped->fee <= txr_ungrouped.fee + wallet.m_max_aps_fee) : false};
1450 TRACEPOINT(coin_selection, aps_create_tx_internal,
1451 wallet.GetName().c_str(),
1452 use_aps,
1453 txr_grouped.has_value(),
1454 txr_grouped.has_value() ? txr_grouped->fee : 0,
1455 txr_grouped.has_value() && txr_grouped->change_pos.has_value() ? int32_t(*txr_grouped->change_pos) : -1);
1456 if (txr_grouped) {
1457 wallet.WalletLogPrintf("Fee non-grouped = %lld, grouped = %lld, using %s\n",
1458 txr_ungrouped.fee, txr_grouped->fee, use_aps ? "grouped" : "non-grouped");
1459 if (use_aps) return txr_grouped;
1460 }
1461 }
1462 return res;
1463}
1464
1465util::Result<CreatedTransactionResult> FundTransaction(CWallet& wallet, const CMutableTransaction& tx, const std::vector<CRecipient>& vecSend, std::optional<unsigned int> change_pos, bool lockUnspents, CCoinControl coinControl)
1466{
1467 // We want to make sure tx.vout is not used now that we are passing outputs as a vector of recipients.
1468 // This sets us up to remove tx completely in a future PR in favor of passing the inputs directly.
1469 assert(tx.vout.empty());
1470
1471 // Set the user desired locktime
1472 coinControl.m_locktime = tx.nLockTime;
1473
1474 // Set the user desired version
1475 coinControl.m_version = tx.version;
1476
1477 // Acquire the locks to prevent races to the new locked unspents between the
1478 // CreateTransaction call and LockCoin calls (when lockUnspents is true).
1479 LOCK(wallet.cs_wallet);
1480
1481 // Fetch specified UTXOs from the UTXO set to get the scriptPubKeys and values of the outputs being selected
1482 // and to match with the given solving_data. Only used for non-wallet outputs.
1483 std::map<COutPoint, Coin> coins;
1484 for (const CTxIn& txin : tx.vin) {
1485 coins[txin.prevout]; // Create empty map entry keyed by prevout.
1486 }
1487 wallet.chain().findCoins(coins);
1488
1489 for (const CTxIn& txin : tx.vin) {
1490 const auto& outPoint = txin.prevout;
1491 PreselectedInput& preset_txin = coinControl.Select(outPoint);
1492 if (!wallet.IsMine(outPoint)) {
1493 if (coins[outPoint].out.IsNull()) {
1494 return util::Error{_("Unable to find UTXO for external input")};
1495 }
1496
1497 // The input was not in the wallet, but is in the UTXO set, so select as external
1498 preset_txin.SetTxOut(coins[outPoint].out);
1499 }
1500 preset_txin.SetSequence(txin.nSequence);
1501 preset_txin.SetScriptSig(txin.scriptSig);
1502 preset_txin.SetScriptWitness(txin.scriptWitness);
1503 }
1504
1505 auto res = CreateTransaction(wallet, vecSend, change_pos, coinControl, false);
1506 if (!res) {
1507 return res;
1508 }
1509
1510 if (lockUnspents) {
1511 for (const CTxIn& txin : res->tx->vin) {
1512 wallet.LockCoin(txin.prevout, /*persist=*/false);
1513 }
1514 }
1515
1516 return res;
1517}
1518} // namespace wallet
bool ExtractDestination(const CScript &scriptPubKey, CTxDestination &addressRet)
Parse a scriptPubKey for the destination.
Definition: addresstype.cpp:49
bool IsValidDestination(const CTxDestination &dest)
Check whether a CTxDestination corresponds to one with an address.
CScript GetScriptForDestination(const CTxDestination &dest)
Generate a Bitcoin scriptPubKey for the given CTxDestination.
std::variant< CNoDestination, PubKeyDestination, PKHash, ScriptHash, WitnessV0ScriptHash, WitnessV0KeyHash, WitnessV1Taproot, PayToAnchor, WitnessUnknown > CTxDestination
A txout script categorized into standard templates.
Definition: addresstype.h:143
static constexpr CAmount MAX_MONEY
No amount larger than this (in satoshi) is valid.
Definition: amount.h:26
int64_t CAmount
Amount in satoshis (Can be negative)
Definition: amount.h:12
ArgsManager gArgs
Definition: args.cpp:40
if(!SetupNetworking())
#define CHECK_NONFATAL(condition)
Identity function.
Definition: check.h:109
#define Assert(val)
Identity function.
Definition: check.h:113
#define STR_INTERNAL_BUG(msg)
Definition: check.h:96
#define Assume(val)
Assume is the identity function.
Definition: check.h:125
bool GetBoolArg(const std::string &strArg, bool fDefault) const
Return boolean argument or default value.
Definition: args.cpp:511
Fee rate in satoshis per virtualbyte: CAmount / vB the feerate is represented internally as FeeFrac.
Definition: feerate.h:35
An outpoint - a combination of a transaction hash and an index n into its vout.
Definition: transaction.h:29
uint32_t n
Definition: transaction.h:32
Txid hash
Definition: transaction.h:31
Serialized script, used inside transaction inputs and outputs.
Definition: script.h:413
A reference to a CScript: the Hash160 of its serialization.
Definition: script.h:602
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:296
const std::vector< CTxOut > vout
Definition: transaction.h:307
const std::vector< CTxIn > vin
Definition: transaction.h:306
An input of a transaction.
Definition: transaction.h:67
static const uint32_t MAX_SEQUENCE_NONFINAL
This is the maximum sequence number that enables both nLockTime and OP_CHECKLOCKTIMEVERIFY (BIP 65).
Definition: transaction.h:87
uint32_t nSequence
Definition: transaction.h:71
static const uint32_t SEQUENCE_FINAL
Setting nSequence to this value for every input in a transaction disables nLockTime/IsFinalTx().
Definition: transaction.h:81
CScript scriptSig
Definition: transaction.h:70
CScriptWitness scriptWitness
Only serialized through CTransaction.
Definition: transaction.h:72
COutPoint prevout
Definition: transaction.h:69
An output of a transaction.
Definition: transaction.h:150
CScript scriptPubKey
Definition: transaction.h:153
CAmount nValue
Definition: transaction.h:152
Fast randomness source.
Definition: random.h:386
A signing provider to be used to interface with multiple signing providers at once.
void AddProvider(std::unique_ptr< SigningProvider > provider)
I randrange(I range) noexcept
Generate a random integer in the range [0..range), with range > 0.
Definition: random.h:254
An interface to be implemented by keystores that support signing.
Interface giving clients (wallet processes, maybe other analysis tools in the future) ability to acce...
Definition: chain.h:131
virtual bool isInitialBlockDownload()=0
Check if in IBD.
virtual std::optional< CAmount > calculateCombinedBumpFee(const std::vector< COutPoint > &outpoints, const CFeeRate &target_feerate)=0
Calculate the combined bump fee for an input set per the same strategy.
virtual bool findBlock(const uint256 &hash, const FoundBlock &block={})=0
Return whether node has the block and optionally return block metadata or contents.
Helper for findBlock to selectively return pieces of block data.
Definition: chain.h:50
bool empty() const
Definition: prevector.h:259
160-bit opaque blob.
Definition: uint256.h:184
256-bit opaque blob.
Definition: uint256.h:196
Coin Control Features.
Definition: coincontrol.h:83
bool IsSelected(const COutPoint &outpoint) const
Returns true if the given output is pre-selected.
Definition: coincontrol.cpp:20
std::optional< CTxOut > GetExternalOutput(const COutPoint &outpoint) const
Returns the external output for the given outpoint if it exists.
Definition: coincontrol.cpp:31
bool m_avoid_address_reuse
Forbids inclusion of dirty (previously used) addresses.
Definition: coincontrol.h:105
std::optional< int64_t > GetInputWeight(const COutPoint &outpoint) const
Returns the input weight.
Definition: coincontrol.cpp:72
PreselectedInput & Select(const COutPoint &outpoint)
Lock-in the given output for spending.
Definition: coincontrol.cpp:40
bool HasSelected() const
Returns true if there are pre-selected inputs.
Definition: coincontrol.cpp:15
bool IsExternalSelected(const COutPoint &outpoint) const
Returns true if the given output is selected as an external input.
Definition: coincontrol.cpp:25
int m_min_depth
Minimum chain depth value for coin availability.
Definition: coincontrol.h:109
bool m_allow_other_inputs
If true, the selection process can add extra unselected inputs from the wallet while requires all sel...
Definition: coincontrol.h:93
int m_max_depth
Maximum chain depth value for coin availability.
Definition: coincontrol.h:111
bool m_include_unsafe_inputs
If false, only safe inputs will be used.
Definition: coincontrol.h:90
bool m_avoid_partial_spends
Avoid partial use of funds sent to a given address.
Definition: coincontrol.h:103
uint32_t m_version
Version.
Definition: coincontrol.h:115
FlatSigningProvider m_external_provider
SigningProvider that has pubkeys and scripts to do spend size estimation for external inputs.
Definition: coincontrol.h:113
CTxDestination destChange
Custom change destination, if not set an address is generated.
Definition: coincontrol.h:86
std::vector< COutPoint > ListSelected() const
List the selected inputs.
Definition: coincontrol.cpp:57
std::optional< uint32_t > m_locktime
Locktime.
Definition: coincontrol.h:117
A CWallet maintains a set of transactions and balances, and provides the ability to create new transa...
Definition: wallet.h:312
A transaction with a bunch of additional info that only the owner cares about.
Definition: transaction.h:195
mapValue_t mapValue
Key/value map with information about the transaction.
Definition: transaction.h:222
CTransactionRef tx
Definition: transaction.h:269
bool InMempool() const
Definition: transaction.cpp:27
std::optional< Txid > truc_child_in_mempool
Definition: transaction.h:282
int64_t GetTxTime() const
Definition: transaction.cpp:32
void SetScriptSig(const CScript &script)
Set the scriptSig for this input.
void SetSequence(uint32_t sequence)
Set the sequence for this input.
void SetScriptWitness(const CScriptWitness &script_wit)
Set the scriptWitness for this input.
void SetTxOut(const CTxOut &txout)
Set the previous output for this input.
Definition: coincontrol.cpp:90
A wrapper to reserve an address from a wallet.
Definition: wallet.h:200
util::Result< CTxDestination > GetReservedDestination(bool internal)
Reserve an address.
Definition: wallet.cpp:2584
static int32_t GetTransactionWeight(const CTransaction &tx)
Definition: validation.h:132
static const int WITNESS_SCALE_FACTOR
Definition: consensus.h:21
@ SAT_VB
Use sat/vB fee rate unit.
uint64_t sequence
is a home for simple string functions returning descriptive messages that are used in RPC and GUI int...
static int sign(const secp256k1_context *ctx, struct signer_secrets *signer_secrets, struct signer *signer, const secp256k1_musig_keyagg_cache *cache, const unsigned char *msg32, unsigned char *sig64)
Definition: musig.c:106
bilingual_str TransactionErrorString(const TransactionError err)
Definition: messages.cpp:129
std::string StringForFeeReason(FeeReason reason)
Definition: messages.cpp:27
TransactionError
Definition: types.h:25
bilingual_str ErrorString(const Result< T > &result)
Definition: result.h:93
static constexpr size_t DUMMY_NESTED_P2WPKH_INPUT_SIZE
Pre-calculated constants for input size estimation in virtual size
Definition: wallet.h:145
const CTxOut & FindNonChangeParentOutput(const CWallet &wallet, const COutPoint &outpoint)
Find non-change parent output.
Definition: spend.cpp:529
bool OutputIsChange(const CWallet &wallet, const CTxOut &txout)
Definition: receive.cpp:74
util::Result< SelectionResult > AutomaticCoinSelection(const CWallet &wallet, CoinsResult &available_coins, const CAmount &value_to_select, const CoinSelectionParams &coin_selection_params)
Select a set of coins such that nTargetValue is met; never select unconfirmed coins if they are not o...
Definition: spend.cpp:867
util::Result< CreatedTransactionResult > FundTransaction(CWallet &wallet, const CMutableTransaction &tx, const std::vector< CRecipient > &vecSend, std::optional< unsigned int > change_pos, bool lockUnspents, CCoinControl coinControl)
Insert additional inputs into the transaction by calling CreateTransaction();.
Definition: spend.cpp:1465
util::Result< CreatedTransactionResult > CreateTransaction(CWallet &wallet, const std::vector< CRecipient > &vecSend, std::optional< unsigned int > change_pos, const CCoinControl &coin_control, bool sign)
Create a new transaction paying the recipients with a set of coins selected by SelectCoins(); Also cr...
Definition: spend.cpp:1411
bool CachedTxIsFromMe(const CWallet &wallet, const CWalletTx &wtx)
Definition: receive.cpp:196
const int DEFAULT_MIN_DEPTH
Definition: coincontrol.h:21
bool CachedTxIsTrusted(const CWallet &wallet, const CWalletTx &wtx, std::set< Txid > &trusted_parents)
Definition: receive.cpp:205
util::Result< SelectionResult > SelectCoinsBnB(std::vector< OutputGroup > &utxo_pool, const CAmount &selection_target, const CAmount &cost_of_change, int max_selection_weight)
CAmount GenerateChangeTarget(const CAmount payment_value, const CAmount change_fee, FastRandomContext &rng)
Choose a random change target for each transaction to make it harder to fingerprint the Core wallet b...
static std::unique_ptr< Descriptor > GetDescriptor(const CWallet *wallet, const CCoinControl *coin_control, const CScript script_pubkey)
Infer a descriptor for the given output script.
Definition: spend.cpp:112
static bool UseMaxSig(const std::optional< CTxIn > &txin, const CCoinControl *coin_control)
Whether to assume ECDSA signatures' will be high-r.
Definition: spend.cpp:55
static std::optional< int64_t > GetSignedTxinWeight(const CWallet *wallet, const CCoinControl *coin_control, const CTxIn &txin, const CTxOut &txo, const bool tx_is_segwit, const bool can_grind_r)
Infer the maximum size of this input after it will be signed.
Definition: spend.cpp:126
util::Result< SelectionResult > CoinGrinder(std::vector< OutputGroup > &utxo_pool, const CAmount &selection_target, CAmount change_target, int max_selection_weight)
util::Result< PreSelectedInputs > FetchSelectedInputs(const CWallet &wallet, const CCoinControl &coin_control, const CoinSelectionParams &coin_selection_params)
Fetch and validate coin control selected inputs.
Definition: spend.cpp:269
bool IsDust(const CRecipient &recipient, const CFeeRate &dustRelayFee)
Definition: spend.cpp:1047
static OutputType GetOutputType(TxoutType type, bool is_from_p2sh)
Definition: spend.cpp:250
static bool IsSegwit(const Descriptor &desc)
Whether the descriptor represents, directly or not, a witness program.
Definition: spend.cpp:49
const int DEFAULT_MAX_DEPTH
Definition: coincontrol.h:22
util::Result< SelectionResult > AttemptSelection(interfaces::Chain &chain, const CAmount &nTargetValue, OutputGroupTypeMap &groups, const CoinSelectionParams &coin_selection_params, bool allow_mixed_output_types)
Attempt to find a valid input set that preserves privacy by not mixing OutputTypes.
Definition: spend.cpp:703
util::Result< SelectionResult > ChooseSelectionResult(interfaces::Chain &chain, const CAmount &nTargetValue, Groups &groups, const CoinSelectionParams &coin_selection_params)
Attempt to find a valid input set that meets the provided eligibility filter and target.
Definition: spend.cpp:730
util::Result< SelectionResult > KnapsackSolver(std::vector< OutputGroup > &groups, const CAmount &nTargetValue, CAmount change_target, FastRandomContext &rng, int max_selection_weight)
util::Result< SelectionResult > SelectCoins(const CWallet &wallet, CoinsResult &available_coins, const PreSelectedInputs &pre_set_inputs, const CAmount &nTargetValue, const CCoinControl &coin_control, const CoinSelectionParams &coin_selection_params)
Select all coins from coin_control, and if coin_control 'm_allow_other_inputs=true',...
Definition: spend.cpp:815
CFeeRate GetMinimumFeeRate(const CWallet &wallet, const CCoinControl &coin_control, FeeCalculation *feeCalc)
Estimate the minimum fee rate considering user set parameters and the required fee.
Definition: fees.cpp:29
std::map< CTxDestination, std::vector< COutput > > ListCoins(const CWallet &wallet)
Return list of available coins and locked coins grouped by non-change output address.
Definition: spend.cpp:549
int CalculateMaximumSignedInputSize(const CTxOut &txout, const CWallet *wallet, const CCoinControl *coin_control)
Get the marginal bytes if spending the specified output from this transaction.
Definition: spend.cpp:105
std::string GetAlgorithmName(const SelectionAlgorithm algo)
void DiscourageFeeSniping(CMutableTransaction &tx, FastRandomContext &rng_fast, interfaces::Chain &chain, const uint256 &block_hash, int block_height)
Set a height-based locktime for new transactions (uses the height of the current chain tip unless we ...
Definition: spend.cpp:986
TxSize CalculateMaximumSignedTxSize(const CTransaction &tx, const CWallet *wallet, const CCoinControl *coin_control)
Definition: spend.cpp:173
static bool HasErrorMsg(const util::Result< SelectionResult > &res)
Definition: spend.cpp:701
CFeeRate GetDiscardRate(const CWallet &wallet)
Return the maximum feerate for discarding change.
Definition: fees.cpp:84
std::map< CoinEligibilityFilter, OutputGroupTypeMap > FilteredOutputGroups
TxSize CalculateMaximumSignedTxSize(const CTransaction &tx, const CWallet *wallet, const std::vector< CTxOut > &txouts, const CCoinControl *coin_control)
Calculate the size of the transaction using CoinControl to determine whether to expect signature grin...
Definition: spend.cpp:144
static util::Result< CreatedTransactionResult > CreateTransactionInternal(CWallet &wallet, const std::vector< CRecipient > &vecSend, std::optional< unsigned int > change_pos, const CCoinControl &coin_control, bool sign) EXCLUSIVE_LOCKS_REQUIRED(wallet.cs_wallet)
Definition: spend.cpp:1052
@ WALLET_FLAG_AVOID_REUSE
Definition: walletutil.h:21
static bool IsCurrentForAntiFeeSniping(interfaces::Chain &chain, const uint256 &block_hash)
Definition: spend.cpp:972
FilteredOutputGroups GroupOutputs(const CWallet &wallet, const CoinsResult &coins, const CoinSelectionParams &params, const std::vector< SelectionFilter > &filters)
Group coins by the provided filters.
Definition: spend.cpp:691
static constexpr size_t OUTPUT_GROUP_MAX_ENTRIES
Definition: spend.cpp:46
int CalculateMaximumSignedInputSize(const CTxOut &txout, const COutPoint outpoint, const SigningProvider *provider, bool can_grind_r, const CCoinControl *coin_control)
Definition: spend.cpp:92
static std::optional< int64_t > MaxInputWeight(const Descriptor &desc, const std::optional< CTxIn > &txin, const CCoinControl *coin_control, const bool tx_is_segwit, const bool can_grind_r)
Get the size of an input (in witness units) once it's signed.
Definition: spend.cpp:69
static const bool DEFAULT_WALLET_REJECT_LONG_CHAINS
Default for -walletrejectlongchains.
Definition: wallet.h:130
util::Result< SelectionResult > SelectCoinsSRD(const std::vector< OutputGroup > &utxo_pool, CAmount target_value, CAmount change_fee, FastRandomContext &rng, int max_selection_weight)
Select coins by Single Random Draw.
uint64_t GetSerializeSizeForRecipient(const CRecipient &recipient)
Definition: spend.cpp:1042
is a home for public enum and struct type definitions that are used internally by node code,...
OutputType
Definition: outputtype.h:18
CAmount GetDustThreshold(const CTxOut &txout, const CFeeRate &dustRelayFeeIn)
Definition: policy.cpp:26
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:381
static constexpr unsigned int MIN_STANDARD_TX_NONWITNESS_SIZE
The minimum non-witness size for transactions we're willing to relay/mine: one larger than 64
Definition: policy.h:37
static constexpr int32_t MAX_STANDARD_TX_WEIGHT
The maximum weight for transactions we're willing to relay/mine.
Definition: policy.h:35
CAmount CalculateOutputValue(const TxType &tx)
Definition: transaction.h:286
static CTransactionRef MakeTransactionRef(Tx &&txIn)
Definition: transaction.h:424
std::shared_ptr< const CTransaction > CTransactionRef
Definition: transaction.h:423
std::unique_ptr< Descriptor > InferDescriptor(const CScript &script, const SigningProvider &provider)
Find a descriptor for the specified script, using information from provider where possible.
static const unsigned int LOCKTIME_THRESHOLD
Definition: script.h:47
constexpr unsigned int GetSizeOfCompactSize(uint64_t nSize)
Compact Size size < 253 – 1 byte size <= USHRT_MAX – 3 bytes (253 + 2 bytes) size <= UINT_MAX – 5 byt...
Definition: serialize.h:288
uint64_t GetSerializeSize(const T &t)
Definition: serialize.h:1095
TxoutType Solver(const CScript &scriptPubKey, std::vector< std::vector< unsigned char > > &vSolutionsRet)
Parse a scriptPubKey and identify script type for standard scripts.
Definition: solver.cpp:141
TxoutType
Definition: solver.h:22
@ WITNESS_V1_TAPROOT
@ WITNESS_V0_SCRIPTHASH
@ WITNESS_V0_KEYHASH
TRACEPOINT_SEMAPHORE(coin_selection, selected_coins)
A mutable version of CTransaction.
Definition: transaction.h:378
std::vector< CTxOut > vout
Definition: transaction.h:380
std::vector< CTxIn > vin
Definition: transaction.h:379
Interface for parsed descriptor objects.
Definition: descriptor.h:98
virtual std::optional< int64_t > MaxSatisfactionElems() const =0
Get the maximum size number of stack elements for satisfying this descriptor.
virtual std::optional< int64_t > MaxSatisfactionWeight(bool use_max_sig) const =0
Get the maximum size of a satisfaction for this descriptor, in weight units.
virtual std::optional< OutputType > GetOutputType() const =0
Bilingual messages:
Definition: translation.h:24
bool empty() const
Definition: translation.h:35
A UTXO under consideration for use in funding a new transaction.
Definition: coinselection.h:28
COutPoint outpoint
The outpoint identifying this UTXO.
Definition: coinselection.h:38
void ApplyBumpFee(CAmount bump_fee)
CAmount nAmount
Definition: wallet.h:303
CTxDestination dest
Definition: wallet.h:302
Parameters for filtering which OutputGroups we may use in coin selection.
uint64_t max_count
Definition: spend.h:79
bool check_version_trucness
Definition: spend.h:86
bool include_immature_coinbase
Definition: spend.h:81
CAmount min_sum_amount
Definition: spend.h:77
Parameters for one iteration of Coin Selection.
uint32_t m_version
The version of the transaction we are trying to create.
FastRandomContext & rng_fast
Randomness to use in the context of coin selection.
CAmount m_min_change_target
Mininmum change to target in Knapsack solver and CoinGrinder: select coins to cover the payment and a...
bool m_subtract_fee_outputs
Indicate that we are subtracting the fee from outputs.
bool m_include_unsafe_inputs
When true, allow unsafe coins to be selected during Coin Selection.
CFeeRate m_effective_feerate
The targeted feerate of the transaction being built.
CAmount min_viable_change
Minimum amount for creating a change output.
CAmount m_cost_of_change
Cost of creating the change output + cost of spending the change output in the future.
CAmount m_change_fee
Cost of creating the change output.
int change_output_size
Size of a change output in bytes, determined by the output type.
int tx_noinputs_size
Size of the transaction before coin selection, consisting of the header and recipient output(s),...
std::optional< int > m_max_tx_weight
The maximum weight for this transaction.
bool m_avoid_partial_spends
When true, always spend all (up to OUTPUT_GROUP_MAX_ENTRIES) or none of the outputs associated with t...
COutputs available for spending, stored by OutputType.
Definition: spend.h:45
std::optional< CAmount > GetEffectiveTotalAmount()
Definition: spend.h:62
void Add(OutputType type, const COutput &out)
Definition: spend.cpp:240
size_t Size() const
The following methods are provided so that CoinsResult can mimic a vector, i.e., methods can work wit...
Definition: spend.cpp:194
std::map< OutputType, std::vector< COutput > > coins
Definition: spend.h:46
void Shuffle(FastRandomContext &rng_fast)
Definition: spend.cpp:233
CAmount GetTotalAmount()
Definition: spend.h:61
std::vector< OutputGroup > positive_group
std::vector< OutputGroup > mixed_group
A group of UTXOs paid to the same output script.
Stores several 'Groups' whose were mapped by output type.
std::map< OutputType, Groups > groups_by_type
std::set< std::shared_ptr< COutput > > coins
Definition: spend.h:158
void Insert(const COutput &output, bool subtract_fee_outputs)
Definition: spend.h:164
CAmount GetChange(const CAmount min_viable_change, const CAmount change_fee) const
Get the amount for the change output after paying needed fees.
CAmount GetSelectedValue() const
Get the sum of the input values.
CAmount GetTarget() const
void RecalculateWaste(const CAmount min_viable_change, const CAmount change_cost, const CAmount change_fee)
Calculates and stores the waste for this result given the cost of change and the opportunity cost of ...
SelectionAlgorithm GetAlgo() const
void AddInputs(const std::set< std::shared_ptr< COutput > > &inputs, bool subtract_fee_outputs)
std::vector< std::shared_ptr< COutput > > GetShuffledInputVector() const
Get the vector of COutputs that will be used to fill in a CTransaction's vin.
CAmount GetWaste() const
#define LOCK(cs)
Definition: sync.h:259
#define EXCLUSIVE_LOCKS_REQUIRED(...)
Definition: threadsafety.h:51
#define strprintf
Format arguments and return the string or write to given std::ostream (see tinyformat::format doc for...
Definition: tinyformat.h:1172
#define TRACEPOINT(context,...)
Definition: trace.h:56
consteval auto _(util::TranslatedLiteral str)
Definition: translation.h:79
bilingual_str Untranslated(std::string original)
Mark a bilingual_str as untranslated.
Definition: translation.h:82
static constexpr decltype(CTransaction::version) TRUC_VERSION
Definition: truc_policy.h:20
static constexpr int64_t TRUC_CHILD_MAX_WEIGHT
Definition: truc_policy.h:34
static constexpr uint32_t MAX_BIP125_RBF_SEQUENCE
Definition: rbf.h:12
int64_t GetTime()
DEPRECATED Use either ClockType::now() or Now<TimePointType>() if a cast is needed.
Definition: time.cpp:77
AssertLockHeld(pool.cs)
assert(!tx.IsCoinBase())
static void AvailableCoins(benchmark::Bench &bench, const std::vector< OutputType > &output_type)