Bitcoin Core 32.99.0
P2P Digital Currency
Loading...
Searching...
No Matches
miniscript.cpp
Go to the documentation of this file.
1// Copyright (c) 2021-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 <core_io.h>
6#include <hash.h>
7#include <key.h>
8#include <script/miniscript.h>
9#include <script/script.h>
12#include <test/fuzz/fuzz.h>
13#include <test/fuzz/util.h>
15#include <util/strencodings.h>
16
17#include <algorithm>
18#include <map>
19#include <optional>
20#include <vector>
21
22namespace {
23
25using Node = miniscript::Node<CPubKey>;
26using Type = miniscript::Type;
28using miniscript::operator""_mst;
29
31struct TestData {
32 typedef CPubKey Key;
33
34 // Precomputed public keys, and a dummy signature for each of them.
35 std::vector<Key> dummy_keys;
36 std::map<Key, int> dummy_key_idx_map;
37 std::map<CKeyID, Key> dummy_keys_map;
38 std::map<Key, std::pair<std::vector<unsigned char>, bool>> dummy_sigs;
39 std::map<XOnlyPubKey, std::pair<std::vector<unsigned char>, bool>> schnorr_sigs;
40
41 // Precomputed hashes of each kind.
42 std::vector<std::vector<unsigned char>> sha256;
43 std::vector<std::vector<unsigned char>> ripemd160;
44 std::vector<std::vector<unsigned char>> hash256;
45 std::vector<std::vector<unsigned char>> hash160;
46 std::map<std::vector<unsigned char>, std::vector<unsigned char>> sha256_preimages;
47 std::map<std::vector<unsigned char>, std::vector<unsigned char>> ripemd160_preimages;
48 std::map<std::vector<unsigned char>, std::vector<unsigned char>> hash256_preimages;
49 std::map<std::vector<unsigned char>, std::vector<unsigned char>> hash160_preimages;
50
52 void Init() {
53 unsigned char keydata[32] = {1};
54 // All our signatures sign (and are required to sign) this constant message.
55 constexpr uint256 MESSAGE_HASH{"0000000000000000f5cd94e18b6fe77dd7aca9e35c2b0c9cbd86356c80a71065"};
56 // We don't pass additional randomness when creating a schnorr signature.
57 const auto EMPTY_AUX{uint256::ZERO};
58
59 for (size_t i = 0; i < 256; i++) {
60 keydata[31] = i;
62 privkey.Set(keydata, keydata + 32, true);
63 const Key pubkey = privkey.GetPubKey();
64
65 dummy_keys.push_back(pubkey);
66 dummy_key_idx_map.emplace(pubkey, i);
67 dummy_keys_map.insert({pubkey.GetID(), pubkey});
69 dummy_key_idx_map.emplace(xonly_pubkey, i);
71 dummy_keys_map.emplace(xonly_hash, pubkey);
72
73 std::vector<unsigned char> sig, schnorr_sig(64);
74 privkey.Sign(MESSAGE_HASH, sig);
75 sig.push_back(1); // SIGHASH_ALL
76 dummy_sigs.insert({pubkey, {sig, i & 1}});
77 assert(privkey.SignSchnorr(MESSAGE_HASH, schnorr_sig, nullptr, EMPTY_AUX));
78 schnorr_sig.push_back(1); // Maximally-sized signature has sighash byte
79 schnorr_sigs.emplace(XOnlyPubKey{pubkey}, std::make_pair(std::move(schnorr_sig), i & 1));
80
81 std::vector<unsigned char> hash;
82 hash.resize(32);
83 CSHA256().Write(keydata, 32).Finalize(hash.data());
84 sha256.push_back(hash);
85 if (i & 1) sha256_preimages[hash] = std::vector<unsigned char>(keydata, keydata + 32);
86 CHash256().Write(keydata).Finalize(hash);
87 hash256.push_back(hash);
88 if (i & 1) hash256_preimages[hash] = std::vector<unsigned char>(keydata, keydata + 32);
89 hash.resize(20);
90 CRIPEMD160().Write(keydata, 32).Finalize(hash.data());
91 assert(hash.size() == 20);
92 ripemd160.push_back(hash);
93 if (i & 1) ripemd160_preimages[hash] = std::vector<unsigned char>(keydata, keydata + 32);
94 CHash160().Write(keydata).Finalize(hash);
95 hash160.push_back(hash);
96 if (i & 1) hash160_preimages[hash] = std::vector<unsigned char>(keydata, keydata + 32);
97 }
98 }
99
101 const std::pair<std::vector<unsigned char>, bool>* GetSig(const MsCtx script_ctx, const Key& key) const {
102 if (!miniscript::IsTapscript(script_ctx)) {
103 const auto it = dummy_sigs.find(key);
104 if (it == dummy_sigs.end()) return nullptr;
105 return &it->second;
106 } else {
107 const auto it = schnorr_sigs.find(XOnlyPubKey{key});
108 if (it == schnorr_sigs.end()) return nullptr;
109 return &it->second;
110 }
111 }
112} TEST_DATA;
113
119struct ParserContext {
120 typedef CPubKey Key;
121
122 const MsCtx script_ctx;
123
124 constexpr ParserContext(MsCtx ctx) noexcept : script_ctx(ctx) {}
125
126 bool KeyCompare(const Key& a, const Key& b) const {
127 return a < b;
128 }
129
130 std::optional<std::string> ToString(const Key& key, bool& has_priv_key) const
131 {
132 has_priv_key = false;
133 auto it = TEST_DATA.dummy_key_idx_map.find(key);
134 if (it == TEST_DATA.dummy_key_idx_map.end()) {
135 return HexStr(key);
136 }
137 has_priv_key = true;
138 uint8_t idx = it->second;
139 return HexStr(std::span{&idx, 1});
140 }
141
142 std::vector<unsigned char> ToPKBytes(const Key& key) const {
143 if (!miniscript::IsTapscript(script_ctx)) {
144 return {key.begin(), key.end()};
145 }
146 const XOnlyPubKey xonly_pubkey{key};
147 return {xonly_pubkey.begin(), xonly_pubkey.end()};
148 }
149
150 std::vector<unsigned char> ToPKHBytes(const Key& key) const {
151 if (!miniscript::IsTapscript(script_ctx)) {
152 const auto h = Hash160(key);
153 return {h.begin(), h.end()};
154 }
155 const auto h = Hash160(XOnlyPubKey{key});
156 return {h.begin(), h.end()};
157 }
158
159 std::optional<Key> FromString(std::span<const char>& in) const {
160 if (in.size() != 2) return {};
161 auto idx = ParseHex(std::string(in.begin(), in.end()));
162 if (idx.size() != 1) return {};
163 return TEST_DATA.dummy_keys[idx[0]];
164 }
165
166 template<typename I>
167 std::optional<Key> FromPKBytes(I first, I last) const {
168 if (!miniscript::IsTapscript(script_ctx)) {
169 Key key{first, last};
170 if (key.IsValid()) return key;
171 return {};
172 }
173 if (last - first != 32) return {};
175 std::copy(first, last, xonly_pubkey.begin());
176 return xonly_pubkey.GetEvenCorrespondingCPubKey();
177 }
178
179 template<typename I>
180 std::optional<Key> FromPKHBytes(I first, I last) const {
181 assert(last - first == 20);
183 std::copy(first, last, keyid.begin());
184 const auto it = TEST_DATA.dummy_keys_map.find(keyid);
185 if (it == TEST_DATA.dummy_keys_map.end()) return {};
186 return it->second;
187 }
188
189 MsCtx MsContext() const {
190 return script_ctx;
191 }
192};
193
195struct ScriptParserContext {
196 const MsCtx script_ctx;
197
198 constexpr ScriptParserContext(MsCtx ctx) noexcept : script_ctx(ctx) {}
199
201 struct Key {
202 bool is_hash;
203 std::vector<unsigned char> data;
204 };
205
206 bool KeyCompare(const Key& a, const Key& b) const {
207 return a.data < b.data;
208 }
209
210 const std::vector<unsigned char>& ToPKBytes(const Key& key) const
211 {
212 assert(!key.is_hash);
213 return key.data;
214 }
215
216 std::vector<unsigned char> ToPKHBytes(const Key& key) const
217 {
218 if (key.is_hash) return key.data;
219 const auto h = Hash160(key.data);
220 return {h.begin(), h.end()};
221 }
222
223 template<typename I>
224 std::optional<Key> FromPKBytes(I first, I last) const
225 {
226 Key key;
227 key.data.assign(first, last);
228 key.is_hash = false;
229 return key;
230 }
231
232 template<typename I>
233 std::optional<Key> FromPKHBytes(I first, I last) const
234 {
235 Key key;
236 key.data.assign(first, last);
237 key.is_hash = true;
238 return key;
239 }
240
241 MsCtx MsContext() const {
242 return script_ctx;
243 }
244};
245
247struct SatisfierContext : ParserContext {
248
249 constexpr SatisfierContext(MsCtx ctx) noexcept : ParserContext(ctx) {}
250
251 // Timelock challenges satisfaction. Make the value (deterministically) vary to explore different
252 // paths.
253 bool CheckAfter(uint32_t value) const { return value % 2; }
254 bool CheckOlder(uint32_t value) const { return value % 2; }
255
256 // Signature challenges fulfilled with a dummy signature, if it was one of our dummy keys.
257 miniscript::Availability Sign(const CPubKey& key, std::vector<unsigned char>& sig) const {
258 bool sig_available{false};
259 if (auto res = TEST_DATA.GetSig(script_ctx, key)) {
260 std::tie(sig, sig_available) = *res;
261 }
263 }
264
266 miniscript::Availability LookupHash(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage,
267 const std::map<std::vector<unsigned char>, std::vector<unsigned char>>& map) const
268 {
269 const auto it = map.find(hash);
270 if (it == map.end()) return miniscript::Availability::NO;
271 preimage = it->second;
273 }
274 miniscript::Availability SatSHA256(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage) const {
275 return LookupHash(hash, preimage, TEST_DATA.sha256_preimages);
276 }
277 miniscript::Availability SatRIPEMD160(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage) const {
278 return LookupHash(hash, preimage, TEST_DATA.ripemd160_preimages);
279 }
280 miniscript::Availability SatHASH256(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage) const {
281 return LookupHash(hash, preimage, TEST_DATA.hash256_preimages);
282 }
283 miniscript::Availability SatHASH160(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage) const {
284 return LookupHash(hash, preimage, TEST_DATA.hash160_preimages);
285 }
286};
287
289const struct CheckerContext: BaseSignatureChecker {
290 // Signature checker methods. Checks the right dummy signature is used.
291 bool CheckECDSASignature(const std::vector<unsigned char>& sig, const std::vector<unsigned char>& vchPubKey,
292 const CScript& scriptCode, SigVersion sigversion) const override
293 {
294 const CPubKey key{vchPubKey};
295 const auto it = TEST_DATA.dummy_sigs.find(key);
296 if (it == TEST_DATA.dummy_sigs.end()) return false;
297 return it->second.first == sig;
298 }
299 bool CheckSchnorrSignature(std::span<const unsigned char> sig, std::span<const unsigned char> pubkey, SigVersion,
300 ScriptExecutionData&, ScriptError*) const override {
301 XOnlyPubKey pk{pubkey};
302 auto it = TEST_DATA.schnorr_sigs.find(pk);
303 if (it == TEST_DATA.schnorr_sigs.end()) return false;
304 return std::ranges::equal(it->second.first, sig);
305 }
306 bool CheckLockTime(const CScriptNum& nLockTime) const override { return nLockTime.GetInt64() & 1; }
307 bool CheckSequence(const CScriptNum& nSequence) const override { return nSequence.GetInt64() & 1; }
309
311const struct KeyComparator {
312 bool KeyCompare(const CPubKey& a, const CPubKey& b) const {
313 return a < b;
314 }
315} KEY_COMP;
316
317// A dummy scriptsig to pass to VerifyScript (we always use Segwit v0).
319
321struct NodeInfo {
323 Fragment fragment;
325 uint32_t k;
327 std::vector<CPubKey> keys;
329 std::vector<unsigned char> hash;
331 std::vector<Type> subtypes;
332
333 NodeInfo(Fragment frag): fragment(frag), k(0) {}
334 NodeInfo(Fragment frag, CPubKey key): fragment(frag), k(0), keys({key}) {}
335 NodeInfo(Fragment frag, uint32_t _k): fragment(frag), k(_k) {}
336 NodeInfo(Fragment frag, std::vector<unsigned char> h): fragment(frag), k(0), hash(std::move(h)) {}
337 NodeInfo(std::vector<Type> subt, Fragment frag): fragment(frag), k(0), subtypes(std::move(subt)) {}
338 NodeInfo(std::vector<Type> subt, Fragment frag, uint32_t _k): fragment(frag), k(_k), subtypes(std::move(subt)) {}
339 NodeInfo(Fragment frag, uint32_t _k, std::vector<CPubKey> _keys): fragment(frag), k(_k), keys(std::move(_keys)) {}
340};
341
343template<typename T, typename A>
346 return col[i];
347}
348
350 return ConsumeIndex<CPubKey>(provider, TEST_DATA.dummy_keys);
351}
352
353std::vector<unsigned char> ConsumeSha256(FuzzedDataProvider& provider) {
355}
356
357std::vector<unsigned char> ConsumeHash256(FuzzedDataProvider& provider) {
359}
360
361std::vector<unsigned char> ConsumeRipemd160(FuzzedDataProvider& provider) {
363}
364
365std::vector<unsigned char> ConsumeHash160(FuzzedDataProvider& provider) {
367}
368
369std::optional<uint32_t> ConsumeTimeLock(FuzzedDataProvider& provider) {
371 if (k == 0 || k >= 0x80000000) return {};
372 return k;
373}
374
389std::optional<NodeInfo> ConsumeNodeStable(MsCtx script_ctx, FuzzedDataProvider& provider, Type type_needed) {
390 bool allow_B = (type_needed == ""_mst) || (type_needed << "B"_mst);
391 bool allow_K = (type_needed == ""_mst) || (type_needed << "K"_mst);
392 bool allow_V = (type_needed == ""_mst) || (type_needed << "V"_mst);
393 bool allow_W = (type_needed == ""_mst) || (type_needed << "W"_mst);
394
395 switch (provider.ConsumeIntegral<uint8_t>()) {
396 case 0:
397 if (!allow_B) return {};
398 return {{Fragment::JUST_0}};
399 case 1:
400 if (!allow_B) return {};
401 return {{Fragment::JUST_1}};
402 case 2:
403 if (!allow_K) return {};
404 return {{Fragment::PK_K, ConsumePubKey(provider)}};
405 case 3:
406 if (!allow_K) return {};
407 return {{Fragment::PK_H, ConsumePubKey(provider)}};
408 case 4: {
409 if (!allow_B) return {};
410 const auto k = ConsumeTimeLock(provider);
411 if (!k) return {};
412 return {{Fragment::OLDER, *k}};
413 }
414 case 5: {
415 if (!allow_B) return {};
416 const auto k = ConsumeTimeLock(provider);
417 if (!k) return {};
418 return {{Fragment::AFTER, *k}};
419 }
420 case 6:
421 if (!allow_B) return {};
422 return {{Fragment::SHA256, ConsumeSha256(provider)}};
423 case 7:
424 if (!allow_B) return {};
425 return {{Fragment::HASH256, ConsumeHash256(provider)}};
426 case 8:
427 if (!allow_B) return {};
428 return {{Fragment::RIPEMD160, ConsumeRipemd160(provider)}};
429 case 9:
430 if (!allow_B) return {};
431 return {{Fragment::HASH160, ConsumeHash160(provider)}};
432 case 10: {
433 if (!allow_B || IsTapscript(script_ctx)) return {};
434 const auto k = provider.ConsumeIntegral<uint8_t>();
435 const auto n_keys = provider.ConsumeIntegral<uint8_t>();
436 if (n_keys > 20 || k == 0 || k > n_keys) return {};
437 std::vector<CPubKey> keys{n_keys};
438 for (auto& key: keys) key = ConsumePubKey(provider);
439 return {{Fragment::MULTI, k, std::move(keys)}};
440 }
441 case 11:
442 if (!(allow_B || allow_K || allow_V)) return {};
443 return {{{"B"_mst, type_needed, type_needed}, Fragment::ANDOR}};
444 case 12:
445 if (!(allow_B || allow_K || allow_V)) return {};
446 return {{{"V"_mst, type_needed}, Fragment::AND_V}};
447 case 13:
448 if (!allow_B) return {};
449 return {{{"B"_mst, "W"_mst}, Fragment::AND_B}};
450 case 15:
451 if (!allow_B) return {};
452 return {{{"B"_mst, "W"_mst}, Fragment::OR_B}};
453 case 16:
454 if (!allow_V) return {};
455 return {{{"B"_mst, "V"_mst}, Fragment::OR_C}};
456 case 17:
457 if (!allow_B) return {};
458 return {{{"B"_mst, "B"_mst}, Fragment::OR_D}};
459 case 18:
460 if (!(allow_B || allow_K || allow_V)) return {};
461 return {{{type_needed, type_needed}, Fragment::OR_I}};
462 case 19: {
463 if (!allow_B) return {};
466 if (k == 0 || k > n_subs) return {};
467 std::vector<Type> subtypes;
468 subtypes.reserve(n_subs);
469 subtypes.emplace_back("B"_mst);
470 for (size_t i = 1; i < n_subs; ++i) subtypes.emplace_back("W"_mst);
471 return {{std::move(subtypes), Fragment::THRESH, k}};
472 }
473 case 20:
474 if (!allow_W) return {};
475 return {{{"B"_mst}, Fragment::WRAP_A}};
476 case 21:
477 if (!allow_W) return {};
478 return {{{"B"_mst}, Fragment::WRAP_S}};
479 case 22:
480 if (!allow_B) return {};
481 return {{{"K"_mst}, Fragment::WRAP_C}};
482 case 23:
483 if (!allow_B) return {};
484 return {{{"V"_mst}, Fragment::WRAP_D}};
485 case 24:
486 if (!allow_V) return {};
487 return {{{"B"_mst}, Fragment::WRAP_V}};
488 case 25:
489 if (!allow_B) return {};
490 return {{{"B"_mst}, Fragment::WRAP_J}};
491 case 26:
492 if (!allow_B) return {};
493 return {{{"B"_mst}, Fragment::WRAP_N}};
494 case 27: {
495 if (!allow_B || !IsTapscript(script_ctx)) return {};
496 const auto k = provider.ConsumeIntegral<uint16_t>();
497 const auto n_keys = provider.ConsumeIntegral<uint16_t>();
498 if (n_keys > 999 || k == 0 || k > n_keys) return {};
499 std::vector<CPubKey> keys{n_keys};
500 for (auto& key: keys) key = ConsumePubKey(provider);
501 return {{Fragment::MULTI_A, k, std::move(keys)}};
502 }
503 default:
504 break;
505 }
506 return {};
507}
508
509/* This structure contains a table which for each "target" Type a list of recipes
510 * to construct it, automatically inferred from the behavior of ComputeType.
511 * Note that the Types here are not the final types of the constructed Nodes, but
512 * just the subset that are required. For example, a recipe for the "Bo" type
513 * might construct a "Bondu" sha256() NodeInfo, but cannot construct a "Bz" older().
514 * Each recipe is a Fragment together with a list of required types for its subnodes.
515 */
516struct SmartInfo
517{
518 using recipe = std::pair<Fragment, std::vector<Type>>;
519 std::map<Type, std::vector<recipe>> wsh_table, tap_table;
520
521 void Init()
522 {
523 Init(wsh_table, MsCtx::P2WSH);
524 Init(tap_table, MsCtx::TAPSCRIPT);
525 }
526
527 void Init(std::map<Type, std::vector<recipe>>& table, MsCtx script_ctx)
528 {
529 /* Construct a set of interesting type requirements to reason with (sections of BKVWzondu). */
530 std::vector<Type> types;
531 for (int base = 0; base < 4; ++base) { /* select from B,K,V,W */
532 Type type_base = base == 0 ? "B"_mst : base == 1 ? "K"_mst : base == 2 ? "V"_mst : "W"_mst;
533 for (int zo = 0; zo < 3; ++zo) { /* select from z,o,(none) */
534 Type type_zo = zo == 0 ? "z"_mst : zo == 1 ? "o"_mst : ""_mst;
535 for (int n = 0; n < 2; ++n) { /* select from (none),n */
536 if (zo == 0 && n == 1) continue; /* z conflicts with n */
537 if (base == 3 && n == 1) continue; /* W conflicts with n */
538 Type type_n = n == 0 ? ""_mst : "n"_mst;
539 for (int d = 0; d < 2; ++d) { /* select from (none),d */
540 if (base == 2 && d == 1) continue; /* V conflicts with d */
541 Type type_d = d == 0 ? ""_mst : "d"_mst;
542 for (int u = 0; u < 2; ++u) { /* select from (none),u */
543 if (base == 2 && u == 1) continue; /* V conflicts with u */
544 Type type_u = u == 0 ? ""_mst : "u"_mst;
545 Type type = type_base | type_zo | type_n | type_d | type_u;
546 types.push_back(type);
547 }
548 }
549 }
550 }
551 }
552
553 /* We define a recipe a to be a super-recipe of recipe b if they use the same
554 * fragment, the same number of subexpressions, and each of a's subexpression
555 * types is a supertype of the corresponding subexpression type of b.
556 * Within the set of recipes for the construction of a given type requirement,
557 * no recipe should be a super-recipe of another (as the super-recipe is
558 * applicable in every place the sub-recipe is, the sub-recipe is redundant). */
559 auto is_super_of = [](const recipe& a, const recipe& b) {
560 if (a.first != b.first) return false;
561 if (a.second.size() != b.second.size()) return false;
562 for (size_t i = 0; i < a.second.size(); ++i) {
563 if (!(b.second[i] << a.second[i])) return false;
564 }
565 return true;
566 };
567
568 /* Sort the type requirements. Subtypes will always sort later (e.g. Bondu will
569 * sort after Bo or Bu). As we'll be constructing recipes using these types, in
570 * order, in what follows, we'll construct super-recipes before sub-recipes.
571 * That means we never need to go back and delete a sub-recipe because a
572 * super-recipe got added. */
573 std::sort(types.begin(), types.end());
574
575 // Iterate over all possible fragments.
576 for (int fragidx = 0; fragidx <= int(Fragment::MULTI_A); ++fragidx) {
577 int sub_count = 0;
578 int sub_range = 1;
579 size_t data_size = 0;
580 size_t n_keys = 0;
581 uint32_t k = 0;
583
584 // Only produce recipes valid in the given context.
585 if ((!miniscript::IsTapscript(script_ctx) && frag == Fragment::MULTI_A)
586 || (miniscript::IsTapscript(script_ctx) && frag == Fragment::MULTI)) {
587 continue;
588 }
589
590 // Based on the fragment, determine #subs/data/k/keys to pass to ComputeType. */
591 switch (frag) {
592 case Fragment::PK_K:
593 case Fragment::PK_H:
594 n_keys = 1;
595 break;
596 case Fragment::MULTI:
597 case Fragment::MULTI_A:
598 n_keys = 1;
599 k = 1;
600 break;
601 case Fragment::OLDER:
602 case Fragment::AFTER:
603 k = 1;
604 break;
605 case Fragment::SHA256:
606 case Fragment::HASH256:
607 data_size = 32;
608 break;
609 case Fragment::RIPEMD160:
610 case Fragment::HASH160:
611 data_size = 20;
612 break;
613 case Fragment::JUST_0:
614 case Fragment::JUST_1:
615 break;
616 case Fragment::WRAP_A:
617 case Fragment::WRAP_S:
618 case Fragment::WRAP_C:
619 case Fragment::WRAP_D:
620 case Fragment::WRAP_V:
621 case Fragment::WRAP_J:
622 case Fragment::WRAP_N:
623 sub_count = 1;
624 break;
625 case Fragment::AND_V:
626 case Fragment::AND_B:
627 case Fragment::OR_B:
628 case Fragment::OR_C:
629 case Fragment::OR_D:
630 case Fragment::OR_I:
631 sub_count = 2;
632 break;
633 case Fragment::ANDOR:
634 sub_count = 3;
635 break;
636 case Fragment::THRESH:
637 // Thresh logic is executed for 1 and 2 arguments. Larger numbers use ad-hoc code to extend.
638 sub_count = 1;
639 sub_range = 2;
640 k = 1;
641 break;
642 }
643
644 // Iterate over the number of subnodes (sub_count...sub_count+sub_range-1).
645 std::vector<Type> subt;
646 for (int subs = sub_count; subs < sub_count + sub_range; ++subs) {
647 // Iterate over the possible subnode types (at most 3).
648 for (Type x : types) {
649 for (Type y : types) {
650 for (Type z : types) {
651 // Compute the resulting type of a node with the selected fragment / subnode types.
652 subt.clear();
653 if (subs > 0) subt.push_back(x);
654 if (subs > 1) subt.push_back(y);
655 if (subs > 2) subt.push_back(z);
656 Type res = miniscript::internal::ComputeType(frag, x, y, z, subt, k, data_size, subs, n_keys, script_ctx);
657 // Continue if the result is not a valid node.
658 if ((res << "K"_mst) + (res << "V"_mst) + (res << "B"_mst) + (res << "W"_mst) != 1) continue;
659
660 recipe entry{frag, subt};
661 auto super_of_entry = [&](const recipe& rec) { return is_super_of(rec, entry); };
662 // Iterate over all supertypes of res (because if e.g. our selected fragment/subnodes result
663 // in a Bondu, they can form a recipe that is also applicable for constructing a B, Bou, Bdu, ...).
664 for (Type s : types) {
665 if ((res & "BKVWzondu"_mst) << s) {
666 auto& recipes = table[s];
667 // If we don't already have a super-recipe to the new one, add it.
668 if (!std::any_of(recipes.begin(), recipes.end(), super_of_entry)) {
669 recipes.push_back(entry);
670 }
671 }
672 }
673
674 if (subs <= 2) break;
675 }
676 if (subs <= 1) break;
677 }
678 if (subs <= 0) break;
679 }
680 }
681 }
682
683 /* Find which types are useful. The fuzzer logic only cares about constructing
684 * B,V,K,W nodes, so any type that isn't needed in any recipe (directly or
685 * indirectly) for the construction of those is uninteresting. */
686 std::set<Type> useful_types{"B"_mst, "V"_mst, "K"_mst, "W"_mst};
687 // Find the transitive closure by adding types until the set of types does not change.
688 while (true) {
689 size_t set_size = useful_types.size();
690 for (const auto& [type, recipes] : table) {
691 if (useful_types.contains(type)) {
692 for (const auto& [_, subtypes] : recipes) {
693 for (auto subtype : subtypes) useful_types.insert(subtype);
694 }
695 }
696 }
697 if (useful_types.size() == set_size) break;
698 }
699 // Remove all rules that construct uninteresting types.
700 std::erase_if(table, [&](const auto& entry) { return !useful_types.contains(entry.first); });
701
702 /* Find which types are constructible. A type is constructible if there is a leaf
703 * node recipe for constructing it, or a recipe whose subnodes are all constructible.
704 * Types can be non-constructible because they have no recipes to begin with,
705 * because they can only be constructed using recipes that involve otherwise
706 * non-constructible types, or because they require infinite recursion. */
707 std::set<Type> constructible_types{};
708 auto known_constructible = [&](Type type) { return constructible_types.contains(type); };
709 // Find the transitive closure by adding types until the set of types does not change.
710 while (true) {
711 size_t set_size = constructible_types.size();
712 // Iterate over all types we have recipes for.
713 for (const auto& [type, recipes] : table) {
714 if (!known_constructible(type)) {
715 // For not (yet known to be) constructible types, iterate over their recipes.
716 for (const auto& [_, subt] : recipes) {
717 // If any recipe involves only (already known to be) constructible types,
718 // add the recipe's type to the set.
719 if (std::all_of(subt.begin(), subt.end(), known_constructible)) {
720 constructible_types.insert(type);
721 break;
722 }
723 }
724 }
725 }
726 if (constructible_types.size() == set_size) break;
727 }
728 for (auto type_it = table.begin(); type_it != table.end();) {
729 // Remove all recipes which involve non-constructible types.
730 std::erase_if(type_it->second, [&](const recipe& rec) {
731 return !std::all_of(rec.second.begin(), rec.second.end(), known_constructible);
732 });
733 // Delete types entirely which have no recipes left.
734 if (type_it->second.empty()) {
735 type_it = table.erase(type_it);
736 } else {
737 ++type_it;
738 }
739 }
740
741 for (auto& [type, recipes] : table) {
742 // Sort recipes for determinism, and place those using fewer subnodes first.
743 // This avoids runaway expansion (when reaching the end of the fuzz input,
744 // all zeroes are read, resulting in the first available recipe being picked).
745 std::sort(recipes.begin(), recipes.end(),
746 [](const recipe& a, const recipe& b) {
747 if (a.second.size() < b.second.size()) return true;
748 if (a.second.size() > b.second.size()) return false;
749 return a < b;
750 }
751 );
752 }
753 }
754} SMARTINFO;
755
766std::optional<NodeInfo> ConsumeNodeSmart(MsCtx script_ctx, FuzzedDataProvider& provider, Type type_needed) {
768 const auto& table{IsTapscript(script_ctx) ? SMARTINFO.tap_table : SMARTINFO.wsh_table};
769 auto recipes_it = table.find(type_needed);
770 assert(recipes_it != table.end());
772 const auto& [frag, subt] = PickValue(provider, recipes_it->second);
773
774 // Based on the fragment the recipe uses, fill in other data (k, keys, data).
775 switch (frag) {
776 case Fragment::PK_K:
777 case Fragment::PK_H:
778 return {{frag, ConsumePubKey(provider)}};
779 case Fragment::MULTI: {
780 const auto n_keys = provider.ConsumeIntegralInRange<uint8_t>(1, 20);
782 std::vector<CPubKey> keys{n_keys};
783 for (auto& key: keys) key = ConsumePubKey(provider);
784 return {{frag, k, std::move(keys)}};
785 }
786 case Fragment::MULTI_A: {
787 const auto n_keys = provider.ConsumeIntegralInRange<uint16_t>(1, 999);
789 std::vector<CPubKey> keys{n_keys};
790 for (auto& key: keys) key = ConsumePubKey(provider);
791 return {{frag, k, std::move(keys)}};
792 }
793 case Fragment::OLDER:
794 case Fragment::AFTER:
795 return {{frag, provider.ConsumeIntegralInRange<uint32_t>(1, 0x7FFFFFF)}};
796 case Fragment::SHA256:
797 return {{frag, PickValue(provider, TEST_DATA.sha256)}};
798 case Fragment::HASH256:
799 return {{frag, PickValue(provider, TEST_DATA.hash256)}};
800 case Fragment::RIPEMD160:
801 return {{frag, PickValue(provider, TEST_DATA.ripemd160)}};
802 case Fragment::HASH160:
803 return {{frag, PickValue(provider, TEST_DATA.hash160)}};
804 case Fragment::JUST_0:
805 case Fragment::JUST_1:
806 case Fragment::WRAP_A:
807 case Fragment::WRAP_S:
808 case Fragment::WRAP_C:
809 case Fragment::WRAP_D:
810 case Fragment::WRAP_V:
811 case Fragment::WRAP_J:
812 case Fragment::WRAP_N:
813 case Fragment::AND_V:
814 case Fragment::AND_B:
815 case Fragment::OR_B:
816 case Fragment::OR_C:
817 case Fragment::OR_D:
818 case Fragment::OR_I:
819 case Fragment::ANDOR:
820 return {{subt, frag}};
821 case Fragment::THRESH: {
822 uint32_t children;
823 if (subt.size() < 2) {
824 children = subt.size();
825 } else {
826 // If we hit a thresh with 2 subnodes, artificially extend it to any number
827 // (2 or larger) by replicating the type of the last subnode.
829 }
830 auto k = provider.ConsumeIntegralInRange<uint32_t>(1, children);
831 std::vector<Type> subs = subt;
832 while (subs.size() < children) subs.push_back(subs.back());
833 return {{std::move(subs), frag, k}};
834 }
835 }
836
837 assert(false);
838}
839
848template <typename F>
849std::optional<Node> GenNode(MsCtx script_ctx, F ConsumeNode, Type root_type, bool strict_valid = false)
850{
852 std::vector<Node> stack;
854 std::vector<std::pair<Type, std::optional<NodeInfo>>> todo{{root_type, {}}};
856 uint32_t ops{0};
860
861 while (!todo.empty()) {
862 // The expected type we have to construct.
863 auto type_needed = todo.back().first;
864 if (!todo.back().second) {
865 // Fragment/children have not been decided yet. Decide them.
867 if (!node_info) return {};
868 // Update predicted resource limits. Since every leaf Miniscript node is at least one
869 // byte long, we move one byte from each child to their parent. A similar technique is
870 // used in the miniscript::internal::Parse function to prevent runaway string parsing.
871 scriptsize += miniscript::internal::ComputeScriptLen(node_info->fragment, ""_mst, node_info->subtypes.size(), node_info->k, node_info->subtypes.size(),
872 node_info->keys.size(), script_ctx) - 1;
874 switch (node_info->fragment) {
875 case Fragment::JUST_0:
876 case Fragment::JUST_1:
877 break;
878 case Fragment::PK_K:
879 break;
880 case Fragment::PK_H:
881 ops += 3;
882 break;
883 case Fragment::OLDER:
884 case Fragment::AFTER:
885 ops += 1;
886 break;
887 case Fragment::RIPEMD160:
888 case Fragment::SHA256:
889 case Fragment::HASH160:
890 case Fragment::HASH256:
891 ops += 4;
892 break;
893 case Fragment::ANDOR:
894 ops += 3;
895 break;
896 case Fragment::AND_V:
897 break;
898 case Fragment::AND_B:
899 case Fragment::OR_B:
900 ops += 1;
901 break;
902 case Fragment::OR_C:
903 ops += 2;
904 break;
905 case Fragment::OR_D:
906 ops += 3;
907 break;
908 case Fragment::OR_I:
909 ops += 3;
910 break;
911 case Fragment::THRESH:
912 ops += node_info->subtypes.size();
913 break;
914 case Fragment::MULTI:
915 ops += 1;
916 break;
917 case Fragment::MULTI_A:
918 ops += node_info->keys.size() + 1;
919 break;
920 case Fragment::WRAP_A:
921 ops += 2;
922 break;
923 case Fragment::WRAP_S:
924 ops += 1;
925 break;
926 case Fragment::WRAP_C:
927 ops += 1;
928 break;
929 case Fragment::WRAP_D:
930 ops += 3;
931 break;
932 case Fragment::WRAP_V:
933 // We don't account for OP_VERIFY here; that will be corrected for when the actual
934 // node is constructed below.
935 break;
936 case Fragment::WRAP_J:
937 ops += 4;
938 break;
939 case Fragment::WRAP_N:
940 ops += 1;
941 break;
942 }
943 if (ops > MAX_OPS_PER_SCRIPT) return {};
944 auto subtypes = node_info->subtypes;
945 todo.back().second = std::move(node_info);
946 todo.reserve(todo.size() + subtypes.size());
947 // As elements on the todo stack are processed back to front, construct
948 // them in reverse order (so that the first subnode is generated first).
949 for (size_t i = 0; i < subtypes.size(); ++i) {
950 todo.emplace_back(*(subtypes.rbegin() + i), std::nullopt);
951 }
952 } else {
953 // The back of todo has fragment and number of children decided, and
954 // those children have been constructed at the back of stack. Pop
955 // that entry off todo, and use it to construct a new Node on
956 // stack.
957 NodeInfo& info = *todo.back().second;
958 // Gather children from the back of stack.
959 std::vector<Node> sub;
960 sub.reserve(info.subtypes.size());
961 for (size_t i = 0; i < info.subtypes.size(); ++i) {
962 sub.push_back(std::move(*(stack.end() - info.subtypes.size() + i)));
963 }
964 stack.erase(stack.end() - info.subtypes.size(), stack.end());
965 // Construct new Node.
966 Node node{[&] {
967 if (info.keys.empty()) {
968 return Node{miniscript::internal::NoDupCheck{}, script_ctx, info.fragment, std::move(sub), std::move(info.hash), info.k};
969 }
970 assert(sub.empty());
971 assert(info.hash.empty());
972 return Node{miniscript::internal::NoDupCheck{}, script_ctx, info.fragment, std::move(info.keys), info.k};
973 }()};
974 // Verify acceptability.
975 if ((node.GetType() & "KVWB"_mst) == ""_mst) {
977 return {};
978 }
979 if (!(type_needed == ""_mst)) {
980 assert(node.GetType() << type_needed);
981 }
982 if (!node.IsValid()) return {};
983 // Update resource predictions.
984 if (node.Fragment() == Fragment::WRAP_V && node.Subs()[0].GetType() << "x"_mst) {
985 ops += 1;
986 scriptsize += 1;
987 }
988 if (!miniscript::IsTapscript(script_ctx) && ops > MAX_OPS_PER_SCRIPT) return {};
990 return {};
991 }
992 // Move it to the stack.
993 stack.push_back(std::move(node));
994 todo.pop_back();
995 }
996 }
997 assert(stack.size() == 1);
998 assert(stack[0].GetStaticOps() == ops);
999 assert(stack[0].ScriptSize() == scriptsize);
1000 stack[0].DuplicateKeyCheck(KEY_COMP);
1001 return std::move(stack[0]);
1002}
1003
1006{
1008
1009 // For Taproot outputs we always use a tree with a single script and a dummy internal key.
1011 builder.Finalize(XOnlyPubKey::NUMS_H);
1012 return GetScriptForDestination(builder.GetOutput());
1013}
1014
1017 // For P2WSH, it's only the witness script.
1018 witness.stack.emplace_back(script.begin(), script.end());
1019 if (!miniscript::IsTapscript(ctx)) return;
1020 // For Tapscript we also need the control block.
1021 witness.stack.push_back(*builder.GetSpendData().scripts.begin()->second.begin());
1022}
1023
1025void TestNode(const MsCtx script_ctx, const std::optional<Node>& node, FuzzedDataProvider& provider)
1026{
1027 if (!node) return;
1028
1029 // Check that it roundtrips to text representation
1030 const ParserContext parser_ctx{script_ctx};
1031 std::optional<std::string> str{node->ToString(parser_ctx)};
1032 assert(str);
1034 assert(parsed);
1035 assert(*parsed == *node);
1036
1037 // Check consistency between script size estimation and real size.
1038 auto script = node->ToScript(parser_ctx);
1039 assert(node->ScriptSize() == script.size());
1040
1041 // Check consistency of "x" property with the script (type K is excluded, because it can end
1042 // with a push of a key, which could match these opcodes).
1043 if (!(node->GetType() << "K"_mst)) {
1044 bool ends_in_verify = !(node->GetType() << "x"_mst);
1045 assert(ends_in_verify == (script.back() == OP_CHECKSIG || script.back() == OP_CHECKMULTISIG || script.back() == OP_EQUAL || script.back() == OP_NUMEQUAL));
1046 }
1047
1048 // The rest of the checks only apply when testing a valid top-level script.
1049 if (!node->IsValidTopLevel()) return;
1050
1051 // Check roundtrip to script
1053 assert(decoded);
1054 // Note we can't use *decoded == *node because the miniscript representation may differ, so we check that:
1055 // - The script corresponding to that decoded form matches exactly
1056 // - The type matches exactly
1057 assert(decoded->ToScript(parser_ctx) == script);
1058 assert(decoded->GetType() == node->GetType());
1059
1060 // Optionally pad the script or the witness in order to increase the sensitivity of the tests of
1061 // the resources limits logic.
1063 if (provider.ConsumeBool()) {
1064 // Under P2WSH, optionally pad the script with OP_NOPs to max op the ops limit of the constructed script.
1065 // This makes the script obviously not actually miniscript-compatible anymore, but the
1066 // signatures constructed in this test don't commit to the script anyway, so the same
1067 // miniscript satisfier will work. This increases the sensitivity of the test to the ops
1068 // counting logic being too low, especially for simple scripts.
1069 // Do this optionally because we're not solely interested in cases where the number of ops is
1070 // maximal.
1071 // Do not pad more than what would cause MAX_STANDARD_P2WSH_SCRIPT_SIZE to be reached, however,
1072 // as that also invalidates scripts.
1073 const auto node_ops{node->GetOps()};
1074 if (!IsTapscript(script_ctx) && node_ops && *node_ops < MAX_OPS_PER_SCRIPT
1075 && node->ScriptSize() < MAX_STANDARD_P2WSH_SCRIPT_SIZE) {
1076 int add = std::min<int>(
1078 MAX_STANDARD_P2WSH_SCRIPT_SIZE - node->ScriptSize());
1079 for (int i = 0; i < add; ++i) script.push_back(OP_NOP);
1080 }
1081
1082 // Under Tapscript, optionally pad the stack up to the limit minus the calculated maximum execution stack
1083 // size to assert a Miniscript would never add more elements to the stack during execution than anticipated.
1084 const auto node_exec_ss{node->GetExecStackSize()};
1086 unsigned add{(unsigned)MAX_STACK_SIZE - *node_exec_ss};
1087 witness_mal.stack.resize(add);
1088 witness_nonmal.stack.resize(add);
1089 script.reserve(add);
1090 for (unsigned i = 0; i < add; ++i) script.push_back(OP_NIP);
1091 }
1092 }
1093
1094 const SatisfierContext satisfier_ctx{script_ctx};
1095
1096 // Get the ScriptPubKey for this script, filling spend data if it's Taproot.
1098 const CScript script_pubkey{ScriptPubKey(script_ctx, script, builder)};
1099
1100 // Run malleable satisfaction algorithm.
1101 std::vector<std::vector<unsigned char>> stack_mal;
1102 const bool mal_success = node->Satisfy(satisfier_ctx, stack_mal, false) == miniscript::Availability::YES;
1103
1104 // Run non-malleable satisfaction algorithm.
1105 std::vector<std::vector<unsigned char>> stack_nonmal;
1107
1108 if (nonmal_success) {
1109 // Non-malleable satisfactions are bounded by the satisfaction size plus:
1110 // - For P2WSH spends, the witness script
1111 // - For Tapscript spends, both the witness script and the control block
1112 const size_t max_stack_size{*node->GetStackSize() + 1 + miniscript::IsTapscript(script_ctx)};
1114 // If a non-malleable satisfaction exists, the malleable one must also exist, and be identical to it.
1117 // Compute witness size (excluding script push, control block, and witness count encoding).
1119 assert(wit_size <= *node->GetWitnessSize());
1120
1121 // Test non-malleable satisfaction.
1122 witness_nonmal.stack.insert(witness_nonmal.stack.end(), std::make_move_iterator(stack_nonmal.begin()), std::make_move_iterator(stack_nonmal.end()));
1126 // Non-malleable satisfactions are guaranteed to be valid if ValidSatisfactions().
1127 if (node->ValidSatisfactions()) assert(res);
1128 // More detailed: non-malleable satisfactions must be valid, or could fail with ops count error (if CheckOpsLimit failed),
1129 // or with a stack size error (if CheckStackSize check failed).
1130 assert(res ||
1131 (!node->CheckOpsLimit() && serror == ScriptError::SCRIPT_ERR_OP_COUNT) ||
1132 (!node->CheckStackSize() && serror == ScriptError::SCRIPT_ERR_STACK_SIZE));
1133 }
1134
1135 if (mal_success && (!nonmal_success || witness_mal.stack != witness_nonmal.stack)) {
1136 // Test malleable satisfaction only if it's different from the non-malleable one.
1137 witness_mal.stack.insert(witness_mal.stack.end(), std::make_move_iterator(stack_mal.begin()), std::make_move_iterator(stack_mal.end()));
1141 // Malleable satisfactions are not guaranteed to be valid under any conditions, but they can only
1142 // fail due to stack or ops limits.
1143 assert(res || serror == ScriptError::SCRIPT_ERR_OP_COUNT || serror == ScriptError::SCRIPT_ERR_STACK_SIZE);
1144 }
1145
1146 if (node->IsSane()) {
1147 // For sane nodes, the two algorithms behave identically.
1149 }
1150
1151 // Verify that if a node is policy-satisfiable, the malleable satisfaction
1152 // algorithm succeeds. Given that under IsSane() both satisfactions
1153 // are identical, this implies that for such nodes, the non-malleable
1154 // satisfaction will also match the expected policy.
1155 const auto is_key_satisfiable = [script_ctx](const CPubKey& pubkey) -> bool {
1156 auto sig_ptr{TEST_DATA.GetSig(script_ctx, pubkey)};
1157 return sig_ptr != nullptr && sig_ptr->second;
1158 };
1159 bool satisfiable = node->IsSatisfiable([&](const Node& node) -> bool {
1160 switch (node.Fragment()) {
1161 case Fragment::PK_K:
1162 case Fragment::PK_H:
1163 return is_key_satisfiable(node.Keys()[0]);
1164 case Fragment::MULTI:
1165 case Fragment::MULTI_A: {
1166 size_t sats = std::ranges::count_if(node.Keys(), [&](const auto& key) {
1167 return size_t(is_key_satisfiable(key));
1168 });
1169 return sats >= node.K();
1170 }
1171 case Fragment::OLDER:
1172 case Fragment::AFTER:
1173 return node.K() & 1;
1174 case Fragment::SHA256:
1175 return TEST_DATA.sha256_preimages.contains(node.Data());
1176 case Fragment::HASH256:
1177 return TEST_DATA.hash256_preimages.contains(node.Data());
1178 case Fragment::RIPEMD160:
1179 return TEST_DATA.ripemd160_preimages.contains(node.Data());
1180 case Fragment::HASH160:
1181 return TEST_DATA.hash160_preimages.contains(node.Data());
1182 default:
1183 assert(false);
1184 }
1185 return false;
1186 });
1188}
1189
1190} // namespace
1191
1193{
1194 static ECC_Context ecc_context{};
1195 TEST_DATA.Init();
1196}
1197
1199{
1200 FuzzInit();
1201 SMARTINFO.Init();
1202}
1203
1206{
1207 // Run it under both P2WSH and Tapscript contexts.
1208 for (const auto script_ctx: {MsCtx::P2WSH, MsCtx::TAPSCRIPT}) {
1209 FuzzedDataProvider provider(buffer.data(), buffer.size());
1210 TestNode(script_ctx, GenNode(script_ctx, [&](Type needed_type) {
1211 return ConsumeNodeStable(script_ctx, provider, needed_type);
1212 }, ""_mst), provider);
1213 }
1214}
1215
1218{
1220 static constexpr std::array<Type, 4> BASE_TYPES{"B"_mst, "V"_mst, "K"_mst, "W"_mst};
1221
1222 FuzzedDataProvider provider(buffer.data(), buffer.size());
1223 const auto script_ctx{(MsCtx)provider.ConsumeBool()};
1224 TestNode(script_ctx, GenNode(script_ctx, [&](Type needed_type) {
1225 return ConsumeNodeSmart(script_ctx, provider, needed_type);
1226 }, PickValue(provider, BASE_TYPES), true), provider);
1227}
1228
1229/* Fuzz tests that test parsing from a string, and roundtripping via string. */
1231{
1232 constexpr auto is_too_expensive{[](std::span<const uint8_t> buf) { return HasTooManySubFrag(buf) || HasTooManyWrappers(buf); }};
1233
1234 if (buffer.empty()) return;
1235 FuzzedDataProvider provider(buffer.data(), buffer.size());
1237 if (is_too_expensive(MakeUCharSpan(str))) return;
1238 const ParserContext parser_ctx{(MsCtx)provider.ConsumeBool()};
1240 if (!parsed) return;
1241
1242 const auto str2 = parsed->ToString(parser_ctx);
1243 assert(str2);
1245 assert(parsed2);
1246 assert(*parsed == *parsed2);
1247}
1248
1249/* Fuzz tests that test parsing from a script, and roundtripping via script. */
1251{
1252 FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
1253 const std::optional<CScript> script = ConsumeDeserializable<CScript>(fuzzed_data_provider);
1254 if (!script) return;
1255
1256 const ScriptParserContext script_parser_ctx{(MsCtx)fuzzed_data_provider.ConsumeBool()};
1258 if (!ms) return;
1259
1260 assert(ms->ToScript(script_parser_ctx) == *script);
1261}
CScript GetScriptForDestination(const CTxDestination &dest)
Generate a Bitcoin scriptPubKey for the given CTxDestination.
ECC_Context ecc_context
virtual bool CheckLockTime(const CScriptNum &nLockTime) const
virtual bool CheckSchnorrSignature(std::span< const unsigned char > sig, std::span< const unsigned char > pubkey, SigVersion sigversion, ScriptExecutionData &execdata, ScriptError *serror=nullptr) const
virtual bool CheckSequence(const CScriptNum &nSequence) const
virtual bool CheckECDSASignature(const std::vector< unsigned char > &scriptSig, const std::vector< unsigned char > &vchPubKey, const CScript &scriptCode, SigVersion sigversion) const
A hasher class for Bitcoin's 160-bit hash (SHA-256 + RIPEMD-160).
Definition hash.h:57
CHash160 & Write(std::span< const unsigned char > input)
Definition hash.h:70
void Finalize(std::span< unsigned char > output)
Definition hash.h:63
A hasher class for Bitcoin's 256-bit hash (double SHA-256).
Definition hash.h:32
void Finalize(std::span< unsigned char > output)
Definition hash.h:38
CHash256 & Write(std::span< const unsigned char > input)
Definition hash.h:45
An encapsulated private key.
Definition key.h:46
void Set(const T pbegin, const T pend, bool fCompressedIn)
Initialize using begin and end iterators to byte data.
Definition key.h:114
A reference to a CKey: the Hash160 of its serialized public key.
Definition pubkey.h:29
An encapsulated public key.
Definition pubkey.h:43
A hasher class for RIPEMD-160.
Definition ripemd160.h:13
CRIPEMD160 & Write(const unsigned char *data, size_t len)
void Finalize(unsigned char hash[OUTPUT_SIZE])
A hasher class for SHA-256.
Definition sha256.h:14
void Finalize(unsigned char hash[OUTPUT_SIZE])
Definition sha256.cpp:725
CSHA256 & Write(const unsigned char *data, size_t len)
Definition sha256.cpp:699
Serialized script, used inside transaction inputs and outputs.
Definition script.h:406
int64_t GetInt64() const
Definition script.h:335
RAII class initializing and deinitializing global state for elliptic curve support.
Definition key.h:364
std::string ConsumeBytesAsString(size_t num_bytes)
T ConsumeIntegralInRange(T min, T max)
Definition init.h:13
Utility class to construct Taproot outputs from internal key and script tree.
const unsigned char * begin() const
Definition pubkey.h:304
static const XOnlyPubKey NUMS_H
Nothing Up My Sleeve point H Used as an internal key for provably disabling the key path spend see BI...
Definition pubkey.h:195
constexpr unsigned char * begin()
Definition uint256.h:101
A node in a miniscript expression.
Definition miniscript.h:535
This type encapsulates the miniscript type system properties.
Definition miniscript.h:130
160-bit opaque blob.
Definition uint256.h:184
256-bit opaque blob.
Definition uint256.h:196
static const uint256 ZERO
Definition uint256.h:204
#define FUZZ_TARGET(...)
Definition fuzz.h:35
uint160 Hash160(const T1 &in1)
Compute the 160-bit hash an object.
Definition hash.h:100
#define T(expected, seed, data)
std::string HexStr(const std::span< const uint8_t > s)
Convert a span of bytes to a lower-case hexadecimal string.
Definition hex_base.cpp:30
bool VerifyScript(const CScript &scriptSig, const CScript &scriptPubKey, const CScriptWitness *witness, script_verify_flags flags, const BaseSignatureChecker &checker, ScriptError *serror)
SigVersion
constexpr uint8_t TAPROOT_LEAF_TAPSCRIPT
Definition basic.cpp:11
size_t ComputeScriptLen(Fragment fragment, Type sub0typ, size_t subsize, uint32_t k, size_t n_subs, size_t n_keys, MiniscriptContext ms_ctx)
Helper function for Node::CalcScriptLen.
constexpr uint32_t MaxScriptSize(MiniscriptContext ms_ctx)
The maximum size of a script depending on the context.
Definition miniscript.h:284
Type ComputeType(Fragment fragment, Type x, Type y, Type z, const std::vector< Type > &sub_types, uint32_t k, size_t data_size, size_t n_subs, size_t n_keys, MiniscriptContext ms_ctx)
Helper function for Node::CalcType.
constexpr bool IsTapscript(MiniscriptContext ms_ctx)
Whether the context Tapscript, ensuring the only other possibility is P2WSH.
Definition miniscript.h:259
std::optional< Node< typename Ctx::Key > > FromScript(const CScript &script, const Ctx &ctx)
std::optional< Node< typename Ctx::Key > > FromString(const std::string &str, const Ctx &ctx)
Fragment
The different node types in miniscript.
Definition miniscript.h:213
Internal RIPEMD-160 implementation.
Definition ripemd160.cpp:16
Internal SHA-256 implementation.
Definition sha256.cpp:68
void insert(Tdst &dst, const Tsrc &src)
Simplification of std insertion.
Definition insert.h:14
std::string ToString(const T &t)
Locale-independent version of std::to_string.
Definition string.h:250
constexpr script_verify_flags STANDARD_SCRIPT_VERIFY_FLAGS
Standard script verification flags that standard transactions will comply with.
Definition policy.h:112
constexpr unsigned int MAX_STANDARD_P2WSH_SCRIPT_SIZE
The maximum size in bytes of a standard witnessScript.
Definition policy.h:60
@ OP_CHECKMULTISIG
Definition script.h:193
@ OP_CHECKSIG
Definition script.h:191
@ OP_EQUAL
Definition script.h:147
@ OP_NUMEQUAL
Definition script.h:172
@ OP_NOP
Definition script.h:103
@ OP_NIP
Definition script.h:127
@ OP_0
Definition script.h:77
constexpr int MAX_STACK_SIZE
Definition script.h:44
constexpr int MAX_OPS_PER_SCRIPT
Definition script.h:32
enum ScriptError_t ScriptError
constexpr unsigned int GetSizeOfCompactSize(uint64_t nSize)
Compact Size size < 253 – 1 byte size <= USHRT_MAX – 3 bytes (253 + 2 bytes) size <= UINT_MAX – 5 byt...
Definition serialize.h:291
uint64_t GetSerializeSize(const T &t)
Definition serialize.h:1157
constexpr auto MakeUCharSpan(const V &v) -> decltype(UCharSpanCast(std::span{v}))
Like the std::span constructor, but for (const) unsigned char member types only.
Definition span.h:111
std::vector< Byte > ParseHex(std::string_view hex_str)
Like TryParseHex, but returns an empty vector on invalid input.
std::vector< std::vector< unsigned char > > stack
Definition script.h:581
std::vector< uint16_t > keys
FuzzedDataProvider provider
void FuzzInit()
void FuzzInitSmart()
bool HasTooManySubFrag(std::span< const uint8_t > buff, const int max_subs, const size_t max_nested_subs)
Whether the buffer, if it represents a valid descriptor, contains a fragment with more sub-fragments ...
bool HasTooManyWrappers(std::span< const uint8_t > buff, const int max_wrappers)
Whether the buffer, if it represents a valid descriptor, contains a fragment with more wrappers than ...
auto ConsumeNode(FuzzedDataProvider &fuzzed_data_provider, FakeSteadyClock &clock, const std::optional< NodeId > &node_id_in=std::nullopt) noexcept
Definition net.h:270
auto & PickValue(FuzzedDataProvider &fuzzed_data_provider, Collection &col)
Definition util.h:57
consteval auto _(util::TranslatedLiteral str)
Definition translation.h:79
constexpr auto Ticks(Dur2 d)
Helper to count the seconds of a duration/time_point.
Definition time.h:82
assert(!tx.IsCoinBase())
FuzzedDataProvider & fuzzed_data_provider
Definition fees.cpp:46