Bitcoin Core 29.99.0
P2P Digital Currency
blockencodings.h
Go to the documentation of this file.
1// Copyright (c) 2016-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#ifndef BITCOIN_BLOCKENCODINGS_H
6#define BITCOIN_BLOCKENCODINGS_H
7
8#include <primitives/block.h>
9
10#include <functional>
11
12class CTxMemPool;
14namespace Consensus {
15struct Params;
16};
17
18// Transaction compression schemes for compact block relay can be introduced by writing
19// an actual formatter here.
21
23{
24 uint64_t m_shift = 0;
25
26public:
27 template<typename Stream, typename I>
28 void Ser(Stream& s, I v)
29 {
30 if (v < m_shift || v >= std::numeric_limits<uint64_t>::max()) throw std::ios_base::failure("differential value overflow");
32 m_shift = uint64_t(v) + 1;
33 }
34 template<typename Stream, typename I>
35 void Unser(Stream& s, I& v)
36 {
37 uint64_t n = ReadCompactSize(s);
38 m_shift += n;
39 if (m_shift < n || m_shift >= std::numeric_limits<uint64_t>::max() || m_shift < std::numeric_limits<I>::min() || m_shift > std::numeric_limits<I>::max()) throw std::ios_base::failure("differential value overflow");
40 v = I(m_shift++);
41 }
42};
43
45public:
46 // A BlockTransactionsRequest message
48 std::vector<uint16_t> indexes;
49
51 {
52 READWRITE(obj.blockhash, Using<VectorFormatter<DifferenceFormatter>>(obj.indexes));
53 }
54};
55
57public:
58 // A BlockTransactions message
60 std::vector<CTransactionRef> txn;
61
62 BlockTransactions() = default;
64 blockhash(req.blockhash), txn(req.indexes.size()) {}
65
67 {
69 }
70};
71
72// Dumb serialization/storage-helper for CBlockHeaderAndShortTxIDs and PartiallyDownloadedBlock
74 // Used as an offset since last prefilled tx in CBlockHeaderAndShortTxIDs,
75 // as a proper transaction-in-block-index in PartiallyDownloadedBlock
76 uint16_t index;
78
79 SERIALIZE_METHODS(PrefilledTransaction, obj) { READWRITE(COMPACTSIZE(obj.index), TX_WITH_WITNESS(Using<TransactionCompression>(obj.tx))); }
80};
81
82typedef enum ReadStatus_t
83{
85 READ_STATUS_INVALID, // Invalid object, peer is sending bogus crap
86 READ_STATUS_FAILED, // Failed to process object
88
90private:
91 mutable uint64_t shorttxidk0, shorttxidk1;
92 uint64_t nonce;
93
94 void FillShortTxIDSelector() const;
95
97
98protected:
99 std::vector<uint64_t> shorttxids;
100 std::vector<PrefilledTransaction> prefilledtxn;
101
102public:
103 static constexpr int SHORTTXIDS_LENGTH = 6;
104
106
111
115 CBlockHeaderAndShortTxIDs(const CBlock& block, const uint64_t nonce);
116
117 uint64_t GetShortID(const Wtxid& wtxid) const;
118
119 size_t BlockTxCount() const { return shorttxids.size() + prefilledtxn.size(); }
120
122 {
123 READWRITE(obj.header, obj.nonce, Using<VectorFormatter<CustomUintFormatter<SHORTTXIDS_LENGTH>>>(obj.shorttxids), obj.prefilledtxn);
124 if (ser_action.ForRead()) {
125 if (obj.BlockTxCount() > std::numeric_limits<uint16_t>::max()) {
126 throw std::ios_base::failure("indexes overflowed 16 bits");
127 }
128 obj.FillShortTxIDSelector();
129 }
130 }
131};
132
134protected:
135 std::vector<CTransactionRef> txn_available;
138public:
140
141 // Can be overridden for testing
142 using IsBlockMutatedFn = std::function<bool(const CBlock&, bool)>;
144
145 explicit PartiallyDownloadedBlock(CTxMemPool* poolIn) : pool(poolIn) {}
146
147 // extra_txn is a list of extra orphan/conflicted/etc transactions to look at
148 ReadStatus InitData(const CBlockHeaderAndShortTxIDs& cmpctblock, const std::vector<CTransactionRef>& extra_txn);
149 bool IsTxAvailable(size_t index) const;
150 // segwit_active enforces witness mutation checks just before reporting a healthy status
151 ReadStatus FillBlock(CBlock& block, const std::vector<CTransactionRef>& vtx_missing, bool segwit_active);
152};
153
154#endif // BITCOIN_BLOCKENCODINGS_H
ReadStatus_t
@ READ_STATUS_OK
@ READ_STATUS_INVALID
@ READ_STATUS_FAILED
enum ReadStatus_t ReadStatus
std::vector< CTransactionRef > txn
BlockTransactions(const BlockTransactionsRequest &req)
BlockTransactions()=default
SERIALIZE_METHODS(BlockTransactions, obj)
SERIALIZE_METHODS(BlockTransactionsRequest, obj)
std::vector< uint16_t > indexes
CBlockHeaderAndShortTxIDs()=default
Dummy for deserialization.
void FillShortTxIDSelector() const
SERIALIZE_METHODS(CBlockHeaderAndShortTxIDs, obj)
uint64_t GetShortID(const Wtxid &wtxid) const
std::vector< PrefilledTransaction > prefilledtxn
static constexpr int SHORTTXIDS_LENGTH
std::vector< uint64_t > shorttxids
Nodes collect new transactions into a block, hash them into a hash tree, and scan through nonce value...
Definition: block.h:22
Definition: block.h:69
CTxMemPool stores valid-according-to-the-current-best-chain transactions that may be included in the ...
Definition: txmempool.h:281
void Unser(Stream &s, I &v)
void Ser(Stream &s, I v)
PartiallyDownloadedBlock(CTxMemPool *poolIn)
const CTxMemPool * pool
IsBlockMutatedFn m_check_block_mutated_mock
std::vector< CTransactionRef > txn_available
ReadStatus InitData(const CBlockHeaderAndShortTxIDs &cmpctblock, const std::vector< CTransactionRef > &extra_txn)
ReadStatus FillBlock(CBlock &block, const std::vector< CTransactionRef > &vtx_missing, bool segwit_active)
std::function< bool(const CBlock &, bool)> IsBlockMutatedFn
bool IsTxAvailable(size_t index) const
transaction_identifier represents the two canonical transaction identifier types (txid,...
256-bit opaque blob.
Definition: uint256.h:196
Transaction validation functions.
static constexpr TransactionSerParams TX_WITH_WITNESS
Definition: transaction.h:195
std::shared_ptr< const CTransaction > CTransactionRef
Definition: transaction.h:423
void WriteCompactSize(SizeComputer &os, uint64_t nSize)
Definition: serialize.h:1088
uint64_t ReadCompactSize(Stream &is, bool range_check=true)
Decode a CompactSize-encoded variable-length integer.
Definition: serialize.h:330
static Wrapper< Formatter, T & > Using(T &&t)
Cause serialization/deserialization of an object to be done using a specified formatter class.
Definition: serialize.h:488
#define COMPACTSIZE(obj)
Definition: serialize.h:492
#define READWRITE(...)
Definition: serialize.h:145
Parameters that influence chain consensus.
Definition: params.h:83
Serialization wrapper class for custom integers and enums.
Definition: serialize.h:521
Default formatter.
Definition: serialize.h:763
SERIALIZE_METHODS(PrefilledTransaction, obj)
CTransactionRef tx
Formatter to serialize/deserialize vector elements using another formatter.
Definition: serialize.h:650