Bitcoin Core 32.99.0
P2P Digital Currency
Loading...
Searching...
No Matches
bloom_tests.cpp
Go to the documentation of this file.
1// Copyright (c) 2012-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 <common/bloom.h>
6
7#include <clientversion.h>
8#include <common/system.h>
9#include <key.h>
10#include <key_io.h>
11#include <merkleblock.h>
12#include <primitives/block.h>
13#include <random.h>
14#include <serialize.h>
15#include <streams.h>
16#include <test/util/common.h>
17#include <test/util/random.h>
18#include <test/util/setup_common.h>
19#include <uint256.h>
20#include <util/check.h>
21#include <util/strencodings.h>
22
23#include <cfenv>
24#include <cmath>
25#include <limits>
26#include <vector>
27
28#include <boost/test/unit_test.hpp>
29
30using namespace util::hex_literals;
31
32namespace bloom_tests {
33struct BloomTest : public BasicTestingSetup {
34 std::vector<unsigned char> RandomData();
35};
36} // namespace bloom_tests
37
38BOOST_FIXTURE_TEST_SUITE(bloom_tests, BloomTest)
39
40BOOST_AUTO_TEST_CASE(bloom_create_insert_serialize)
41{
42 CBloomFilter filter(3, 0.01, 0, BLOOM_UPDATE_ALL);
43
44 BOOST_CHECK_MESSAGE( !filter.contains("99108ad8ed9bb6274d3980bab5a85c048f0950c8"_hex_u8), "Bloom filter should be empty!");
45 filter.insert("99108ad8ed9bb6274d3980bab5a85c048f0950c8"_hex_u8);
46 BOOST_CHECK_MESSAGE( filter.contains("99108ad8ed9bb6274d3980bab5a85c048f0950c8"_hex_u8), "Bloom filter doesn't contain just-inserted object!");
47 // One bit different in first byte
48 BOOST_CHECK_MESSAGE(!filter.contains("19108ad8ed9bb6274d3980bab5a85c048f0950c8"_hex_u8), "Bloom filter contains something it shouldn't!");
49
50 filter.insert("b5a2c786d9ef4658287ced5914b37a1b4aa32eee"_hex_u8);
51 BOOST_CHECK_MESSAGE(filter.contains("b5a2c786d9ef4658287ced5914b37a1b4aa32eee"_hex_u8), "Bloom filter doesn't contain just-inserted object (2)!");
52
53 filter.insert("b9300670b4c5366e95b2699e8b18bc75e5f729c5"_hex_u8);
54 BOOST_CHECK_MESSAGE(filter.contains("b9300670b4c5366e95b2699e8b18bc75e5f729c5"_hex_u8), "Bloom filter doesn't contain just-inserted object (3)!");
55
56 DataStream stream{};
57 stream << filter;
58
59 constexpr auto expected{"03614e9b050000000000000001"_hex};
60 BOOST_CHECK_EQUAL_COLLECTIONS(stream.begin(), stream.end(), expected.begin(), expected.end());
61
62 BOOST_CHECK_MESSAGE( filter.contains("99108ad8ed9bb6274d3980bab5a85c048f0950c8"_hex_u8), "Bloom filter doesn't contain just-inserted object!");
63}
64
65BOOST_AUTO_TEST_CASE(bloom_create_filter_size)
66{
67 auto filter_size{[](unsigned int elements, double false_positive_rate) {
68 DataStream stream{};
69 stream << CBloomFilter{elements, false_positive_rate, /*nTweak=*/0, BLOOM_UPDATE_ALL};
70 return ReadCompactSize(stream);
71 }};
72
73 BOOST_CHECK_EQUAL(filter_size(/*elements=*/10, /*false_positive_rate=*/0.01), 11);
74 BOOST_CHECK_EQUAL(filter_size(/*elements=*/10'000'000, /*false_positive_rate=*/0.01), MAX_BLOOM_FILTER_SIZE);
75 BOOST_CHECK_EQUAL(filter_size(/*elements=*/1, /*false_positive_rate=*/1), 0);
76
77 std::feclearexcept(FE_ALL_EXCEPT);
78 BOOST_CHECK_EQUAL(filter_size(/*elements=*/0, /*false_positive_rate=*/0), 0);
79 // Negative zero compares equal to zero, so it is a valid zero rate.
80 BOOST_CHECK_EQUAL(filter_size(/*elements=*/1, /*false_positive_rate=*/-0.0), MAX_BLOOM_FILTER_SIZE);
81 BOOST_CHECK_EQUAL(filter_size(/*elements=*/1, /*false_positive_rate=*/0), MAX_BLOOM_FILTER_SIZE);
82 BOOST_CHECK_EQUAL(filter_size(std::numeric_limits<unsigned int>::max(), /*false_positive_rate=*/0.01), MAX_BLOOM_FILTER_SIZE);
83 for (double rate : {std::numeric_limits<double>::denorm_min(), std::numeric_limits<double>::min(), std::numeric_limits<double>::epsilon()}) {
84 const auto size{filter_size(/*elements=*/1, rate)};
85 BOOST_CHECK_GT(size, 0);
86 BOOST_CHECK_LE(size, MAX_BLOOM_FILTER_SIZE);
87 }
88 BOOST_REQUIRE_EQUAL(std::fetestexcept(FE_DIVBYZERO | FE_INVALID), 0);
89}
90
91BOOST_AUTO_TEST_CASE(bloom_create_insert_empty)
92{
93 CBloomFilter filter{/*nElements=*/1, /*nFPRate=*/1, /*nTweak=*/0, BLOOM_UPDATE_ALL};
94 BOOST_CHECK(filter.IsWithinSizeConstraints());
95 filter.insert("beef"_hex_u8);
96 BOOST_CHECK(filter.contains("beef"_hex_u8));
97 BOOST_CHECK(filter.contains("deadbeef"_hex_u8)); // An empty filter holds no bits, so it matches everything
98}
99
100BOOST_AUTO_TEST_CASE(bloom_create_invalid_false_positive_rate)
101{
102 test_only_CheckFailuresAreExceptionsNotAborts mock_checks{};
103
104 BOOST_CHECK_EXCEPTION((CBloomFilter{1, std::numeric_limits<double>::signaling_NaN(), /*nTweak=*/0, BLOOM_UPDATE_ALL}), NonFatalCheckError, HasReason{"Internal bug detected"}); // Classifying a signaling NaN may raise FE_INVALID
105 std::feclearexcept(FE_ALL_EXCEPT);
106 for (double rate : {-std::numeric_limits<double>::infinity(), -std::numeric_limits<double>::denorm_min(), std::nextafter(1.0, 2.0), std::numeric_limits<double>::infinity(), std::numeric_limits<double>::quiet_NaN()}) {
107 BOOST_CHECK_EXCEPTION((CBloomFilter{1, rate, /*nTweak=*/0, BLOOM_UPDATE_ALL}), NonFatalCheckError, HasReason{"Internal bug detected"});
108 }
109 BOOST_REQUIRE_EQUAL(std::fetestexcept(FE_DIVBYZERO | FE_INVALID), 0);
110}
111
112BOOST_AUTO_TEST_CASE(bloom_create_insert_serialize_with_tweak)
113{
114 // Same test as bloom_create_insert_serialize, but we add a nTweak of 100
115 CBloomFilter filter(3, 0.01, 2147483649UL, BLOOM_UPDATE_ALL);
116
117 filter.insert("99108ad8ed9bb6274d3980bab5a85c048f0950c8"_hex_u8);
118 BOOST_CHECK_MESSAGE( filter.contains("99108ad8ed9bb6274d3980bab5a85c048f0950c8"_hex_u8), "Bloom filter doesn't contain just-inserted object!");
119 // One bit different in first byte
120 BOOST_CHECK_MESSAGE(!filter.contains("19108ad8ed9bb6274d3980bab5a85c048f0950c8"_hex_u8), "Bloom filter contains something it shouldn't!");
121
122 filter.insert("b5a2c786d9ef4658287ced5914b37a1b4aa32eee"_hex_u8);
123 BOOST_CHECK_MESSAGE(filter.contains("b5a2c786d9ef4658287ced5914b37a1b4aa32eee"_hex_u8), "Bloom filter doesn't contain just-inserted object (2)!");
124
125 filter.insert("b9300670b4c5366e95b2699e8b18bc75e5f729c5"_hex_u8);
126 BOOST_CHECK_MESSAGE(filter.contains("b9300670b4c5366e95b2699e8b18bc75e5f729c5"_hex_u8), "Bloom filter doesn't contain just-inserted object (3)!");
127
128 DataStream stream{};
129 stream << filter;
130
131 constexpr auto expected{"03ce4299050000000100008001"_hex};
132 BOOST_CHECK_EQUAL_COLLECTIONS(stream.begin(), stream.end(), expected.begin(), expected.end());
133}
134
135BOOST_AUTO_TEST_CASE(bloom_create_insert_key)
136{
137 std::string strSecret = std::string("5Kg1gnAjaLfKiwhhPpGS3QfRg2m6awQvaj98JCZBZQ5SuS2F15C");
138 CKey key = DecodeSecret(strSecret);
139 CPubKey pubkey = key.GetPubKey();
140 std::vector<unsigned char> vchPubKey(pubkey.begin(), pubkey.end());
141
142 CBloomFilter filter(2, 0.001, 0, BLOOM_UPDATE_ALL);
143 filter.insert(vchPubKey);
144 uint160 hash = pubkey.GetID();
145 filter.insert(hash);
146
147 DataStream stream{};
148 stream << filter;
149
150 constexpr auto expected{"038fc16b080000000000000001"_hex};
151 BOOST_CHECK_EQUAL_COLLECTIONS(stream.begin(), stream.end(), expected.begin(), expected.end());
152}
153
154BOOST_AUTO_TEST_CASE(bloom_match)
155{
156 // Random real transaction (b4749f017444b051c44dfd2720e88f314ff94f3dd6d56d40ef65854fcd7fff6b)
157 DataStream stream{
158 "01000000010b26e9b7735eb6aabdf358bab62f9816a21ba9ebdb719d5299e88607d722c190000000008b4830450220070aca44506c5cef3a16ed519d7c3c39f8aab192c4e1c90d065f37b8a4af6141022100a8e160b856c2d43d27d8fba71e5aef6405b8643ac4cb7cb3c462aced7f14711a0141046d11fee51b0e60666d5049a9101a72741df480b96ee26488a4d3466b95c9a40ac5eeef87e10a5cd336c19a84565f80fa6c547957b7700ff4dfbdefe76036c339ffffffff021bff3d11000000001976a91404943fdd508053c75000106d3bc6e2754dbcff1988ac2f15de00000000001976a914a266436d2965547608b9e15d9032a7b9d64fa43188ac00000000"_hex,
159 };
160 CTransaction tx(deserialize, TX_WITH_WITNESS, stream);
161
162 // and one which spends it (e2769b09e784f32f62ef849763d4f45b98e07ba658647343b915ff832b110436)
163 unsigned char ch[] = {0x01, 0x00, 0x00, 0x00, 0x01, 0x6b, 0xff, 0x7f, 0xcd, 0x4f, 0x85, 0x65, 0xef, 0x40, 0x6d, 0xd5, 0xd6, 0x3d, 0x4f, 0xf9, 0x4f, 0x31, 0x8f, 0xe8, 0x20, 0x27, 0xfd, 0x4d, 0xc4, 0x51, 0xb0, 0x44, 0x74, 0x01, 0x9f, 0x74, 0xb4, 0x00, 0x00, 0x00, 0x00, 0x8c, 0x49, 0x30, 0x46, 0x02, 0x21, 0x00, 0xda, 0x0d, 0xc6, 0xae, 0xce, 0xfe, 0x1e, 0x06, 0xef, 0xdf, 0x05, 0x77, 0x37, 0x57, 0xde, 0xb1, 0x68, 0x82, 0x09, 0x30, 0xe3, 0xb0, 0xd0, 0x3f, 0x46, 0xf5, 0xfc, 0xf1, 0x50, 0xbf, 0x99, 0x0c, 0x02, 0x21, 0x00, 0xd2, 0x5b, 0x5c, 0x87, 0x04, 0x00, 0x76, 0xe4, 0xf2, 0x53, 0xf8, 0x26, 0x2e, 0x76, 0x3e, 0x2d, 0xd5, 0x1e, 0x7f, 0xf0, 0xbe, 0x15, 0x77, 0x27, 0xc4, 0xbc, 0x42, 0x80, 0x7f, 0x17, 0xbd, 0x39, 0x01, 0x41, 0x04, 0xe6, 0xc2, 0x6e, 0xf6, 0x7d, 0xc6, 0x10, 0xd2, 0xcd, 0x19, 0x24, 0x84, 0x78, 0x9a, 0x6c, 0xf9, 0xae, 0xa9, 0x93, 0x0b, 0x94, 0x4b, 0x7e, 0x2d, 0xb5, 0x34, 0x2b, 0x9d, 0x9e, 0x5b, 0x9f, 0xf7, 0x9a, 0xff, 0x9a, 0x2e, 0xe1, 0x97, 0x8d, 0xd7, 0xfd, 0x01, 0xdf, 0xc5, 0x22, 0xee, 0x02, 0x28, 0x3d, 0x3b, 0x06, 0xa9, 0xd0, 0x3a, 0xcf, 0x80, 0x96, 0x96, 0x8d, 0x7d, 0xbb, 0x0f, 0x91, 0x78, 0xff, 0xff, 0xff, 0xff, 0x02, 0x8b, 0xa7, 0x94, 0x0e, 0x00, 0x00, 0x00, 0x00, 0x19, 0x76, 0xa9, 0x14, 0xba, 0xde, 0xec, 0xfd, 0xef, 0x05, 0x07, 0x24, 0x7f, 0xc8, 0xf7, 0x42, 0x41, 0xd7, 0x3b, 0xc0, 0x39, 0x97, 0x2d, 0x7b, 0x88, 0xac, 0x40, 0x94, 0xa8, 0x02, 0x00, 0x00, 0x00, 0x00, 0x19, 0x76, 0xa9, 0x14, 0xc1, 0x09, 0x32, 0x48, 0x3f, 0xec, 0x93, 0xed, 0x51, 0xf5, 0xfe, 0x95, 0xe7, 0x25, 0x59, 0xf2, 0xcc, 0x70, 0x43, 0xf9, 0x88, 0xac, 0x00, 0x00, 0x00, 0x00, 0x00};
164 std::vector<unsigned char> vch(ch, ch + sizeof(ch) -1);
165 SpanReader spendStream{vch};
166 CTransaction spendingTx(deserialize, TX_WITH_WITNESS, spendStream);
167
168 CBloomFilter filter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
169 filter.insert(uint256{"b4749f017444b051c44dfd2720e88f314ff94f3dd6d56d40ef65854fcd7fff6b"});
170 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(tx), "Simple Bloom filter didn't match tx hash");
171
172 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
173 // byte-reversed tx hash
174 filter.insert("6bff7fcd4f8565ef406dd5d63d4ff94f318fe82027fd4dc451b04474019f74b4"_hex_u8);
175 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(tx), "Simple Bloom filter didn't match manually serialized tx hash");
176
177 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
178 filter.insert("30450220070aca44506c5cef3a16ed519d7c3c39f8aab192c4e1c90d065f37b8a4af6141022100a8e160b856c2d43d27d8fba71e5aef6405b8643ac4cb7cb3c462aced7f14711a01"_hex_u8);
179 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(tx), "Simple Bloom filter didn't match input signature");
180
181 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
182 filter.insert("046d11fee51b0e60666d5049a9101a72741df480b96ee26488a4d3466b95c9a40ac5eeef87e10a5cd336c19a84565f80fa6c547957b7700ff4dfbdefe76036c339"_hex_u8);
183 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(tx), "Simple Bloom filter didn't match input pub key");
184
185 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
186 filter.insert("04943fdd508053c75000106d3bc6e2754dbcff19"_hex_u8);
187 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(tx), "Simple Bloom filter didn't match output address");
188 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(spendingTx), "Simple Bloom filter didn't add output");
189
190 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
191 filter.insert("a266436d2965547608b9e15d9032a7b9d64fa431"_hex_u8);
192 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(tx), "Simple Bloom filter didn't match output address");
193
194 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
195 filter.insert(COutPoint{Txid{"90c122d70786e899529d71dbeba91ba216982fb6ba58f3bdaab65e73b7e9260b"}, 0});
196 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(tx), "Simple Bloom filter didn't match COutPoint");
197
198 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
199 COutPoint prevOutPoint{Txid{"90c122d70786e899529d71dbeba91ba216982fb6ba58f3bdaab65e73b7e9260b"}, 0};
200 {
201 std::vector<unsigned char> data(32 + sizeof(unsigned int));
202 memcpy(data.data(), prevOutPoint.hash.begin(), 32);
203 memcpy(data.data()+32, &prevOutPoint.n, sizeof(unsigned int));
204 filter.insert(data);
205 }
206 BOOST_CHECK_MESSAGE(filter.IsRelevantAndUpdate(tx), "Simple Bloom filter didn't match manually serialized COutPoint");
207
208 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
209 filter.insert(uint256{"00000009e784f32f62ef849763d4f45b98e07ba658647343b915ff832b110436"});
210 BOOST_CHECK_MESSAGE(!filter.IsRelevantAndUpdate(tx), "Simple Bloom filter matched random tx hash");
211
212 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
213 filter.insert("0000006d2965547608b9e15d9032a7b9d64fa431"_hex_u8);
214 BOOST_CHECK_MESSAGE(!filter.IsRelevantAndUpdate(tx), "Simple Bloom filter matched random address");
215
216 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
217 filter.insert(COutPoint{Txid{"90c122d70786e899529d71dbeba91ba216982fb6ba58f3bdaab65e73b7e9260b"}, 1});
218 BOOST_CHECK_MESSAGE(!filter.IsRelevantAndUpdate(tx), "Simple Bloom filter matched COutPoint for an output we didn't care about");
219
220 filter = CBloomFilter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
221 filter.insert(COutPoint{Txid{"000000d70786e899529d71dbeba91ba216982fb6ba58f3bdaab65e73b7e9260b"}, 0});
222 BOOST_CHECK_MESSAGE(!filter.IsRelevantAndUpdate(tx), "Simple Bloom filter matched COutPoint for an output we didn't care about");
223}
224
225BOOST_AUTO_TEST_CASE(merkle_block_1)
226{
227 CBlock block = getBlock13b8a();
228 CBloomFilter filter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
229 // Match the last transaction
230 filter.insert(uint256{"74d681e0e03bafa802c8aa084379aa98d9fcd632ddc2ed9782b586ec87451f20"});
231
232 CMerkleBlock merkleBlock(block, filter);
233 BOOST_CHECK_EQUAL(merkleBlock.header.GetHash().GetHex(), block.GetHash().GetHex());
234
235 BOOST_CHECK_EQUAL(merkleBlock.vMatchedTxn.size(), 1U);
236 std::pair<unsigned int, Txid> pair = merkleBlock.vMatchedTxn[0];
237
238 BOOST_CHECK(merkleBlock.vMatchedTxn[0].second == Txid::FromUint256(uint256{"74d681e0e03bafa802c8aa084379aa98d9fcd632ddc2ed9782b586ec87451f20"}));
239 BOOST_CHECK(merkleBlock.vMatchedTxn[0].first == 8);
240
241 std::vector<Txid> vMatched;
242 std::vector<unsigned int> vIndex;
243 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
244 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
245 for (unsigned int i = 0; i < vMatched.size(); i++)
246 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
247
248 // Also match the 8th transaction
249 filter.insert(uint256{"dd1fd2a6fc16404faf339881a90adbde7f4f728691ac62e8f168809cdfae1053"});
250 merkleBlock = CMerkleBlock(block, filter);
251 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
252
253 BOOST_CHECK(merkleBlock.vMatchedTxn.size() == 2);
254
255 BOOST_CHECK(merkleBlock.vMatchedTxn[1] == pair);
256
257 BOOST_CHECK(merkleBlock.vMatchedTxn[0].second == Txid::FromUint256(uint256{"dd1fd2a6fc16404faf339881a90adbde7f4f728691ac62e8f168809cdfae1053"}));
258 BOOST_CHECK(merkleBlock.vMatchedTxn[0].first == 7);
259
260 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
261 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
262 for (unsigned int i = 0; i < vMatched.size(); i++)
263 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
264}
265
266BOOST_AUTO_TEST_CASE(merkle_block_2)
267{
268 // Random real block (000000005a4ded781e667e06ceefafb71410b511fe0d5adc3e5a27ecbec34ae6)
269 // With 4 txes
270 CBlock block;
271 DataStream stream{
272 "0100000075616236cc2126035fadb38deb65b9102cc2c41c09cdf29fc051906800000000fe7d5e12ef0ff901f6050211249919b1c0653771832b3a80c66cea42847f0ae1d4d26e49ffff001d00f0a4410401000000010000000000000000000000000000000000000000000000000000000000000000ffffffff0804ffff001d029105ffffffff0100f2052a010000004341046d8709a041d34357697dfcb30a9d05900a6294078012bf3bb09c6f9b525f1d16d5503d7905db1ada9501446ea00728668fc5719aa80be2fdfc8a858a4dbdd4fbac00000000010000000255605dc6f5c3dc148b6da58442b0b2cd422be385eab2ebea4119ee9c268d28350000000049483045022100aa46504baa86df8a33b1192b1b9367b4d729dc41e389f2c04f3e5c7f0559aae702205e82253a54bf5c4f65b7428551554b2045167d6d206dfe6a2e198127d3f7df1501ffffffff55605dc6f5c3dc148b6da58442b0b2cd422be385eab2ebea4119ee9c268d2835010000004847304402202329484c35fa9d6bb32a55a70c0982f606ce0e3634b69006138683bcd12cbb6602200c28feb1e2555c3210f1dddb299738b4ff8bbe9667b68cb8764b5ac17b7adf0001ffffffff0200e1f505000000004341046a0765b5865641ce08dd39690aade26dfbf5511430ca428a3089261361cef170e3929a68aee3d8d4848b0c5111b0a37b82b86ad559fd2a745b44d8e8d9dfdc0cac00180d8f000000004341044a656f065871a353f216ca26cef8dde2f03e8c16202d2e8ad769f02032cb86a5eb5e56842e92e19141d60a01928f8dd2c875a390f67c1f6c94cfc617c0ea45afac0000000001000000025f9a06d3acdceb56be1bfeaa3e8a25e62d182fa24fefe899d1c17f1dad4c2028000000004847304402205d6058484157235b06028c30736c15613a28bdb768ee628094ca8b0030d4d6eb0220328789c9a2ec27ddaec0ad5ef58efded42e6ea17c2e1ce838f3d6913f5e95db601ffffffff5f9a06d3acdceb56be1bfeaa3e8a25e62d182fa24fefe899d1c17f1dad4c2028010000004a493046022100c45af050d3cea806cedd0ab22520c53ebe63b987b8954146cdca42487b84bdd6022100b9b027716a6b59e640da50a864d6dd8a0ef24c76ce62391fa3eabaf4d2886d2d01ffffffff0200e1f505000000004341046a0765b5865641ce08dd39690aade26dfbf5511430ca428a3089261361cef170e3929a68aee3d8d4848b0c5111b0a37b82b86ad559fd2a745b44d8e8d9dfdc0cac00180d8f000000004341046a0765b5865641ce08dd39690aade26dfbf5511430ca428a3089261361cef170e3929a68aee3d8d4848b0c5111b0a37b82b86ad559fd2a745b44d8e8d9dfdc0cac000000000100000002e2274e5fea1bf29d963914bd301aa63b64daaf8a3e88f119b5046ca5738a0f6b0000000048473044022016e7a727a061ea2254a6c358376aaa617ac537eb836c77d646ebda4c748aac8b0220192ce28bf9f2c06a6467e6531e27648d2b3e2e2bae85159c9242939840295ba501ffffffffe2274e5fea1bf29d963914bd301aa63b64daaf8a3e88f119b5046ca5738a0f6b010000004a493046022100b7a1a755588d4190118936e15cd217d133b0e4a53c3c15924010d5648d8925c9022100aaef031874db2114f2d869ac2de4ae53908fbfea5b2b1862e181626bb9005c9f01ffffffff0200e1f505000000004341044a656f065871a353f216ca26cef8dde2f03e8c16202d2e8ad769f02032cb86a5eb5e56842e92e19141d60a01928f8dd2c875a390f67c1f6c94cfc617c0ea45afac00180d8f000000004341046a0765b5865641ce08dd39690aade26dfbf5511430ca428a3089261361cef170e3929a68aee3d8d4848b0c5111b0a37b82b86ad559fd2a745b44d8e8d9dfdc0cac00000000"_hex,
273 };
274 stream >> TX_WITH_WITNESS(block);
275
276 CBloomFilter filter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
277 // Match the first transaction
278 filter.insert(uint256{"e980fe9f792d014e73b95203dc1335c5f9ce19ac537a419e6df5b47aecb93b70"});
279
280 CMerkleBlock merkleBlock(block, filter);
281 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
282
283 BOOST_CHECK(merkleBlock.vMatchedTxn.size() == 1);
284 std::pair<unsigned int, Txid> pair = merkleBlock.vMatchedTxn[0];
285
286 BOOST_CHECK(merkleBlock.vMatchedTxn[0].second == Txid::FromUint256(uint256{"e980fe9f792d014e73b95203dc1335c5f9ce19ac537a419e6df5b47aecb93b70"}));
287 BOOST_CHECK(merkleBlock.vMatchedTxn[0].first == 0);
288
289 std::vector<Txid> vMatched;
290 std::vector<unsigned int> vIndex;
291 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
292 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
293 for (unsigned int i = 0; i < vMatched.size(); i++)
294 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
295
296 // Match an output from the second transaction (the pubkey for address 1DZTzaBHUDM7T3QvUKBz4qXMRpkg8jsfB5)
297 // This should match the third transaction because it spends the output matched
298 // It also matches the fourth transaction, which spends to the pubkey again
299 filter.insert("044a656f065871a353f216ca26cef8dde2f03e8c16202d2e8ad769f02032cb86a5eb5e56842e92e19141d60a01928f8dd2c875a390f67c1f6c94cfc617c0ea45af"_hex_u8);
300
301 merkleBlock = CMerkleBlock(block, filter);
302 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
303
304 BOOST_CHECK(merkleBlock.vMatchedTxn.size() == 4);
305
306 BOOST_CHECK(pair == merkleBlock.vMatchedTxn[0]);
307
308 BOOST_CHECK(merkleBlock.vMatchedTxn[1].second == Txid::FromUint256(uint256{"28204cad1d7fc1d199e8ef4fa22f182de6258a3eaafe1bbe56ebdcacd3069a5f"}));
309 BOOST_CHECK(merkleBlock.vMatchedTxn[1].first == 1);
310
311 BOOST_CHECK(merkleBlock.vMatchedTxn[2].second == Txid::FromUint256(uint256{"6b0f8a73a56c04b519f1883e8aafda643ba61a30bd1439969df21bea5f4e27e2"}));
312 BOOST_CHECK(merkleBlock.vMatchedTxn[2].first == 2);
313
314 BOOST_CHECK(merkleBlock.vMatchedTxn[3].second == Txid::FromUint256(uint256{"3c1d7e82342158e4109df2e0b6348b6e84e403d8b4046d7007663ace63cddb23"}));
315 BOOST_CHECK(merkleBlock.vMatchedTxn[3].first == 3);
316
317 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
318 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
319 for (unsigned int i = 0; i < vMatched.size(); i++)
320 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
321}
322
323BOOST_AUTO_TEST_CASE(merkle_block_2_with_update_none)
324{
325 // Random real block (000000005a4ded781e667e06ceefafb71410b511fe0d5adc3e5a27ecbec34ae6)
326 // With 4 txes
327 CBlock block;
328 DataStream stream{
329 "0100000075616236cc2126035fadb38deb65b9102cc2c41c09cdf29fc051906800000000fe7d5e12ef0ff901f6050211249919b1c0653771832b3a80c66cea42847f0ae1d4d26e49ffff001d00f0a4410401000000010000000000000000000000000000000000000000000000000000000000000000ffffffff0804ffff001d029105ffffffff0100f2052a010000004341046d8709a041d34357697dfcb30a9d05900a6294078012bf3bb09c6f9b525f1d16d5503d7905db1ada9501446ea00728668fc5719aa80be2fdfc8a858a4dbdd4fbac00000000010000000255605dc6f5c3dc148b6da58442b0b2cd422be385eab2ebea4119ee9c268d28350000000049483045022100aa46504baa86df8a33b1192b1b9367b4d729dc41e389f2c04f3e5c7f0559aae702205e82253a54bf5c4f65b7428551554b2045167d6d206dfe6a2e198127d3f7df1501ffffffff55605dc6f5c3dc148b6da58442b0b2cd422be385eab2ebea4119ee9c268d2835010000004847304402202329484c35fa9d6bb32a55a70c0982f606ce0e3634b69006138683bcd12cbb6602200c28feb1e2555c3210f1dddb299738b4ff8bbe9667b68cb8764b5ac17b7adf0001ffffffff0200e1f505000000004341046a0765b5865641ce08dd39690aade26dfbf5511430ca428a3089261361cef170e3929a68aee3d8d4848b0c5111b0a37b82b86ad559fd2a745b44d8e8d9dfdc0cac00180d8f000000004341044a656f065871a353f216ca26cef8dde2f03e8c16202d2e8ad769f02032cb86a5eb5e56842e92e19141d60a01928f8dd2c875a390f67c1f6c94cfc617c0ea45afac0000000001000000025f9a06d3acdceb56be1bfeaa3e8a25e62d182fa24fefe899d1c17f1dad4c2028000000004847304402205d6058484157235b06028c30736c15613a28bdb768ee628094ca8b0030d4d6eb0220328789c9a2ec27ddaec0ad5ef58efded42e6ea17c2e1ce838f3d6913f5e95db601ffffffff5f9a06d3acdceb56be1bfeaa3e8a25e62d182fa24fefe899d1c17f1dad4c2028010000004a493046022100c45af050d3cea806cedd0ab22520c53ebe63b987b8954146cdca42487b84bdd6022100b9b027716a6b59e640da50a864d6dd8a0ef24c76ce62391fa3eabaf4d2886d2d01ffffffff0200e1f505000000004341046a0765b5865641ce08dd39690aade26dfbf5511430ca428a3089261361cef170e3929a68aee3d8d4848b0c5111b0a37b82b86ad559fd2a745b44d8e8d9dfdc0cac00180d8f000000004341046a0765b5865641ce08dd39690aade26dfbf5511430ca428a3089261361cef170e3929a68aee3d8d4848b0c5111b0a37b82b86ad559fd2a745b44d8e8d9dfdc0cac000000000100000002e2274e5fea1bf29d963914bd301aa63b64daaf8a3e88f119b5046ca5738a0f6b0000000048473044022016e7a727a061ea2254a6c358376aaa617ac537eb836c77d646ebda4c748aac8b0220192ce28bf9f2c06a6467e6531e27648d2b3e2e2bae85159c9242939840295ba501ffffffffe2274e5fea1bf29d963914bd301aa63b64daaf8a3e88f119b5046ca5738a0f6b010000004a493046022100b7a1a755588d4190118936e15cd217d133b0e4a53c3c15924010d5648d8925c9022100aaef031874db2114f2d869ac2de4ae53908fbfea5b2b1862e181626bb9005c9f01ffffffff0200e1f505000000004341044a656f065871a353f216ca26cef8dde2f03e8c16202d2e8ad769f02032cb86a5eb5e56842e92e19141d60a01928f8dd2c875a390f67c1f6c94cfc617c0ea45afac00180d8f000000004341046a0765b5865641ce08dd39690aade26dfbf5511430ca428a3089261361cef170e3929a68aee3d8d4848b0c5111b0a37b82b86ad559fd2a745b44d8e8d9dfdc0cac00000000"_hex,
330 };
331 stream >> TX_WITH_WITNESS(block);
332
333 CBloomFilter filter(10, 0.000001, 0, BLOOM_UPDATE_NONE);
334 // Match the first transaction
335 filter.insert(uint256{"e980fe9f792d014e73b95203dc1335c5f9ce19ac537a419e6df5b47aecb93b70"});
336
337 CMerkleBlock merkleBlock(block, filter);
338 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
339
340 BOOST_CHECK(merkleBlock.vMatchedTxn.size() == 1);
341 std::pair<unsigned int, Txid> pair = merkleBlock.vMatchedTxn[0];
342
343 BOOST_CHECK(merkleBlock.vMatchedTxn[0].second == Txid::FromUint256(uint256{"e980fe9f792d014e73b95203dc1335c5f9ce19ac537a419e6df5b47aecb93b70"}));
344 BOOST_CHECK(merkleBlock.vMatchedTxn[0].first == 0);
345
346 std::vector<Txid> vMatched;
347 std::vector<unsigned int> vIndex;
348 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
349 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
350 for (unsigned int i = 0; i < vMatched.size(); i++)
351 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
352
353 // Match an output from the second transaction (the pubkey for address 1DZTzaBHUDM7T3QvUKBz4qXMRpkg8jsfB5)
354 // This should not match the third transaction though it spends the output matched
355 // It will match the fourth transaction, which has another pay-to-pubkey output to the same address
356 filter.insert("044a656f065871a353f216ca26cef8dde2f03e8c16202d2e8ad769f02032cb86a5eb5e56842e92e19141d60a01928f8dd2c875a390f67c1f6c94cfc617c0ea45af"_hex_u8);
357
358 merkleBlock = CMerkleBlock(block, filter);
359 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
360
361 BOOST_CHECK(merkleBlock.vMatchedTxn.size() == 3);
362
363 BOOST_CHECK(pair == merkleBlock.vMatchedTxn[0]);
364
365 BOOST_CHECK(merkleBlock.vMatchedTxn[1].second == Txid::FromUint256(uint256{"28204cad1d7fc1d199e8ef4fa22f182de6258a3eaafe1bbe56ebdcacd3069a5f"}));
366 BOOST_CHECK(merkleBlock.vMatchedTxn[1].first == 1);
367
368 BOOST_CHECK(merkleBlock.vMatchedTxn[2].second == Txid::FromUint256(uint256{"3c1d7e82342158e4109df2e0b6348b6e84e403d8b4046d7007663ace63cddb23"}));
369 BOOST_CHECK(merkleBlock.vMatchedTxn[2].first == 3);
370
371 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
372 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
373 for (unsigned int i = 0; i < vMatched.size(); i++)
374 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
375}
376
377BOOST_AUTO_TEST_CASE(merkle_block_3_and_serialize)
378{
379 // Random real block (000000000000dab0130bbcc991d3d7ae6b81aa6f50a798888dfe62337458dc45)
380 // With one tx
381 CBlock block;
382 DataStream stream{
383 "0100000079cda856b143d9db2c1caff01d1aecc8630d30625d10e8b4b8b0000000000000b50cc069d6a3e33e3ff84a5c41d9d3febe7c770fdcc96b2c3ff60abe184f196367291b4d4c86041b8fa45d630101000000010000000000000000000000000000000000000000000000000000000000000000ffffffff08044c86041b020a02ffffffff0100f2052a01000000434104ecd3229b0571c3be876feaac0442a9f13c5a572742927af1dc623353ecf8c202225f64868137a18cdd85cbbb4c74fbccfd4f49639cf1bdc94a5672bb15ad5d4cac00000000"_hex,
384 };
385 stream >> TX_WITH_WITNESS(block);
386
387 CBloomFilter filter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
388 // Match the only transaction
389 filter.insert(uint256{"63194f18be0af63f2c6bc9dc0f777cbefed3d9415c4af83f3ee3a3d669c00cb5"});
390
391 CMerkleBlock merkleBlock(block, filter);
392 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
393
394 BOOST_CHECK(merkleBlock.vMatchedTxn.size() == 1);
395
396 BOOST_CHECK(merkleBlock.vMatchedTxn[0].second == Txid::FromUint256(uint256{"63194f18be0af63f2c6bc9dc0f777cbefed3d9415c4af83f3ee3a3d669c00cb5"}));
397 BOOST_CHECK(merkleBlock.vMatchedTxn[0].first == 0);
398
399 std::vector<Txid> vMatched;
400 std::vector<unsigned int> vIndex;
401 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
402 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
403 for (unsigned int i = 0; i < vMatched.size(); i++)
404 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
405
406 DataStream merkleStream{};
407 merkleStream << merkleBlock;
408
409 constexpr auto expected{"0100000079cda856b143d9db2c1caff01d1aecc8630d30625d10e8b4b8b0000000000000b50cc069d6a3e33e3ff84a5c41d9d3febe7c770fdcc96b2c3ff60abe184f196367291b4d4c86041b8fa45d630100000001b50cc069d6a3e33e3ff84a5c41d9d3febe7c770fdcc96b2c3ff60abe184f19630101"_hex};
410 BOOST_CHECK_EQUAL_COLLECTIONS(merkleStream.begin(), merkleStream.end(), expected.begin(), expected.end());
411}
412
413BOOST_AUTO_TEST_CASE(merkle_block_4)
414{
415 // Random real block (000000000000b731f2eef9e8c63173adfb07e41bd53eb0ef0a6b720d6cb6dea4)
416 // With 7 txes
417 CBlock block;
418 DataStream stream{
419 "0100000082bb869cf3a793432a66e826e05a6fc37469f8efb7421dc880670100000000007f16c5962e8bd963659c793ce370d95f093bc7e367117b3c30c1f8fdd0d9728776381b4d4c86041b554b85290701000000010000000000000000000000000000000000000000000000000000000000000000ffffffff07044c86041b0136ffffffff0100f2052a01000000434104eaafc2314def4ca98ac970241bcab022b9c1e1f4ea423a20f134c876f2c01ec0f0dd5b2e86e7168cefe0d81113c3807420ce13ad1357231a2252247d97a46a91ac000000000100000001bcad20a6a29827d1424f08989255120bf7f3e9e3cdaaa6bb31b0737fe048724300000000494830450220356e834b046cadc0f8ebb5a8a017b02de59c86305403dad52cd77b55af062ea10221009253cd6c119d4729b77c978e1e2aa19f5ea6e0e52b3f16e32fa608cd5bab753901ffffffff02008d380c010000001976a9142b4b8072ecbba129b6453c63e129e643207249ca88ac0065cd1d000000001976a9141b8dd13b994bcfc787b32aeadf58ccb3615cbd5488ac000000000100000003fdacf9b3eb077412e7a968d2e4f11b9a9dee312d666187ed77ee7d26af16cb0b000000008c493046022100ea1608e70911ca0de5af51ba57ad23b9a51db8d28f82c53563c56a05c20f5a87022100a8bdc8b4a8acc8634c6b420410150775eb7f2474f5615f7fccd65af30f310fbf01410465fdf49e29b06b9a1582287b6279014f834edc317695d125ef623c1cc3aaece245bd69fcad7508666e9c74a49dc9056d5fc14338ef38118dc4afae5fe2c585caffffffff309e1913634ecb50f3c4f83e96e70b2df071b497b8973a3e75429df397b5af83000000004948304502202bdb79c596a9ffc24e96f4386199aba386e9bc7b6071516e2b51dda942b3a1ed022100c53a857e76b724fc14d45311eac5019650d415c3abb5428f3aae16d8e69bec2301ffffffff2089e33491695080c9edc18a428f7d834db5b6d372df13ce2b1b0e0cbcb1e6c10000000049483045022100d4ce67c5896ee251c810ac1ff9ceccd328b497c8f553ab6e08431e7d40bad6b5022033119c0c2b7d792d31f1187779c7bd95aefd93d90a715586d73801d9b47471c601ffffffff0100714460030000001976a914c7b55141d097ea5df7a0ed330cf794376e53ec8d88ac0000000001000000045bf0e214aa4069a3e792ecee1e1bf0c1d397cde8dd08138f4b72a00681743447000000008b48304502200c45de8c4f3e2c1821f2fc878cba97b1e6f8807d94930713aa1c86a67b9bf1e40221008581abfef2e30f957815fc89978423746b2086375ca8ecf359c85c2a5b7c88ad01410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffffd669f7d7958d40fc59d2253d88e0f248e29b599c80bbcec344a83dda5f9aa72c000000008a473044022078124c8beeaa825f9e0b30bff96e564dd859432f2d0cb3b72d3d5d93d38d7e930220691d233b6c0f995be5acb03d70a7f7a65b6bc9bdd426260f38a1346669507a3601410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95fffffffff878af0d93f5229a68166cf051fd372bb7a537232946e0a46f53636b4dafdaa4000000008c493046022100c717d1714551663f69c3c5759bdbb3a0fcd3fab023abc0e522fe6440de35d8290221008d9cbe25bffc44af2b18e81c58eb37293fd7fe1c2e7b46fc37ee8c96c50ab1e201410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffff27f2b668859cd7f2f894aa0fd2d9e60963bcd07c88973f425f999b8cbfd7a1e2000000008c493046022100e00847147cbf517bcc2f502f3ddc6d284358d102ed20d47a8aa788a62f0db780022100d17b2d6fa84dcaf1c95d88d7e7c30385aecf415588d749afd3ec81f6022cecd701410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffff0100c817a8040000001976a914b6efd80d99179f4f4ff6f4dd0a007d018c385d2188ac000000000100000001834537b2f1ce8ef9373a258e10545ce5a50b758df616cd4356e0032554ebd3c4000000008b483045022100e68f422dd7c34fdce11eeb4509ddae38201773dd62f284e8aa9d96f85099d0b002202243bd399ff96b649a0fad05fa759d6a882f0af8c90cf7632c2840c29070aec20141045e58067e815c2f464c6a2a15f987758374203895710c2d452442e28496ff38ba8f5fd901dc20e29e88477167fe4fc299bf818fd0d9e1632d467b2a3d9503b1aaffffffff0280d7e636030000001976a914f34c3e10eb387efe872acb614c89e78bfca7815d88ac404b4c00000000001976a914a84e272933aaf87e1715d7786c51dfaeb5b65a6f88ac00000000010000000143ac81c8e6f6ef307dfe17f3d906d999e23e0189fda838c5510d850927e03ae7000000008c4930460221009c87c344760a64cb8ae6685a3eec2c1ac1bed5b88c87de51acd0e124f266c16602210082d07c037359c3a257b5c63ebd90f5a5edf97b2ac1c434b08ca998839f346dd40141040ba7e521fa7946d12edbb1d1e95a15c34bd4398195e86433c92b431cd315f455fe30032ede69cad9d1e1ed6c3c4ec0dbfced53438c625462afb792dcb098544bffffffff0240420f00000000001976a9144676d1b820d63ec272f1900d59d43bc6463d96f888ac40420f00000000001976a914648d04341d00d7968b3405c034adc38d4d8fb9bd88ac00000000010000000248cc917501ea5c55f4a8d2009c0567c40cfe037c2e71af017d0a452ff705e3f1000000008b483045022100bf5fdc86dc5f08a5d5c8e43a8c9d5b1ed8c65562e280007b52b133021acd9acc02205e325d613e555f772802bf413d36ba807892ed1a690a77811d3033b3de226e0a01410429fa713b124484cb2bd7b5557b2c0b9df7b2b1fee61825eadc5ae6c37a9920d38bfccdc7dc3cb0c47d7b173dbc9db8d37db0a33ae487982c59c6f8606e9d1791ffffffff41ed70551dd7e841883ab8f0b16bf04176b7d1480e4f0af9f3d4c3595768d068000000008b4830450221008513ad65187b903aed1102d1d0c47688127658c51106753fed0151ce9c16b80902201432b9ebcb87bd04ceb2de66035fbbaf4bf8b00d1cfe41f1a1f7338f9ad79d210141049d4cf80125bf50be1709f718c07ad15d0fc612b7da1f5570dddc35f2a352f0f27c978b06820edca9ef982c35fda2d255afba340068c5035552368bc7200c1488ffffffff0100093d00000000001976a9148edb68822f1ad580b043c7b3df2e400f8699eb4888ac00000000"_hex,
420 };
421 stream >> TX_WITH_WITNESS(block);
422
423 CBloomFilter filter(10, 0.000001, 0, BLOOM_UPDATE_ALL);
424 // Match the last transaction
425 filter.insert(uint256{"0a2a92f0bda4727d0a13eaddf4dd9ac6b5c61a1429e6b2b818f19b15df0ac154"});
426
427 CMerkleBlock merkleBlock(block, filter);
428 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
429
430 BOOST_CHECK(merkleBlock.vMatchedTxn.size() == 1);
431 std::pair<unsigned int, Txid> pair = merkleBlock.vMatchedTxn[0];
432
433 BOOST_CHECK(merkleBlock.vMatchedTxn[0].second == Txid::FromUint256(uint256{"0a2a92f0bda4727d0a13eaddf4dd9ac6b5c61a1429e6b2b818f19b15df0ac154"}));
434 BOOST_CHECK(merkleBlock.vMatchedTxn[0].first == 6);
435
436 std::vector<Txid> vMatched;
437 std::vector<unsigned int> vIndex;
438 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
439 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
440 for (unsigned int i = 0; i < vMatched.size(); i++)
441 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
442
443 // Also match the 4th transaction
444 filter.insert(uint256{"02981fa052f0481dbc5868f4fc2166035a10f27a03cfd2de67326471df5bc041"});
445 merkleBlock = CMerkleBlock(block, filter);
446 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
447
448 BOOST_CHECK(merkleBlock.vMatchedTxn.size() == 2);
449
450 BOOST_CHECK(merkleBlock.vMatchedTxn[0].second == Txid::FromUint256(uint256{"02981fa052f0481dbc5868f4fc2166035a10f27a03cfd2de67326471df5bc041"}));
451 BOOST_CHECK(merkleBlock.vMatchedTxn[0].first == 3);
452
453 BOOST_CHECK(merkleBlock.vMatchedTxn[1] == pair);
454
455 BOOST_CHECK(merkleBlock.txn.ExtractMatches(vMatched, vIndex) == block.hashMerkleRoot);
456 BOOST_CHECK(vMatched.size() == merkleBlock.vMatchedTxn.size());
457 for (unsigned int i = 0; i < vMatched.size(); i++)
458 BOOST_CHECK(vMatched[i] == merkleBlock.vMatchedTxn[i].second);
459}
460
461BOOST_AUTO_TEST_CASE(merkle_block_4_test_p2pubkey_only)
462{
463 // Random real block (000000000000b731f2eef9e8c63173adfb07e41bd53eb0ef0a6b720d6cb6dea4)
464 // With 7 txes
465 CBlock block;
466 DataStream stream{
467 "0100000082bb869cf3a793432a66e826e05a6fc37469f8efb7421dc880670100000000007f16c5962e8bd963659c793ce370d95f093bc7e367117b3c30c1f8fdd0d9728776381b4d4c86041b554b85290701000000010000000000000000000000000000000000000000000000000000000000000000ffffffff07044c86041b0136ffffffff0100f2052a01000000434104eaafc2314def4ca98ac970241bcab022b9c1e1f4ea423a20f134c876f2c01ec0f0dd5b2e86e7168cefe0d81113c3807420ce13ad1357231a2252247d97a46a91ac000000000100000001bcad20a6a29827d1424f08989255120bf7f3e9e3cdaaa6bb31b0737fe048724300000000494830450220356e834b046cadc0f8ebb5a8a017b02de59c86305403dad52cd77b55af062ea10221009253cd6c119d4729b77c978e1e2aa19f5ea6e0e52b3f16e32fa608cd5bab753901ffffffff02008d380c010000001976a9142b4b8072ecbba129b6453c63e129e643207249ca88ac0065cd1d000000001976a9141b8dd13b994bcfc787b32aeadf58ccb3615cbd5488ac000000000100000003fdacf9b3eb077412e7a968d2e4f11b9a9dee312d666187ed77ee7d26af16cb0b000000008c493046022100ea1608e70911ca0de5af51ba57ad23b9a51db8d28f82c53563c56a05c20f5a87022100a8bdc8b4a8acc8634c6b420410150775eb7f2474f5615f7fccd65af30f310fbf01410465fdf49e29b06b9a1582287b6279014f834edc317695d125ef623c1cc3aaece245bd69fcad7508666e9c74a49dc9056d5fc14338ef38118dc4afae5fe2c585caffffffff309e1913634ecb50f3c4f83e96e70b2df071b497b8973a3e75429df397b5af83000000004948304502202bdb79c596a9ffc24e96f4386199aba386e9bc7b6071516e2b51dda942b3a1ed022100c53a857e76b724fc14d45311eac5019650d415c3abb5428f3aae16d8e69bec2301ffffffff2089e33491695080c9edc18a428f7d834db5b6d372df13ce2b1b0e0cbcb1e6c10000000049483045022100d4ce67c5896ee251c810ac1ff9ceccd328b497c8f553ab6e08431e7d40bad6b5022033119c0c2b7d792d31f1187779c7bd95aefd93d90a715586d73801d9b47471c601ffffffff0100714460030000001976a914c7b55141d097ea5df7a0ed330cf794376e53ec8d88ac0000000001000000045bf0e214aa4069a3e792ecee1e1bf0c1d397cde8dd08138f4b72a00681743447000000008b48304502200c45de8c4f3e2c1821f2fc878cba97b1e6f8807d94930713aa1c86a67b9bf1e40221008581abfef2e30f957815fc89978423746b2086375ca8ecf359c85c2a5b7c88ad01410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffffd669f7d7958d40fc59d2253d88e0f248e29b599c80bbcec344a83dda5f9aa72c000000008a473044022078124c8beeaa825f9e0b30bff96e564dd859432f2d0cb3b72d3d5d93d38d7e930220691d233b6c0f995be5acb03d70a7f7a65b6bc9bdd426260f38a1346669507a3601410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95fffffffff878af0d93f5229a68166cf051fd372bb7a537232946e0a46f53636b4dafdaa4000000008c493046022100c717d1714551663f69c3c5759bdbb3a0fcd3fab023abc0e522fe6440de35d8290221008d9cbe25bffc44af2b18e81c58eb37293fd7fe1c2e7b46fc37ee8c96c50ab1e201410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffff27f2b668859cd7f2f894aa0fd2d9e60963bcd07c88973f425f999b8cbfd7a1e2000000008c493046022100e00847147cbf517bcc2f502f3ddc6d284358d102ed20d47a8aa788a62f0db780022100d17b2d6fa84dcaf1c95d88d7e7c30385aecf415588d749afd3ec81f6022cecd701410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffff0100c817a8040000001976a914b6efd80d99179f4f4ff6f4dd0a007d018c385d2188ac000000000100000001834537b2f1ce8ef9373a258e10545ce5a50b758df616cd4356e0032554ebd3c4000000008b483045022100e68f422dd7c34fdce11eeb4509ddae38201773dd62f284e8aa9d96f85099d0b002202243bd399ff96b649a0fad05fa759d6a882f0af8c90cf7632c2840c29070aec20141045e58067e815c2f464c6a2a15f987758374203895710c2d452442e28496ff38ba8f5fd901dc20e29e88477167fe4fc299bf818fd0d9e1632d467b2a3d9503b1aaffffffff0280d7e636030000001976a914f34c3e10eb387efe872acb614c89e78bfca7815d88ac404b4c00000000001976a914a84e272933aaf87e1715d7786c51dfaeb5b65a6f88ac00000000010000000143ac81c8e6f6ef307dfe17f3d906d999e23e0189fda838c5510d850927e03ae7000000008c4930460221009c87c344760a64cb8ae6685a3eec2c1ac1bed5b88c87de51acd0e124f266c16602210082d07c037359c3a257b5c63ebd90f5a5edf97b2ac1c434b08ca998839f346dd40141040ba7e521fa7946d12edbb1d1e95a15c34bd4398195e86433c92b431cd315f455fe30032ede69cad9d1e1ed6c3c4ec0dbfced53438c625462afb792dcb098544bffffffff0240420f00000000001976a9144676d1b820d63ec272f1900d59d43bc6463d96f888ac40420f00000000001976a914648d04341d00d7968b3405c034adc38d4d8fb9bd88ac00000000010000000248cc917501ea5c55f4a8d2009c0567c40cfe037c2e71af017d0a452ff705e3f1000000008b483045022100bf5fdc86dc5f08a5d5c8e43a8c9d5b1ed8c65562e280007b52b133021acd9acc02205e325d613e555f772802bf413d36ba807892ed1a690a77811d3033b3de226e0a01410429fa713b124484cb2bd7b5557b2c0b9df7b2b1fee61825eadc5ae6c37a9920d38bfccdc7dc3cb0c47d7b173dbc9db8d37db0a33ae487982c59c6f8606e9d1791ffffffff41ed70551dd7e841883ab8f0b16bf04176b7d1480e4f0af9f3d4c3595768d068000000008b4830450221008513ad65187b903aed1102d1d0c47688127658c51106753fed0151ce9c16b80902201432b9ebcb87bd04ceb2de66035fbbaf4bf8b00d1cfe41f1a1f7338f9ad79d210141049d4cf80125bf50be1709f718c07ad15d0fc612b7da1f5570dddc35f2a352f0f27c978b06820edca9ef982c35fda2d255afba340068c5035552368bc7200c1488ffffffff0100093d00000000001976a9148edb68822f1ad580b043c7b3df2e400f8699eb4888ac00000000"_hex,
468 };
469 stream >> TX_WITH_WITNESS(block);
470
471 CBloomFilter filter(10, 0.000001, 0, BLOOM_UPDATE_P2PUBKEY_ONLY);
472 // Match the generation pubkey
473 filter.insert("04eaafc2314def4ca98ac970241bcab022b9c1e1f4ea423a20f134c876f2c01ec0f0dd5b2e86e7168cefe0d81113c3807420ce13ad1357231a2252247d97a46a91"_hex_u8);
474 // ...and the output address of the 4th transaction
475 filter.insert("b6efd80d99179f4f4ff6f4dd0a007d018c385d21"_hex_u8);
476
477 CMerkleBlock merkleBlock(block, filter);
478 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
479
480 // We should match the generation outpoint
481 BOOST_CHECK(filter.contains(COutPoint{Txid{"147caa76786596590baa4e98f5d9f48b86c7765e489f7a6ff3360fe5c674360b"}, 0}));
482 // ... but not the 4th transaction's output (its not pay-2-pubkey)
483 BOOST_CHECK(!filter.contains(COutPoint{Txid{"02981fa052f0481dbc5868f4fc2166035a10f27a03cfd2de67326471df5bc041"}, 0}));
484}
485
486BOOST_AUTO_TEST_CASE(merkle_block_4_test_update_none)
487{
488 // Random real block (000000000000b731f2eef9e8c63173adfb07e41bd53eb0ef0a6b720d6cb6dea4)
489 // With 7 txes
490 CBlock block;
491 DataStream stream{
492 "0100000082bb869cf3a793432a66e826e05a6fc37469f8efb7421dc880670100000000007f16c5962e8bd963659c793ce370d95f093bc7e367117b3c30c1f8fdd0d9728776381b4d4c86041b554b85290701000000010000000000000000000000000000000000000000000000000000000000000000ffffffff07044c86041b0136ffffffff0100f2052a01000000434104eaafc2314def4ca98ac970241bcab022b9c1e1f4ea423a20f134c876f2c01ec0f0dd5b2e86e7168cefe0d81113c3807420ce13ad1357231a2252247d97a46a91ac000000000100000001bcad20a6a29827d1424f08989255120bf7f3e9e3cdaaa6bb31b0737fe048724300000000494830450220356e834b046cadc0f8ebb5a8a017b02de59c86305403dad52cd77b55af062ea10221009253cd6c119d4729b77c978e1e2aa19f5ea6e0e52b3f16e32fa608cd5bab753901ffffffff02008d380c010000001976a9142b4b8072ecbba129b6453c63e129e643207249ca88ac0065cd1d000000001976a9141b8dd13b994bcfc787b32aeadf58ccb3615cbd5488ac000000000100000003fdacf9b3eb077412e7a968d2e4f11b9a9dee312d666187ed77ee7d26af16cb0b000000008c493046022100ea1608e70911ca0de5af51ba57ad23b9a51db8d28f82c53563c56a05c20f5a87022100a8bdc8b4a8acc8634c6b420410150775eb7f2474f5615f7fccd65af30f310fbf01410465fdf49e29b06b9a1582287b6279014f834edc317695d125ef623c1cc3aaece245bd69fcad7508666e9c74a49dc9056d5fc14338ef38118dc4afae5fe2c585caffffffff309e1913634ecb50f3c4f83e96e70b2df071b497b8973a3e75429df397b5af83000000004948304502202bdb79c596a9ffc24e96f4386199aba386e9bc7b6071516e2b51dda942b3a1ed022100c53a857e76b724fc14d45311eac5019650d415c3abb5428f3aae16d8e69bec2301ffffffff2089e33491695080c9edc18a428f7d834db5b6d372df13ce2b1b0e0cbcb1e6c10000000049483045022100d4ce67c5896ee251c810ac1ff9ceccd328b497c8f553ab6e08431e7d40bad6b5022033119c0c2b7d792d31f1187779c7bd95aefd93d90a715586d73801d9b47471c601ffffffff0100714460030000001976a914c7b55141d097ea5df7a0ed330cf794376e53ec8d88ac0000000001000000045bf0e214aa4069a3e792ecee1e1bf0c1d397cde8dd08138f4b72a00681743447000000008b48304502200c45de8c4f3e2c1821f2fc878cba97b1e6f8807d94930713aa1c86a67b9bf1e40221008581abfef2e30f957815fc89978423746b2086375ca8ecf359c85c2a5b7c88ad01410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffffd669f7d7958d40fc59d2253d88e0f248e29b599c80bbcec344a83dda5f9aa72c000000008a473044022078124c8beeaa825f9e0b30bff96e564dd859432f2d0cb3b72d3d5d93d38d7e930220691d233b6c0f995be5acb03d70a7f7a65b6bc9bdd426260f38a1346669507a3601410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95fffffffff878af0d93f5229a68166cf051fd372bb7a537232946e0a46f53636b4dafdaa4000000008c493046022100c717d1714551663f69c3c5759bdbb3a0fcd3fab023abc0e522fe6440de35d8290221008d9cbe25bffc44af2b18e81c58eb37293fd7fe1c2e7b46fc37ee8c96c50ab1e201410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffff27f2b668859cd7f2f894aa0fd2d9e60963bcd07c88973f425f999b8cbfd7a1e2000000008c493046022100e00847147cbf517bcc2f502f3ddc6d284358d102ed20d47a8aa788a62f0db780022100d17b2d6fa84dcaf1c95d88d7e7c30385aecf415588d749afd3ec81f6022cecd701410462bb73f76ca0994fcb8b4271e6fb7561f5c0f9ca0cf6485261c4a0dc894f4ab844c6cdfb97cd0b60ffb5018ffd6238f4d87270efb1d3ae37079b794a92d7ec95ffffffff0100c817a8040000001976a914b6efd80d99179f4f4ff6f4dd0a007d018c385d2188ac000000000100000001834537b2f1ce8ef9373a258e10545ce5a50b758df616cd4356e0032554ebd3c4000000008b483045022100e68f422dd7c34fdce11eeb4509ddae38201773dd62f284e8aa9d96f85099d0b002202243bd399ff96b649a0fad05fa759d6a882f0af8c90cf7632c2840c29070aec20141045e58067e815c2f464c6a2a15f987758374203895710c2d452442e28496ff38ba8f5fd901dc20e29e88477167fe4fc299bf818fd0d9e1632d467b2a3d9503b1aaffffffff0280d7e636030000001976a914f34c3e10eb387efe872acb614c89e78bfca7815d88ac404b4c00000000001976a914a84e272933aaf87e1715d7786c51dfaeb5b65a6f88ac00000000010000000143ac81c8e6f6ef307dfe17f3d906d999e23e0189fda838c5510d850927e03ae7000000008c4930460221009c87c344760a64cb8ae6685a3eec2c1ac1bed5b88c87de51acd0e124f266c16602210082d07c037359c3a257b5c63ebd90f5a5edf97b2ac1c434b08ca998839f346dd40141040ba7e521fa7946d12edbb1d1e95a15c34bd4398195e86433c92b431cd315f455fe30032ede69cad9d1e1ed6c3c4ec0dbfced53438c625462afb792dcb098544bffffffff0240420f00000000001976a9144676d1b820d63ec272f1900d59d43bc6463d96f888ac40420f00000000001976a914648d04341d00d7968b3405c034adc38d4d8fb9bd88ac00000000010000000248cc917501ea5c55f4a8d2009c0567c40cfe037c2e71af017d0a452ff705e3f1000000008b483045022100bf5fdc86dc5f08a5d5c8e43a8c9d5b1ed8c65562e280007b52b133021acd9acc02205e325d613e555f772802bf413d36ba807892ed1a690a77811d3033b3de226e0a01410429fa713b124484cb2bd7b5557b2c0b9df7b2b1fee61825eadc5ae6c37a9920d38bfccdc7dc3cb0c47d7b173dbc9db8d37db0a33ae487982c59c6f8606e9d1791ffffffff41ed70551dd7e841883ab8f0b16bf04176b7d1480e4f0af9f3d4c3595768d068000000008b4830450221008513ad65187b903aed1102d1d0c47688127658c51106753fed0151ce9c16b80902201432b9ebcb87bd04ceb2de66035fbbaf4bf8b00d1cfe41f1a1f7338f9ad79d210141049d4cf80125bf50be1709f718c07ad15d0fc612b7da1f5570dddc35f2a352f0f27c978b06820edca9ef982c35fda2d255afba340068c5035552368bc7200c1488ffffffff0100093d00000000001976a9148edb68822f1ad580b043c7b3df2e400f8699eb4888ac00000000"_hex,
493 };
494 stream >> TX_WITH_WITNESS(block);
495
496 CBloomFilter filter(10, 0.000001, 0, BLOOM_UPDATE_NONE);
497 // Match the generation pubkey
498 filter.insert("04eaafc2314def4ca98ac970241bcab022b9c1e1f4ea423a20f134c876f2c01ec0f0dd5b2e86e7168cefe0d81113c3807420ce13ad1357231a2252247d97a46a91"_hex_u8);
499 // ...and the output address of the 4th transaction
500 filter.insert("b6efd80d99179f4f4ff6f4dd0a007d018c385d21"_hex_u8);
501
502 CMerkleBlock merkleBlock(block, filter);
503 BOOST_CHECK(merkleBlock.header.GetHash() == block.GetHash());
504
505 // We shouldn't match any outpoints (UPDATE_NONE)
506 BOOST_CHECK(!filter.contains(COutPoint{Txid{"147caa76786596590baa4e98f5d9f48b86c7765e489f7a6ff3360fe5c674360b"}, 0}));
507 BOOST_CHECK(!filter.contains(COutPoint{Txid{"02981fa052f0481dbc5868f4fc2166035a10f27a03cfd2de67326471df5bc041"}, 0}));
508}
509
510std::vector<unsigned char> BloomTest::RandomData()
511{
512 uint256 r = m_rng.rand256();
513 return std::vector<unsigned char>(r.begin(), r.end());
514}
515
516BOOST_AUTO_TEST_CASE(rolling_bloom)
517{
518 SeedRandomForTest(SeedRand::ZEROS);
519
520 // last-100-entry, 1% false positive:
521 CRollingBloomFilter rb1(100, 0.01);
522
523 // Overfill:
524 static const int DATASIZE=399;
525 std::vector<unsigned char> data[DATASIZE];
526 for (int i = 0; i < DATASIZE; i++) {
527 data[i] = RandomData();
528 rb1.insert(data[i]);
529 }
530 // Last 100 guaranteed to be remembered:
531 for (int i = 299; i < DATASIZE; i++) {
532 BOOST_CHECK(rb1.contains(data[i]));
533 }
534
535 // false positive rate is 1%, so we should get about 100 hits if
536 // testing 10,000 random keys. We get worst-case false positive
537 // behavior when the filter is as full as possible, which is
538 // when we've inserted one minus an integer multiple of nElement*2.
539 unsigned int nHits = 0;
540 for (int i = 0; i < 10000; i++) {
541 if (rb1.contains(RandomData()))
542 ++nHits;
543 }
544 // Expect about 100 hits
545 BOOST_CHECK_EQUAL(nHits, 71U);
546
547 BOOST_CHECK(rb1.contains(data[DATASIZE-1]));
548 rb1.reset();
549 BOOST_CHECK(!rb1.contains(data[DATASIZE-1]));
550
551 // Now roll through data, make sure last 100 entries
552 // are always remembered:
553 for (int i = 0; i < DATASIZE; i++) {
554 if (i >= 100)
555 BOOST_CHECK(rb1.contains(data[i-100]));
556 rb1.insert(data[i]);
557 BOOST_CHECK(rb1.contains(data[i]));
558 }
559
560 // Insert 999 more random entries:
561 for (int i = 0; i < 999; i++) {
562 std::vector<unsigned char> d = RandomData();
563 rb1.insert(d);
564 BOOST_CHECK(rb1.contains(d));
565 }
566 // Sanity check to make sure the filter isn't just filling up:
567 nHits = 0;
568 for (int i = 0; i < DATASIZE; i++) {
569 if (rb1.contains(data[i]))
570 ++nHits;
571 }
572 // Expect about 5 false positives
573 BOOST_CHECK_EQUAL(nHits, 3U);
574
575 // last-1000-entry, 0.01% false positive:
576 CRollingBloomFilter rb2(1000, 0.001);
577 for (int i = 0; i < DATASIZE; i++) {
578 rb2.insert(data[i]);
579 }
580 // ... room for all of them:
581 for (int i = 0; i < DATASIZE; i++) {
582 BOOST_CHECK(rb2.contains(data[i]));
583 }
584}
585
586BOOST_AUTO_TEST_SUITE_END()
MAX_BLOOM_FILTER_SIZE
constexpr unsigned int MAX_BLOOM_FILTER_SIZE
20,000 items with fp rate < 0.1% or 10,000 items and <0.0001%
Definition bloom.h:18
BLOOM_UPDATE_NONE
@ BLOOM_UPDATE_NONE
Definition bloom.h:27
BLOOM_UPDATE_P2PUBKEY_ONLY
@ BLOOM_UPDATE_P2PUBKEY_ONLY
Definition bloom.h:30
BLOOM_UPDATE_ALL
@ BLOOM_UPDATE_ALL
Definition bloom.h:28
BOOST_AUTO_TEST_CASE
BOOST_AUTO_TEST_CASE(bloom_create_insert_serialize)
Definition bloom_tests.cpp:40
CBlockHeader::hashMerkleRoot
uint256 hashMerkleRoot
Definition block.h:32
CBlockHeader::GetHash
uint256 GetHash() const
Definition block.cpp:14
CBlock
Definition block.h:74
CBloomFilter
BloomFilter is a probabilistic filter which SPV clients provide so that we can filter the transaction...
Definition bloom.h:46
CBloomFilter::insert
void insert(std::span< const unsigned char > vKey)
Definition bloom.cpp:58
CBloomFilter::contains
bool contains(std::span< const unsigned char > vKey) const
Definition bloom.cpp:77
CBloomFilter::IsRelevantAndUpdate
bool IsRelevantAndUpdate(const CTransaction &tx)
Also adds any outputs which match the filter to the filter (to match their spending txes)
Definition bloom.cpp:103
CKey
An encapsulated private key.
Definition key.h:46
CKey::GetPubKey
CPubKey GetPubKey() const
Compute the public key from a private key.
Definition key.cpp:184
CMerkleBlock
Used to relay blocks as header + vector<merkle branch> to filtered nodes.
Definition merkleblock.h:127
COutPoint
An outpoint - a combination of a transaction hash and an index n into its vout.
Definition transaction.h:30
CPubKey
An encapsulated public key.
Definition pubkey.h:43
CPubKey::GetID
CKeyID GetID() const
Get the KeyID of this public key (hash of its serialization)
Definition pubkey.h:169
CPubKey::end
const unsigned char * end() const
Definition pubkey.h:124
CPubKey::begin
const unsigned char * begin() const
Definition pubkey.h:123
CRollingBloomFilter
RollingBloomFilter is a probabilistic "keep track of most recently inserted" set.
Definition bloom.h:112
CTransaction
The basic transaction that is broadcasted on the network and contained in blocks.
Definition transaction.h:287
DataStream
Double ended buffer combining vector and stream-like interfaces.
Definition streams.h:165
HasReason
BOOST_CHECK_EXCEPTION predicates to check the specific validation error.
Definition common.h:38
SpanReader
Minimal stream for reading from an existing byte array by std::span.
Definition streams.h:83
base_blob::end
constexpr unsigned char * end()
Definition uint256.h:102
base_blob::begin
constexpr unsigned char * begin()
Definition uint256.h:101
base_blob::GetHex
std::string GetHex() const
Definition uint256.cpp:11
transaction_identifier< false >
transaction_identifier< false >::FromUint256
static transaction_identifier FromUint256(const uint256 &id)
Definition transaction_identifier.h:38
uint160
160-bit opaque blob.
Definition uint256.h:184
uint256
256-bit opaque blob.
Definition uint256.h:196
data
static const PrecomputedData data
Precomputed COutPoint and CCoins values.
Definition coinscache_sim.cpp:223
BOOST_FIXTURE_TEST_SUITE
BOOST_FIXTURE_TEST_SUITE(cuckoocache_tests, BasicTestingSetup)
Test Suite for CuckooCache.
BOOST_AUTO_TEST_SUITE_END
BOOST_AUTO_TEST_SUITE_END()
BOOST_CHECK_GT
BOOST_CHECK_GT(excessive_headers.size(), MAX_HEADERS_SIZE)
BOOST_CHECK_EXCEPTION
BOOST_CHECK_EXCEPTION(HTTPHeaders{}.Read(reader), std::runtime_error, HasReason{"Empty HTTP header name"})
DecodeSecret
CKey DecodeSecret(const std::string &str)
Definition key_io.cpp:215
key_io.h
bloom_tests
Definition bloom_tests.cpp:32
util::hex_literals
""_hex is a compile-time user-defined literal returning a std::array<std::byte>, equivalent to ParseH...
Definition strencodings.h:386
BOOST_CHECK_EQUAL
#define BOOST_CHECK_EQUAL(v1, v2)
Definition object.cpp:17
BOOST_CHECK
#define BOOST_CHECK(expr)
Definition object.cpp:16
TX_WITH_WITNESS
constexpr TransactionSerParams TX_WITH_WITNESS
Definition transaction.h:181
deserialize
constexpr deserialize_type deserialize
Definition serialize.h:52
ReadCompactSize
uint64_t ReadCompactSize(Stream &is, bool range_check=true)
Decode a CompactSize-encoded variable-length integer.
Definition serialize.h:333
getBlock13b8a
CBlock getBlock13b8a()
Definition setup_common.cpp:682
setup_common.h
BasicTestingSetup
Basic testing setup.
Definition setup_common.h:58
bloom_tests::BloomTest
Definition bloom_tests.cpp:33
bloom_tests::BloomTest::RandomData
std::vector< unsigned char > RandomData()
Definition bloom_tests.cpp:510
test_only_CheckFailuresAreExceptionsNotAborts
Definition check.h:54
SeedRand::ZEROS
@ ZEROS
Seed with a compile time constant of zeros.
BOOST_CHECK_EQUAL_COLLECTIONS
BOOST_CHECK_EQUAL_COLLECTIONS(R1L.begin(), R1L.end(), R1Array, R1Array+uint256::size())
Ticks
constexpr auto Ticks(Dur2 d)
Helper to count the seconds of a duration/time_point.
Definition time.h:82
Generated on Mon Nov 2 2026 20:00:30 for Bitcoin Core by doxygen 1.9.8