Bitcoin Core  24.1.0
P2P Digital Currency
coinstats.cpp
Go to the documentation of this file.
1 // Copyright (c) 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 <kernel/coinstats.h>
6 
7 #include <chain.h>
8 #include <coins.h>
9 #include <crypto/muhash.h>
10 #include <hash.h>
11 #include <node/blockstorage.h>
12 #include <primitives/transaction.h>
13 #include <script/script.h>
14 #include <serialize.h>
15 #include <span.h>
16 #include <streams.h>
17 #include <sync.h>
18 #include <tinyformat.h>
19 #include <uint256.h>
20 #include <util/check.h>
21 #include <util/overflow.h>
22 #include <util/system.h>
23 #include <validation.h>
24 #include <version.h>
25 
26 #include <cassert>
27 #include <iosfwd>
28 #include <iterator>
29 #include <map>
30 #include <memory>
31 #include <string>
32 #include <utility>
33 
34 namespace kernel {
35 
36 CCoinsStats::CCoinsStats(int block_height, const uint256& block_hash)
37  : nHeight(block_height),
38  hashBlock(block_hash) {}
39 
40 // Database-independent metric indicating the UTXO set size
41 uint64_t GetBogoSize(const CScript& script_pub_key)
42 {
43  return 32 /* txid */ +
44  4 /* vout index */ +
45  4 /* height + coinbase */ +
46  8 /* amount */ +
47  2 /* scriptPubKey len */ +
48  script_pub_key.size() /* scriptPubKey */;
49 }
50 
51 CDataStream TxOutSer(const COutPoint& outpoint, const Coin& coin) {
53  ss << outpoint;
54  ss << static_cast<uint32_t>(coin.nHeight * 2 + coin.fCoinBase);
55  ss << coin.out;
56  return ss;
57 }
58 
71 static void ApplyHash(HashWriter& ss, const uint256& hash, const std::map<uint32_t, Coin>& outputs)
72 {
73  for (auto it = outputs.begin(); it != outputs.end(); ++it) {
74  if (it == outputs.begin()) {
75  ss << hash;
76  ss << VARINT(it->second.nHeight * 2 + it->second.fCoinBase ? 1u : 0u);
77  }
78 
79  ss << VARINT(it->first + 1);
80  ss << it->second.out.scriptPubKey;
81  ss << VARINT_MODE(it->second.out.nValue, VarIntMode::NONNEGATIVE_SIGNED);
82 
83  if (it == std::prev(outputs.end())) {
84  ss << VARINT(0u);
85  }
86  }
87 }
88 
89 static void ApplyHash(std::nullptr_t, const uint256& hash, const std::map<uint32_t, Coin>& outputs) {}
90 
91 static void ApplyHash(MuHash3072& muhash, const uint256& hash, const std::map<uint32_t, Coin>& outputs)
92 {
93  for (auto it = outputs.begin(); it != outputs.end(); ++it) {
94  COutPoint outpoint = COutPoint(hash, it->first);
95  Coin coin = it->second;
96  muhash.Insert(MakeUCharSpan(TxOutSer(outpoint, coin)));
97  }
98 }
99 
100 static void ApplyStats(CCoinsStats& stats, const uint256& hash, const std::map<uint32_t, Coin>& outputs)
101 {
102  assert(!outputs.empty());
103  stats.nTransactions++;
104  for (auto it = outputs.begin(); it != outputs.end(); ++it) {
105  stats.nTransactionOutputs++;
106  if (stats.total_amount.has_value()) {
107  stats.total_amount = CheckedAdd(*stats.total_amount, it->second.out.nValue);
108  }
109  stats.nBogoSize += GetBogoSize(it->second.out.scriptPubKey);
110  }
111 }
112 
114 template <typename T>
115 static bool ComputeUTXOStats(CCoinsView* view, CCoinsStats& stats, T hash_obj, const std::function<void()>& interruption_point)
116 {
117  std::unique_ptr<CCoinsViewCursor> pcursor(view->Cursor());
118  assert(pcursor);
119 
120  PrepareHash(hash_obj, stats);
121 
122  uint256 prevkey;
123  std::map<uint32_t, Coin> outputs;
124  while (pcursor->Valid()) {
125  interruption_point();
126  COutPoint key;
127  Coin coin;
128  if (pcursor->GetKey(key) && pcursor->GetValue(coin)) {
129  if (!outputs.empty() && key.hash != prevkey) {
130  ApplyStats(stats, prevkey, outputs);
131  ApplyHash(hash_obj, prevkey, outputs);
132  outputs.clear();
133  }
134  prevkey = key.hash;
135  outputs[key.n] = std::move(coin);
136  stats.coins_count++;
137  } else {
138  return error("%s: unable to read value", __func__);
139  }
140  pcursor->Next();
141  }
142  if (!outputs.empty()) {
143  ApplyStats(stats, prevkey, outputs);
144  ApplyHash(hash_obj, prevkey, outputs);
145  }
146 
147  FinalizeHash(hash_obj, stats);
148 
149  stats.nDiskSize = view->EstimateSize();
150 
151  return true;
152 }
153 
154 std::optional<CCoinsStats> ComputeUTXOStats(CoinStatsHashType hash_type, CCoinsView* view, node::BlockManager& blockman, const std::function<void()>& interruption_point)
155 {
156  CBlockIndex* pindex = WITH_LOCK(::cs_main, return blockman.LookupBlockIndex(view->GetBestBlock()));
157  CCoinsStats stats{Assert(pindex)->nHeight, pindex->GetBlockHash()};
158 
159  bool success = [&]() -> bool {
160  switch (hash_type) {
162  HashWriter ss{};
163  return ComputeUTXOStats(view, stats, ss, interruption_point);
164  }
166  MuHash3072 muhash;
167  return ComputeUTXOStats(view, stats, muhash, interruption_point);
168  }
169  case(CoinStatsHashType::NONE): {
170  return ComputeUTXOStats(view, stats, nullptr, interruption_point);
171  }
172  } // no default case, so the compiler can warn about missing cases
173  assert(false);
174  }();
175 
176  if (!success) {
177  return std::nullopt;
178  }
179  return stats;
180 }
181 
182 // The legacy hash serializes the hashBlock
183 static void PrepareHash(HashWriter& ss, const CCoinsStats& stats)
184 {
185  ss << stats.hashBlock;
186 }
187 // MuHash does not need the prepare step
188 static void PrepareHash(MuHash3072& muhash, CCoinsStats& stats) {}
189 static void PrepareHash(std::nullptr_t, CCoinsStats& stats) {}
190 
191 static void FinalizeHash(HashWriter& ss, CCoinsStats& stats)
192 {
193  stats.hashSerialized = ss.GetHash();
194 }
195 static void FinalizeHash(MuHash3072& muhash, CCoinsStats& stats)
196 {
197  uint256 out;
198  muhash.Finalize(out);
199  stats.hashSerialized = out;
200 }
201 static void FinalizeHash(std::nullptr_t, CCoinsStats& stats) {}
202 
203 } // namespace kernel
uint256 GetHash()
Compute the double-SHA256 hash of all data written to this object.
Definition: hash.h:115
uint64_t nTransactions
Definition: coinstats.h:34
#define VARINT(obj)
Definition: serialize.h:436
uint64_t GetBogoSize(const CScript &script_pub_key)
Definition: coinstats.cpp:41
CDataStream TxOutSer(const COutPoint &outpoint, const Coin &coin)
Definition: coinstats.cpp:51
assert(!tx.IsCoinBase())
A UTXO entry.
Definition: coins.h:30
unsigned int nHeight
CTxOut out
unspent transaction output
Definition: coins.h:34
std::optional< CAmount > total_amount
The total amount, or nullopt if an overflow occurred calculating it.
Definition: coinstats.h:40
unsigned int fCoinBase
whether containing transaction was a coinbase
Definition: coins.h:37
static void ApplyHash(HashWriter &ss, const uint256 &hash, const std::map< uint32_t, Coin > &outputs)
Warning: be very careful when changing this! assumeutxo and UTXO snapshot validation commitments are ...
Definition: coinstats.cpp:71
static void PrepareHash(HashWriter &ss, const CCoinsStats &stats)
Definition: coinstats.cpp:183
uint64_t coins_count
The number of coins contained.
Definition: coinstats.h:43
Double ended buffer combining vector and stream-like interfaces.
Definition: streams.h:185
static void ApplyStats(CCoinsStats &stats, const uint256 &hash, const std::map< uint32_t, Coin > &outputs)
Definition: coinstats.cpp:100
uint64_t nDiskSize
Definition: coinstats.h:38
CoinStatsHashType
Definition: coinstats.h:25
std::optional< T > CheckedAdd(const T i, const T j) noexcept
Definition: overflow.h:24
uint256 GetBlockHash() const
Definition: chain.h:264
uint32_t nHeight
at which height this containing transaction was included in the active block chain ...
Definition: coins.h:40
#define VARINT_MODE(obj, mode)
Definition: serialize.h:435
Abstract view on the open txout dataset.
Definition: coins.h:156
A writer stream (for serialization) that computes a 256-bit hash.
Definition: hash.h:100
uint32_t n
Definition: transaction.h:38
uint256 hashSerialized
Definition: coinstats.h:37
Maintains a tree of blocks (stored in m_block_index) which is consulted to determine where the most-w...
Definition: blockstorage.h:81
An outpoint - a combination of a transaction hash and an index n into its vout.
Definition: transaction.h:34
CBlockIndex * LookupBlockIndex(const uint256 &hash) EXCLUSIVE_LOCKS_REQUIRED(cs_main)
#define WITH_LOCK(cs, code)
Run code while locking a mutex.
Definition: sync.h:305
void Finalize(uint256 &out) noexcept
Definition: muhash.cpp:313
static void FinalizeHash(HashWriter &ss, CCoinsStats &stats)
Definition: coinstats.cpp:191
static bool ComputeUTXOStats(CCoinsView *view, CCoinsStats &stats, T hash_obj, const std::function< void()> &interruption_point)
Calculate statistics about the unspent transaction output set.
Definition: coinstats.cpp:115
256-bit opaque blob.
Definition: uint256.h:119
virtual size_t EstimateSize() const
Estimate database size (0 if not implemented)
Definition: coins.h:188
The block chain is a tree shaped structure starting with the genesis block at the root...
Definition: chain.h:151
Serialized script, used inside transaction inputs and outputs.
Definition: script.h:410
static const int PROTOCOL_VERSION
network protocol versioning
Definition: version.h:12
virtual uint256 GetBestBlock() const
Retrieve the block hash whose state this CCoinsView currently represents.
Definition: coins.cpp:14
RecursiveMutex cs_main
Mutex to guard access to validation specific variables, such as reading or changing the chainstate...
Definition: validation.cpp:121
constexpr auto MakeUCharSpan(V &&v) -> decltype(UCharSpanCast(Span
Like the Span constructor, but for (const) unsigned char member types only.
Definition: span.h:285
A class representing MuHash sets.
Definition: muhash.h:94
size_type size() const
Definition: prevector.h:284
virtual std::unique_ptr< CCoinsViewCursor > Cursor() const
Get a cursor to iterate over the whole state.
Definition: coins.cpp:17
MuHash3072 & Insert(Span< const unsigned char > in) noexcept
Definition: muhash.cpp:338
uint64_t nBogoSize
Definition: coinstats.h:36
uint64_t nTransactionOutputs
Definition: coinstats.h:35
bool error(const char *fmt, const Args &... args)
Definition: system.h:48
#define Assert(val)
Identity function.
Definition: check.h:74
uint256 hash
Definition: transaction.h:37