Bitcoin Core Fuzz Coverage Report

Coverage Report

Created: 2026-03-24 13:57

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/root/bitcoin/src/index/coinstatsindex.cpp
Line
Count
Source
1
// Copyright (c) 2020-present 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 <index/coinstatsindex.h>
6
7
#include <arith_uint256.h>
8
#include <chain.h>
9
#include <chainparams.h>
10
#include <coins.h>
11
#include <common/args.h>
12
#include <consensus/amount.h>
13
#include <crypto/muhash.h>
14
#include <dbwrapper.h>
15
#include <index/base.h>
16
#include <index/db_key.h>
17
#include <interfaces/chain.h>
18
#include <interfaces/types.h>
19
#include <kernel/coinstats.h>
20
#include <primitives/block.h>
21
#include <primitives/transaction.h>
22
#include <script/script.h>
23
#include <serialize.h>
24
#include <uint256.h>
25
#include <undo.h>
26
#include <util/check.h>
27
#include <util/fs.h>
28
#include <util/log.h>
29
#include <validation.h>
30
31
#include <compare>
32
#include <limits>
33
#include <span>
34
#include <string>
35
#include <utility>
36
#include <vector>
37
38
using kernel::ApplyCoinHash;
39
using kernel::CCoinsStats;
40
using kernel::GetBogoSize;
41
using kernel::RemoveCoinHash;
42
43
static constexpr uint8_t DB_MUHASH{'M'};
44
45
namespace {
46
47
struct DBVal {
48
    uint256 muhash{uint256::ZERO};
49
    uint64_t transaction_output_count{0};
50
    uint64_t bogo_size{0};
51
    CAmount total_amount{0};
52
    CAmount total_subsidy{0};
53
    arith_uint256 total_prevout_spent_amount{0};
54
    arith_uint256 total_new_outputs_ex_coinbase_amount{0};
55
    arith_uint256 total_coinbase_amount{0};
56
    CAmount total_unspendables_genesis_block{0};
57
    CAmount total_unspendables_bip30{0};
58
    CAmount total_unspendables_scripts{0};
59
    CAmount total_unspendables_unclaimed_rewards{0};
60
61
    SERIALIZE_METHODS(DBVal, obj)
62
0
    {
63
0
        uint256 prevout_spent, new_outputs, coinbase;
64
0
        SER_WRITE(obj, prevout_spent = ArithToUint256(obj.total_prevout_spent_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
        SER_WRITE(obj, prevout_spent = ArithToUint256(obj.total_prevout_spent_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
        SER_WRITE(obj, prevout_spent = ArithToUint256(obj.total_prevout_spent_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
65
0
        SER_WRITE(obj, new_outputs = ArithToUint256(obj.total_new_outputs_ex_coinbase_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
        SER_WRITE(obj, new_outputs = ArithToUint256(obj.total_new_outputs_ex_coinbase_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
        SER_WRITE(obj, new_outputs = ArithToUint256(obj.total_new_outputs_ex_coinbase_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
66
0
        SER_WRITE(obj, coinbase = ArithToUint256(obj.total_coinbase_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
        SER_WRITE(obj, coinbase = ArithToUint256(obj.total_coinbase_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
        SER_WRITE(obj, coinbase = ArithToUint256(obj.total_coinbase_amount));
Line
Count
Source
148
0
#define SER_WRITE(obj, code) ser_action.SerWrite(s, obj, [&](Stream& s, const Type& obj) { code; })
67
68
0
        READWRITE(obj.muhash);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.muhash);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.muhash);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
69
0
        READWRITE(obj.transaction_output_count);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.transaction_output_count);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.transaction_output_count);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
70
0
        READWRITE(obj.bogo_size);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.bogo_size);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.bogo_size);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
71
0
        READWRITE(obj.total_amount);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_amount);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_amount);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
72
0
        READWRITE(obj.total_subsidy);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_subsidy);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_subsidy);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
73
0
        READWRITE(prevout_spent);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(prevout_spent);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(prevout_spent);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
74
0
        READWRITE(new_outputs);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(new_outputs);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(new_outputs);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
75
0
        READWRITE(coinbase);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(coinbase);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(coinbase);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
76
0
        READWRITE(obj.total_unspendables_genesis_block);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_unspendables_genesis_block);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_unspendables_genesis_block);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
77
0
        READWRITE(obj.total_unspendables_bip30);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_unspendables_bip30);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_unspendables_bip30);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
78
0
        READWRITE(obj.total_unspendables_scripts);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_unspendables_scripts);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_unspendables_scripts);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
79
0
        READWRITE(obj.total_unspendables_unclaimed_rewards);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_unspendables_unclaimed_rewards);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
        READWRITE(obj.total_unspendables_unclaimed_rewards);
Line
Count
Source
146
0
#define READWRITE(...) (ser_action.SerReadWriteMany(s, __VA_ARGS__))
80
81
0
        SER_READ(obj, obj.total_prevout_spent_amount = UintToArith256(prevout_spent));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
        SER_READ(obj, obj.total_prevout_spent_amount = UintToArith256(prevout_spent));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
        SER_READ(obj, obj.total_prevout_spent_amount = UintToArith256(prevout_spent));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
82
0
        SER_READ(obj, obj.total_new_outputs_ex_coinbase_amount = UintToArith256(new_outputs));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
        SER_READ(obj, obj.total_new_outputs_ex_coinbase_amount = UintToArith256(new_outputs));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
        SER_READ(obj, obj.total_new_outputs_ex_coinbase_amount = UintToArith256(new_outputs));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
83
0
        SER_READ(obj, obj.total_coinbase_amount = UintToArith256(coinbase));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
        SER_READ(obj, obj.total_coinbase_amount = UintToArith256(coinbase));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
        SER_READ(obj, obj.total_coinbase_amount = UintToArith256(coinbase));
Line
Count
Source
147
0
#define SER_READ(obj, code) ser_action.SerRead(s, obj, [&](Stream& s, std::remove_const_t<Type>& obj) { code; })
84
0
    }
Unexecuted instantiation: coinstatsindex.cpp:void (anonymous namespace)::DBVal::SerializationOps<DataStream, (anonymous namespace)::DBVal const, ActionSerialize>((anonymous namespace)::DBVal const&, DataStream&, ActionSerialize)
Unexecuted instantiation: coinstatsindex.cpp:void (anonymous namespace)::DBVal::SerializationOps<DataStream, (anonymous namespace)::DBVal, ActionUnserialize>((anonymous namespace)::DBVal&, DataStream&, ActionUnserialize)
Unexecuted instantiation: coinstatsindex.cpp:void (anonymous namespace)::DBVal::SerializationOps<SpanReader, (anonymous namespace)::DBVal, ActionUnserialize>((anonymous namespace)::DBVal&, SpanReader&, ActionUnserialize)
85
};
86
}; // namespace
87
88
std::unique_ptr<CoinStatsIndex> g_coin_stats_index;
89
90
CoinStatsIndex::CoinStatsIndex(std::unique_ptr<interfaces::Chain> chain, size_t n_cache_size, bool f_memory, bool f_wipe)
91
0
    : BaseIndex(std::move(chain), "coinstatsindex")
92
0
{
93
    // An earlier version of the index used "indexes/coinstats" but it contained
94
    // a bug and is superseded by a fixed version at "indexes/coinstatsindex".
95
    // The original index is kept around until the next release in case users
96
    // decide to downgrade their node.
97
0
    auto old_path = gArgs.GetDataDirNet() / "indexes" / "coinstats";
98
0
    if (fs::exists(old_path)) {
99
        // TODO: Change this to deleting the old index with v31.
100
0
        LogWarning("Old version of coinstatsindex found at %s. This folder can be safely deleted unless you " \
Line
Count
Source
96
0
#define LogWarning(...) LogPrintLevel_(BCLog::LogFlags::ALL, BCLog::Level::Warning, /*should_ratelimit=*/true, __VA_ARGS__)
Line
Count
Source
89
0
#define LogPrintLevel_(category, level, should_ratelimit, ...) LogPrintFormatInternal(SourceLocation{__func__}, category, level, should_ratelimit, __VA_ARGS__)
101
0
            "plan to downgrade your node to version 29 or lower.", fs::PathToString(old_path));
102
0
    }
103
0
    fs::path path{gArgs.GetDataDirNet() / "indexes" / "coinstatsindex"};
104
0
    fs::create_directories(path);
105
106
0
    m_db = std::make_unique<CoinStatsIndex::DB>(path / "db", n_cache_size, f_memory, f_wipe);
107
0
}
108
109
bool CoinStatsIndex::CustomAppend(const interfaces::BlockInfo& block)
110
0
{
111
0
    const CAmount block_subsidy{GetBlockSubsidy(block.height, Params().GetConsensus())};
112
0
    m_total_subsidy += block_subsidy;
113
114
    // Ignore genesis block
115
0
    if (block.height > 0) {
116
0
        uint256 expected_block_hash{*Assert(block.prev_hash)};
Line
Count
Source
113
0
#define Assert(val) inline_assertion_check<true>(val, std::source_location::current(), #val)
117
0
        if (m_current_block_hash != expected_block_hash) {
118
0
            LogError("previous block header belongs to unexpected block %s; expected %s",
Line
Count
Source
97
0
#define LogError(...) LogPrintLevel_(BCLog::LogFlags::ALL, BCLog::Level::Error, /*should_ratelimit=*/true, __VA_ARGS__)
Line
Count
Source
89
0
#define LogPrintLevel_(category, level, should_ratelimit, ...) LogPrintFormatInternal(SourceLocation{__func__}, category, level, should_ratelimit, __VA_ARGS__)
119
0
                      m_current_block_hash.ToString(), expected_block_hash.ToString());
120
0
            return false;
121
0
        }
122
123
        // Add the new utxos created from the block
124
0
        assert(block.data);
125
0
        for (size_t i = 0; i < block.data->vtx.size(); ++i) {
126
0
            const auto& tx{block.data->vtx.at(i)};
127
0
            const bool is_coinbase{tx->IsCoinBase()};
128
129
            // Skip duplicate txid coinbase transactions (BIP30).
130
0
            if (is_coinbase && IsBIP30Unspendable(block.hash, block.height)) {
131
0
                m_total_unspendables_bip30 += block_subsidy;
132
0
                continue;
133
0
            }
134
135
0
            for (uint32_t j = 0; j < tx->vout.size(); ++j) {
136
0
                const CTxOut& out{tx->vout[j]};
137
0
                const Coin coin{out, block.height, is_coinbase};
138
0
                const COutPoint outpoint{tx->GetHash(), j};
139
140
                // Skip unspendable coins
141
0
                if (coin.out.scriptPubKey.IsUnspendable()) {
142
0
                    m_total_unspendables_scripts += coin.out.nValue;
143
0
                    continue;
144
0
                }
145
146
0
                ApplyCoinHash(m_muhash, outpoint, coin);
147
148
0
                if (is_coinbase) {
149
0
                    m_total_coinbase_amount += coin.out.nValue;
150
0
                } else {
151
0
                    m_total_new_outputs_ex_coinbase_amount += coin.out.nValue;
152
0
                }
153
154
0
                ++m_transaction_output_count;
155
0
                m_total_amount += coin.out.nValue;
156
0
                m_bogo_size += GetBogoSize(coin.out.scriptPubKey);
157
0
            }
158
159
            // The coinbase tx has no undo data since no former output is spent
160
0
            if (!is_coinbase) {
161
0
                const auto& tx_undo{Assert(block.undo_data)->vtxundo.at(i - 1)};
Line
Count
Source
113
0
#define Assert(val) inline_assertion_check<true>(val, std::source_location::current(), #val)
162
163
0
                for (size_t j = 0; j < tx_undo.vprevout.size(); ++j) {
164
0
                    const Coin& coin{tx_undo.vprevout[j]};
165
0
                    const COutPoint outpoint{tx->vin[j].prevout.hash, tx->vin[j].prevout.n};
166
167
0
                    RemoveCoinHash(m_muhash, outpoint, coin);
168
169
0
                    m_total_prevout_spent_amount += coin.out.nValue;
170
171
0
                    --m_transaction_output_count;
172
0
                    m_total_amount -= coin.out.nValue;
173
0
                    m_bogo_size -= GetBogoSize(coin.out.scriptPubKey);
174
0
                }
175
0
            }
176
0
        }
177
0
    } else {
178
        // genesis block
179
0
        m_total_unspendables_genesis_block += block_subsidy;
180
0
    }
181
182
    // If spent prevouts + block subsidy are still a higher amount than
183
    // new outputs + coinbase + current unspendable amount this means
184
    // the miner did not claim the full block reward. Unclaimed block
185
    // rewards are also unspendable.
186
0
    const CAmount temp_total_unspendable_amount{m_total_unspendables_genesis_block + m_total_unspendables_bip30 + m_total_unspendables_scripts + m_total_unspendables_unclaimed_rewards};
187
0
    const arith_uint256 unclaimed_rewards{(m_total_prevout_spent_amount + m_total_subsidy) - (m_total_new_outputs_ex_coinbase_amount + m_total_coinbase_amount + temp_total_unspendable_amount)};
188
0
    assert(unclaimed_rewards <= arith_uint256(std::numeric_limits<CAmount>::max()));
189
0
    m_total_unspendables_unclaimed_rewards += static_cast<CAmount>(unclaimed_rewards.GetLow64());
190
191
0
    std::pair<uint256, DBVal> value;
192
0
    value.first = block.hash;
193
0
    value.second.transaction_output_count = m_transaction_output_count;
194
0
    value.second.bogo_size = m_bogo_size;
195
0
    value.second.total_amount = m_total_amount;
196
0
    value.second.total_subsidy = m_total_subsidy;
197
0
    value.second.total_prevout_spent_amount = m_total_prevout_spent_amount;
198
0
    value.second.total_new_outputs_ex_coinbase_amount = m_total_new_outputs_ex_coinbase_amount;
199
0
    value.second.total_coinbase_amount = m_total_coinbase_amount;
200
0
    value.second.total_unspendables_genesis_block = m_total_unspendables_genesis_block;
201
0
    value.second.total_unspendables_bip30 = m_total_unspendables_bip30;
202
0
    value.second.total_unspendables_scripts = m_total_unspendables_scripts;
203
0
    value.second.total_unspendables_unclaimed_rewards = m_total_unspendables_unclaimed_rewards;
204
205
0
    uint256 out;
206
0
    m_muhash.Finalize(out);
207
0
    value.second.muhash = out;
208
209
0
    m_current_block_hash = block.hash;
210
211
    // Intentionally do not update DB_MUHASH here so it stays in sync with
212
    // DB_BEST_BLOCK, and the index is not corrupted if there is an unclean shutdown.
213
0
    m_db->Write(index_util::DBHeightKey(block.height), value);
214
0
    return true;
215
0
}
216
217
bool CoinStatsIndex::CustomRemove(const interfaces::BlockInfo& block)
218
0
{
219
0
    CDBBatch batch(*m_db);
220
0
    std::unique_ptr<CDBIterator> db_it(m_db->NewIterator());
221
222
    // During a reorg, copy the block's hash digest from the height index to the hash index,
223
    // ensuring it's still accessible after the height index entry is overwritten.
224
0
    if (!index_util::CopyHeightIndexToHashIndex<DBVal>(*db_it, batch, m_name, block.height)) {
225
0
        return false;
226
0
    }
227
228
0
    m_db->WriteBatch(batch);
229
230
0
    if (!RevertBlock(block)) {
231
0
        return false; // failure cause logged internally
232
0
    }
233
234
0
    return true;
235
0
}
236
237
std::optional<CCoinsStats> CoinStatsIndex::LookUpStats(const CBlockIndex& block_index) const
238
0
{
239
0
    CCoinsStats stats{block_index.nHeight, block_index.GetBlockHash()};
240
0
    stats.index_used = true;
241
242
0
    DBVal entry;
243
0
    if (!index_util::LookUpOne(*m_db, {block_index.GetBlockHash(), block_index.nHeight}, entry)) {
244
0
        return std::nullopt;
245
0
    }
246
247
0
    stats.hashSerialized = entry.muhash;
248
0
    stats.nTransactionOutputs = entry.transaction_output_count;
249
0
    stats.nBogoSize = entry.bogo_size;
250
0
    stats.total_amount = entry.total_amount;
251
0
    stats.total_subsidy = entry.total_subsidy;
252
0
    stats.total_prevout_spent_amount = entry.total_prevout_spent_amount;
253
0
    stats.total_new_outputs_ex_coinbase_amount = entry.total_new_outputs_ex_coinbase_amount;
254
0
    stats.total_coinbase_amount = entry.total_coinbase_amount;
255
0
    stats.total_unspendables_genesis_block = entry.total_unspendables_genesis_block;
256
0
    stats.total_unspendables_bip30 = entry.total_unspendables_bip30;
257
0
    stats.total_unspendables_scripts = entry.total_unspendables_scripts;
258
0
    stats.total_unspendables_unclaimed_rewards = entry.total_unspendables_unclaimed_rewards;
259
260
0
    return stats;
261
0
}
262
263
bool CoinStatsIndex::CustomInit(const std::optional<interfaces::BlockRef>& block)
264
0
{
265
0
    if (!m_db->Read(DB_MUHASH, m_muhash)) {
266
        // Check that the cause of the read failure is that the key does not
267
        // exist. Any other errors indicate database corruption or a disk
268
        // failure, and starting the index would cause further corruption.
269
0
        if (m_db->Exists(DB_MUHASH)) {
270
0
            LogError("Cannot read current %s state; index may be corrupted",
Line
Count
Source
97
0
#define LogError(...) LogPrintLevel_(BCLog::LogFlags::ALL, BCLog::Level::Error, /*should_ratelimit=*/true, __VA_ARGS__)
Line
Count
Source
89
0
#define LogPrintLevel_(category, level, should_ratelimit, ...) LogPrintFormatInternal(SourceLocation{__func__}, category, level, should_ratelimit, __VA_ARGS__)
271
0
                      GetName());
272
0
            return false;
273
0
        }
274
0
    }
275
276
0
    if (block) {
277
0
        DBVal entry;
278
0
        if (!index_util::LookUpOne(*m_db, *block, entry)) {
279
0
            LogError("Cannot read current %s state; index may be corrupted",
Line
Count
Source
97
0
#define LogError(...) LogPrintLevel_(BCLog::LogFlags::ALL, BCLog::Level::Error, /*should_ratelimit=*/true, __VA_ARGS__)
Line
Count
Source
89
0
#define LogPrintLevel_(category, level, should_ratelimit, ...) LogPrintFormatInternal(SourceLocation{__func__}, category, level, should_ratelimit, __VA_ARGS__)
280
0
                      GetName());
281
0
            return false;
282
0
        }
283
284
0
        uint256 out;
285
0
        m_muhash.Finalize(out);
286
0
        if (entry.muhash != out) {
287
0
            LogError("Cannot read current %s state; index may be corrupted",
Line
Count
Source
97
0
#define LogError(...) LogPrintLevel_(BCLog::LogFlags::ALL, BCLog::Level::Error, /*should_ratelimit=*/true, __VA_ARGS__)
Line
Count
Source
89
0
#define LogPrintLevel_(category, level, should_ratelimit, ...) LogPrintFormatInternal(SourceLocation{__func__}, category, level, should_ratelimit, __VA_ARGS__)
288
0
                      GetName());
289
0
            return false;
290
0
        }
291
292
0
        m_transaction_output_count = entry.transaction_output_count;
293
0
        m_bogo_size = entry.bogo_size;
294
0
        m_total_amount = entry.total_amount;
295
0
        m_total_subsidy = entry.total_subsidy;
296
0
        m_total_prevout_spent_amount = entry.total_prevout_spent_amount;
297
0
        m_total_new_outputs_ex_coinbase_amount = entry.total_new_outputs_ex_coinbase_amount;
298
0
        m_total_coinbase_amount = entry.total_coinbase_amount;
299
0
        m_total_unspendables_genesis_block = entry.total_unspendables_genesis_block;
300
0
        m_total_unspendables_bip30 = entry.total_unspendables_bip30;
301
0
        m_total_unspendables_scripts = entry.total_unspendables_scripts;
302
0
        m_total_unspendables_unclaimed_rewards = entry.total_unspendables_unclaimed_rewards;
303
0
        m_current_block_hash = block->hash;
304
0
    }
305
306
0
    return true;
307
0
}
308
309
bool CoinStatsIndex::CustomCommit(CDBBatch& batch)
310
0
{
311
    // DB_MUHASH should always be committed in a batch together with DB_BEST_BLOCK
312
    // to prevent an inconsistent state of the DB.
313
0
    batch.Write(DB_MUHASH, m_muhash);
314
0
    return true;
315
0
}
316
317
interfaces::Chain::NotifyOptions CoinStatsIndex::CustomOptions()
318
0
{
319
0
    interfaces::Chain::NotifyOptions options;
320
0
    options.connect_undo_data = true;
321
0
    options.disconnect_data = true;
322
0
    options.disconnect_undo_data = true;
323
0
    return options;
324
0
}
325
326
// Revert a single block as part of a reorg
327
bool CoinStatsIndex::RevertBlock(const interfaces::BlockInfo& block)
328
0
{
329
0
    std::pair<uint256, DBVal> read_out;
330
331
    // Ignore genesis block
332
0
    if (block.height > 0) {
333
0
        if (!m_db->Read(index_util::DBHeightKey(block.height - 1), read_out)) {
334
0
            return false;
335
0
        }
336
337
0
        uint256 expected_block_hash{*block.prev_hash};
338
0
        if (read_out.first != expected_block_hash) {
339
0
            LogWarning("previous block header belongs to unexpected block %s; expected %s",
Line
Count
Source
96
0
#define LogWarning(...) LogPrintLevel_(BCLog::LogFlags::ALL, BCLog::Level::Warning, /*should_ratelimit=*/true, __VA_ARGS__)
Line
Count
Source
89
0
#define LogPrintLevel_(category, level, should_ratelimit, ...) LogPrintFormatInternal(SourceLocation{__func__}, category, level, should_ratelimit, __VA_ARGS__)
340
0
                      read_out.first.ToString(), expected_block_hash.ToString());
341
342
0
            if (!m_db->Read(index_util::DBHashKey(expected_block_hash), read_out)) {
343
0
                LogError("previous block header not found; expected %s",
Line
Count
Source
97
0
#define LogError(...) LogPrintLevel_(BCLog::LogFlags::ALL, BCLog::Level::Error, /*should_ratelimit=*/true, __VA_ARGS__)
Line
Count
Source
89
0
#define LogPrintLevel_(category, level, should_ratelimit, ...) LogPrintFormatInternal(SourceLocation{__func__}, category, level, should_ratelimit, __VA_ARGS__)
344
0
                          expected_block_hash.ToString());
345
0
                return false;
346
0
            }
347
0
        }
348
0
    }
349
350
    // Roll back muhash by removing the new UTXOs that were created by the
351
    // block and reapplying the old UTXOs that were spent by the block
352
0
    assert(block.data);
353
0
    assert(block.undo_data);
354
0
    for (size_t i = 0; i < block.data->vtx.size(); ++i) {
355
0
        const auto& tx{block.data->vtx.at(i)};
356
0
        const bool is_coinbase{tx->IsCoinBase()};
357
358
0
        if (is_coinbase && IsBIP30Unspendable(block.hash, block.height)) {
359
0
            continue;
360
0
        }
361
362
0
        for (uint32_t j = 0; j < tx->vout.size(); ++j) {
363
0
            const CTxOut& out{tx->vout[j]};
364
0
            const COutPoint outpoint{tx->GetHash(), j};
365
0
            const Coin coin{out, block.height, is_coinbase};
366
367
0
            if (!coin.out.scriptPubKey.IsUnspendable()) {
368
0
                RemoveCoinHash(m_muhash, outpoint, coin);
369
0
            }
370
0
        }
371
372
        // The coinbase tx has no undo data since no former output is spent
373
0
        if (!is_coinbase) {
374
0
            const auto& tx_undo{block.undo_data->vtxundo.at(i - 1)};
375
376
0
            for (size_t j = 0; j < tx_undo.vprevout.size(); ++j) {
377
0
                const Coin& coin{tx_undo.vprevout[j]};
378
0
                const COutPoint outpoint{tx->vin[j].prevout.hash, tx->vin[j].prevout.n};
379
0
                ApplyCoinHash(m_muhash, outpoint, coin);
380
0
            }
381
0
        }
382
0
    }
383
384
    // Check that the rolled back muhash is consistent with the DB read out
385
0
    uint256 out;
386
0
    m_muhash.Finalize(out);
387
0
    Assert(read_out.second.muhash == out);
Line
Count
Source
113
0
#define Assert(val) inline_assertion_check<true>(val, std::source_location::current(), #val)
388
389
    // Apply the other values from the DB to the member variables
390
0
    m_transaction_output_count = read_out.second.transaction_output_count;
391
0
    m_total_amount = read_out.second.total_amount;
392
0
    m_bogo_size = read_out.second.bogo_size;
393
0
    m_total_subsidy = read_out.second.total_subsidy;
394
0
    m_total_prevout_spent_amount = read_out.second.total_prevout_spent_amount;
395
0
    m_total_new_outputs_ex_coinbase_amount = read_out.second.total_new_outputs_ex_coinbase_amount;
396
0
    m_total_coinbase_amount = read_out.second.total_coinbase_amount;
397
0
    m_total_unspendables_genesis_block = read_out.second.total_unspendables_genesis_block;
398
0
    m_total_unspendables_bip30 = read_out.second.total_unspendables_bip30;
399
0
    m_total_unspendables_scripts = read_out.second.total_unspendables_scripts;
400
0
    m_total_unspendables_unclaimed_rewards = read_out.second.total_unspendables_unclaimed_rewards;
401
0
    m_current_block_hash = *block.prev_hash;
402
403
0
    return true;
404
0
}