Bitcoin Core  27.99.0
P2P Digital Currency
miniscript.cpp
Go to the documentation of this file.
1 // Copyright (c) 2021-2022 The Bitcoin Core developers
2 // Distributed under the MIT software license, see the accompanying
3 // file COPYING or http://www.opensource.org/licenses/mit-license.php.
4 
5 #include <core_io.h>
6 #include <hash.h>
7 #include <key.h>
8 #include <script/miniscript.h>
9 #include <script/script.h>
10 #include <script/signingprovider.h>
12 #include <test/fuzz/fuzz.h>
13 #include <test/fuzz/util.h>
14 #include <util/strencodings.h>
15 
16 namespace {
17 
20 using Node = miniscript::Node<CPubKey>;
21 using Type = miniscript::Type;
22 using MsCtx = miniscript::MiniscriptContext;
23 using miniscript::operator"" _mst;
24 
26 struct TestData {
27  typedef CPubKey Key;
28 
29  // Precomputed public keys, and a dummy signature for each of them.
30  std::vector<Key> dummy_keys;
31  std::map<Key, int> dummy_key_idx_map;
32  std::map<CKeyID, Key> dummy_keys_map;
33  std::map<Key, std::pair<std::vector<unsigned char>, bool>> dummy_sigs;
34  std::map<XOnlyPubKey, std::pair<std::vector<unsigned char>, bool>> schnorr_sigs;
35 
36  // Precomputed hashes of each kind.
37  std::vector<std::vector<unsigned char>> sha256;
38  std::vector<std::vector<unsigned char>> ripemd160;
39  std::vector<std::vector<unsigned char>> hash256;
40  std::vector<std::vector<unsigned char>> hash160;
41  std::map<std::vector<unsigned char>, std::vector<unsigned char>> sha256_preimages;
42  std::map<std::vector<unsigned char>, std::vector<unsigned char>> ripemd160_preimages;
43  std::map<std::vector<unsigned char>, std::vector<unsigned char>> hash256_preimages;
44  std::map<std::vector<unsigned char>, std::vector<unsigned char>> hash160_preimages;
45 
47  void Init() {
48  unsigned char keydata[32] = {1};
49  // All our signatures sign (and are required to sign) this constant message.
50  auto const MESSAGE_HASH{uint256S("f5cd94e18b6fe77dd7aca9e35c2b0c9cbd86356c80a71065")};
51  // We don't pass additional randomness when creating a schnorr signature.
52  auto const EMPTY_AUX{uint256S("")};
53 
54  for (size_t i = 0; i < 256; i++) {
55  keydata[31] = i;
56  CKey privkey;
57  privkey.Set(keydata, keydata + 32, true);
58  const Key pubkey = privkey.GetPubKey();
59 
60  dummy_keys.push_back(pubkey);
61  dummy_key_idx_map.emplace(pubkey, i);
62  dummy_keys_map.insert({pubkey.GetID(), pubkey});
63  XOnlyPubKey xonly_pubkey{pubkey};
64  dummy_key_idx_map.emplace(xonly_pubkey, i);
65  uint160 xonly_hash{Hash160(xonly_pubkey)};
66  dummy_keys_map.emplace(xonly_hash, pubkey);
67 
68  std::vector<unsigned char> sig, schnorr_sig(64);
69  privkey.Sign(MESSAGE_HASH, sig);
70  sig.push_back(1); // SIGHASH_ALL
71  dummy_sigs.insert({pubkey, {sig, i & 1}});
72  assert(privkey.SignSchnorr(MESSAGE_HASH, schnorr_sig, nullptr, EMPTY_AUX));
73  schnorr_sig.push_back(1); // Maximally-sized signature has sighash byte
74  schnorr_sigs.emplace(XOnlyPubKey{pubkey}, std::make_pair(std::move(schnorr_sig), i & 1));
75 
76  std::vector<unsigned char> hash;
77  hash.resize(32);
78  CSHA256().Write(keydata, 32).Finalize(hash.data());
79  sha256.push_back(hash);
80  if (i & 1) sha256_preimages[hash] = std::vector<unsigned char>(keydata, keydata + 32);
81  CHash256().Write(keydata).Finalize(hash);
82  hash256.push_back(hash);
83  if (i & 1) hash256_preimages[hash] = std::vector<unsigned char>(keydata, keydata + 32);
84  hash.resize(20);
85  CRIPEMD160().Write(keydata, 32).Finalize(hash.data());
86  assert(hash.size() == 20);
87  ripemd160.push_back(hash);
88  if (i & 1) ripemd160_preimages[hash] = std::vector<unsigned char>(keydata, keydata + 32);
89  CHash160().Write(keydata).Finalize(hash);
90  hash160.push_back(hash);
91  if (i & 1) hash160_preimages[hash] = std::vector<unsigned char>(keydata, keydata + 32);
92  }
93  }
94 
96  const std::pair<std::vector<unsigned char>, bool>* GetSig(const MsCtx script_ctx, const Key& key) const {
97  if (!miniscript::IsTapscript(script_ctx)) {
98  const auto it = dummy_sigs.find(key);
99  if (it == dummy_sigs.end()) return nullptr;
100  return &it->second;
101  } else {
102  const auto it = schnorr_sigs.find(XOnlyPubKey{key});
103  if (it == schnorr_sigs.end()) return nullptr;
104  return &it->second;
105  }
106  }
107 } TEST_DATA;
108 
114 struct ParserContext {
115  typedef CPubKey Key;
116 
117  const MsCtx script_ctx;
118 
119  constexpr ParserContext(MsCtx ctx) noexcept : script_ctx(ctx) {}
120 
121  bool KeyCompare(const Key& a, const Key& b) const {
122  return a < b;
123  }
124 
125  std::optional<std::string> ToString(const Key& key) const
126  {
127  auto it = TEST_DATA.dummy_key_idx_map.find(key);
128  if (it == TEST_DATA.dummy_key_idx_map.end()) return {};
129  uint8_t idx = it->second;
130  return HexStr(Span{&idx, 1});
131  }
132 
133  std::vector<unsigned char> ToPKBytes(const Key& key) const {
134  if (!miniscript::IsTapscript(script_ctx)) {
135  return {key.begin(), key.end()};
136  }
137  const XOnlyPubKey xonly_pubkey{key};
138  return {xonly_pubkey.begin(), xonly_pubkey.end()};
139  }
140 
141  std::vector<unsigned char> ToPKHBytes(const Key& key) const {
142  if (!miniscript::IsTapscript(script_ctx)) {
143  const auto h = Hash160(key);
144  return {h.begin(), h.end()};
145  }
146  const auto h = Hash160(XOnlyPubKey{key});
147  return {h.begin(), h.end()};
148  }
149 
150  template<typename I>
151  std::optional<Key> FromString(I first, I last) const {
152  if (last - first != 2) return {};
153  auto idx = ParseHex(std::string(first, last));
154  if (idx.size() != 1) return {};
155  return TEST_DATA.dummy_keys[idx[0]];
156  }
157 
158  template<typename I>
159  std::optional<Key> FromPKBytes(I first, I last) const {
160  if (!miniscript::IsTapscript(script_ctx)) {
161  Key key{first, last};
162  if (key.IsValid()) return key;
163  return {};
164  }
165  if (last - first != 32) return {};
166  XOnlyPubKey xonly_pubkey;
167  std::copy(first, last, xonly_pubkey.begin());
168  return xonly_pubkey.GetEvenCorrespondingCPubKey();
169  }
170 
171  template<typename I>
172  std::optional<Key> FromPKHBytes(I first, I last) const {
173  assert(last - first == 20);
174  CKeyID keyid;
175  std::copy(first, last, keyid.begin());
176  const auto it = TEST_DATA.dummy_keys_map.find(keyid);
177  if (it == TEST_DATA.dummy_keys_map.end()) return {};
178  return it->second;
179  }
180 
181  MsCtx MsContext() const {
182  return script_ctx;
183  }
184 };
185 
187 struct ScriptParserContext {
188  const MsCtx script_ctx;
189 
190  constexpr ScriptParserContext(MsCtx ctx) noexcept : script_ctx(ctx) {}
191 
193  struct Key {
194  bool is_hash;
195  std::vector<unsigned char> data;
196  };
197 
198  bool KeyCompare(const Key& a, const Key& b) const {
199  return a.data < b.data;
200  }
201 
202  const std::vector<unsigned char>& ToPKBytes(const Key& key) const
203  {
204  assert(!key.is_hash);
205  return key.data;
206  }
207 
208  std::vector<unsigned char> ToPKHBytes(const Key& key) const
209  {
210  if (key.is_hash) return key.data;
211  const auto h = Hash160(key.data);
212  return {h.begin(), h.end()};
213  }
214 
215  template<typename I>
216  std::optional<Key> FromPKBytes(I first, I last) const
217  {
218  Key key;
219  key.data.assign(first, last);
220  key.is_hash = false;
221  return key;
222  }
223 
224  template<typename I>
225  std::optional<Key> FromPKHBytes(I first, I last) const
226  {
227  Key key;
228  key.data.assign(first, last);
229  key.is_hash = true;
230  return key;
231  }
232 
233  MsCtx MsContext() const {
234  return script_ctx;
235  }
236 };
237 
239 struct SatisfierContext : ParserContext {
240 
241  constexpr SatisfierContext(MsCtx ctx) noexcept : ParserContext(ctx) {}
242 
243  // Timelock challenges satisfaction. Make the value (deterministically) vary to explore different
244  // paths.
245  bool CheckAfter(uint32_t value) const { return value % 2; }
246  bool CheckOlder(uint32_t value) const { return value % 2; }
247 
248  // Signature challenges fulfilled with a dummy signature, if it was one of our dummy keys.
249  miniscript::Availability Sign(const CPubKey& key, std::vector<unsigned char>& sig) const {
250  bool sig_available{false};
251  if (auto res = TEST_DATA.GetSig(script_ctx, key)) {
252  std::tie(sig, sig_available) = *res;
253  }
255  }
256 
258  miniscript::Availability LookupHash(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage,
259  const std::map<std::vector<unsigned char>, std::vector<unsigned char>>& map) const
260  {
261  const auto it = map.find(hash);
262  if (it == map.end()) return miniscript::Availability::NO;
263  preimage = it->second;
265  }
266  miniscript::Availability SatSHA256(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage) const {
267  return LookupHash(hash, preimage, TEST_DATA.sha256_preimages);
268  }
269  miniscript::Availability SatRIPEMD160(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage) const {
270  return LookupHash(hash, preimage, TEST_DATA.ripemd160_preimages);
271  }
272  miniscript::Availability SatHASH256(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage) const {
273  return LookupHash(hash, preimage, TEST_DATA.hash256_preimages);
274  }
275  miniscript::Availability SatHASH160(const std::vector<unsigned char>& hash, std::vector<unsigned char>& preimage) const {
276  return LookupHash(hash, preimage, TEST_DATA.hash160_preimages);
277  }
278 };
279 
281 const struct CheckerContext: BaseSignatureChecker {
282  // Signature checker methods. Checks the right dummy signature is used.
283  bool CheckECDSASignature(const std::vector<unsigned char>& sig, const std::vector<unsigned char>& vchPubKey,
284  const CScript& scriptCode, SigVersion sigversion) const override
285  {
286  const CPubKey key{vchPubKey};
287  const auto it = TEST_DATA.dummy_sigs.find(key);
288  if (it == TEST_DATA.dummy_sigs.end()) return false;
289  return it->second.first == sig;
290  }
292  ScriptExecutionData&, ScriptError*) const override {
293  XOnlyPubKey pk{pubkey};
294  auto it = TEST_DATA.schnorr_sigs.find(pk);
295  if (it == TEST_DATA.schnorr_sigs.end()) return false;
296  return it->second.first == sig;
297  }
298  bool CheckLockTime(const CScriptNum& nLockTime) const override { return nLockTime.GetInt64() & 1; }
299  bool CheckSequence(const CScriptNum& nSequence) const override { return nSequence.GetInt64() & 1; }
300 } CHECKER_CTX;
301 
303 const struct KeyComparator {
304  bool KeyCompare(const CPubKey& a, const CPubKey& b) const {
305  return a < b;
306  }
307 } KEY_COMP;
308 
309 // A dummy scriptsig to pass to VerifyScript (we always use Segwit v0).
310 const CScript DUMMY_SCRIPTSIG;
311 
313 const std::vector<unsigned char> NUMS_PK{ParseHex("50929b74c1a04954b78b4b6035e97a5e078a5a0f28ec96d547bfee9ace803ac0")};
314 
316 template<typename... Args> NodeRef MakeNodeRef(Args&&... args) {
317  return miniscript::MakeNodeRef<CPubKey>(miniscript::internal::NoDupCheck{}, std::forward<Args>(args)...);
318 }
319 
321 struct 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 
343 template<typename T, typename A>
344 T ConsumeIndex(FuzzedDataProvider& provider, A& col) {
345  const uint8_t i = provider.ConsumeIntegral<uint8_t>();
346  return col[i];
347 }
348 
349 CPubKey ConsumePubKey(FuzzedDataProvider& provider) {
350  return ConsumeIndex<CPubKey>(provider, TEST_DATA.dummy_keys);
351 }
352 
353 std::vector<unsigned char> ConsumeSha256(FuzzedDataProvider& provider) {
354  return ConsumeIndex<std::vector<unsigned char>>(provider, TEST_DATA.sha256);
355 }
356 
357 std::vector<unsigned char> ConsumeHash256(FuzzedDataProvider& provider) {
358  return ConsumeIndex<std::vector<unsigned char>>(provider, TEST_DATA.hash256);
359 }
360 
361 std::vector<unsigned char> ConsumeRipemd160(FuzzedDataProvider& provider) {
362  return ConsumeIndex<std::vector<unsigned char>>(provider, TEST_DATA.ripemd160);
363 }
364 
365 std::vector<unsigned char> ConsumeHash160(FuzzedDataProvider& provider) {
366  return ConsumeIndex<std::vector<unsigned char>>(provider, TEST_DATA.hash160);
367 }
368 
369 std::optional<uint32_t> ConsumeTimeLock(FuzzedDataProvider& provider) {
370  const uint32_t k = provider.ConsumeIntegral<uint32_t>();
371  if (k == 0 || k >= 0x80000000) return {};
372  return k;
373 }
374 
389 std::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 {};
464  auto k = provider.ConsumeIntegral<uint8_t>();
465  auto n_subs = provider.ConsumeIntegral<uint8_t>();
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  */
516 struct 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;
582  Fragment frag{fragidx};
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.count(type) != 0) {
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  for (auto type_it = table.begin(); type_it != table.end();) {
701  if (useful_types.count(type_it->first) == 0) {
702  type_it = table.erase(type_it);
703  } else {
704  ++type_it;
705  }
706  }
707 
708  /* Find which types are constructible. A type is constructible if there is a leaf
709  * node recipe for constructing it, or a recipe whose subnodes are all constructible.
710  * Types can be non-constructible because they have no recipes to begin with,
711  * because they can only be constructed using recipes that involve otherwise
712  * non-constructible types, or because they require infinite recursion. */
713  std::set<Type> constructible_types{};
714  auto known_constructible = [&](Type type) { return constructible_types.count(type) != 0; };
715  // Find the transitive closure by adding types until the set of types does not change.
716  while (true) {
717  size_t set_size = constructible_types.size();
718  // Iterate over all types we have recipes for.
719  for (const auto& [type, recipes] : table) {
720  if (!known_constructible(type)) {
721  // For not (yet known to be) constructible types, iterate over their recipes.
722  for (const auto& [_, subt] : recipes) {
723  // If any recipe involves only (already known to be) constructible types,
724  // add the recipe's type to the set.
725  if (std::all_of(subt.begin(), subt.end(), known_constructible)) {
726  constructible_types.insert(type);
727  break;
728  }
729  }
730  }
731  }
732  if (constructible_types.size() == set_size) break;
733  }
734  for (auto type_it = table.begin(); type_it != table.end();) {
735  // Remove all recipes which involve non-constructible types.
736  type_it->second.erase(std::remove_if(type_it->second.begin(), type_it->second.end(),
737  [&](const recipe& rec) {
738  return !std::all_of(rec.second.begin(), rec.second.end(), known_constructible);
739  }), type_it->second.end());
740  // Delete types entirely which have no recipes left.
741  if (type_it->second.empty()) {
742  type_it = table.erase(type_it);
743  } else {
744  ++type_it;
745  }
746  }
747 
748  for (auto& [type, recipes] : table) {
749  // Sort recipes for determinism, and place those using fewer subnodes first.
750  // This avoids runaway expansion (when reaching the end of the fuzz input,
751  // all zeroes are read, resulting in the first available recipe being picked).
752  std::sort(recipes.begin(), recipes.end(),
753  [](const recipe& a, const recipe& b) {
754  if (a.second.size() < b.second.size()) return true;
755  if (a.second.size() > b.second.size()) return false;
756  return a < b;
757  }
758  );
759  }
760  }
761 } SMARTINFO;
762 
773 std::optional<NodeInfo> ConsumeNodeSmart(MsCtx script_ctx, FuzzedDataProvider& provider, Type type_needed) {
775  const auto& table{IsTapscript(script_ctx) ? SMARTINFO.tap_table : SMARTINFO.wsh_table};
776  auto recipes_it = table.find(type_needed);
777  assert(recipes_it != table.end());
779  const auto& [frag, subt] = PickValue(provider, recipes_it->second);
780 
781  // Based on the fragment the recipe uses, fill in other data (k, keys, data).
782  switch (frag) {
783  case Fragment::PK_K:
784  case Fragment::PK_H:
785  return {{frag, ConsumePubKey(provider)}};
786  case Fragment::MULTI: {
787  const auto n_keys = provider.ConsumeIntegralInRange<uint8_t>(1, 20);
788  const auto k = provider.ConsumeIntegralInRange<uint8_t>(1, n_keys);
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::MULTI_A: {
794  const auto n_keys = provider.ConsumeIntegralInRange<uint16_t>(1, 999);
795  const auto k = provider.ConsumeIntegralInRange<uint16_t>(1, n_keys);
796  std::vector<CPubKey> keys{n_keys};
797  for (auto& key: keys) key = ConsumePubKey(provider);
798  return {{frag, k, std::move(keys)}};
799  }
800  case Fragment::OLDER:
801  case Fragment::AFTER:
802  return {{frag, provider.ConsumeIntegralInRange<uint32_t>(1, 0x7FFFFFF)}};
803  case Fragment::SHA256:
804  return {{frag, PickValue(provider, TEST_DATA.sha256)}};
805  case Fragment::HASH256:
806  return {{frag, PickValue(provider, TEST_DATA.hash256)}};
807  case Fragment::RIPEMD160:
808  return {{frag, PickValue(provider, TEST_DATA.ripemd160)}};
809  case Fragment::HASH160:
810  return {{frag, PickValue(provider, TEST_DATA.hash160)}};
811  case Fragment::JUST_0:
812  case Fragment::JUST_1:
813  case Fragment::WRAP_A:
814  case Fragment::WRAP_S:
815  case Fragment::WRAP_C:
816  case Fragment::WRAP_D:
817  case Fragment::WRAP_V:
818  case Fragment::WRAP_J:
819  case Fragment::WRAP_N:
820  case Fragment::AND_V:
821  case Fragment::AND_B:
822  case Fragment::OR_B:
823  case Fragment::OR_C:
824  case Fragment::OR_D:
825  case Fragment::OR_I:
826  case Fragment::ANDOR:
827  return {{subt, frag}};
828  case Fragment::THRESH: {
829  uint32_t children;
830  if (subt.size() < 2) {
831  children = subt.size();
832  } else {
833  // If we hit a thresh with 2 subnodes, artificially extend it to any number
834  // (2 or larger) by replicating the type of the last subnode.
835  children = provider.ConsumeIntegralInRange<uint32_t>(2, MAX_OPS_PER_SCRIPT / 2);
836  }
837  auto k = provider.ConsumeIntegralInRange<uint32_t>(1, children);
838  std::vector<Type> subs = subt;
839  while (subs.size() < children) subs.push_back(subs.back());
840  return {{std::move(subs), frag, k}};
841  }
842  }
843 
844  assert(false);
845 }
846 
855 template<typename F>
856 NodeRef GenNode(MsCtx script_ctx, F ConsumeNode, Type root_type, bool strict_valid = false) {
858  std::vector<NodeRef> stack;
860  std::vector<std::pair<Type, std::optional<NodeInfo>>> todo{{root_type, {}}};
862  uint32_t ops{0};
865  uint32_t scriptsize{1};
866 
867  while (!todo.empty()) {
868  // The expected type we have to construct.
869  auto type_needed = todo.back().first;
870  if (!todo.back().second) {
871  // Fragment/children have not been decided yet. Decide them.
872  auto node_info = ConsumeNode(type_needed);
873  if (!node_info) return {};
874  // Update predicted resource limits. Since every leaf Miniscript node is at least one
875  // byte long, we move one byte from each child to their parent. A similar technique is
876  // used in the miniscript::internal::Parse function to prevent runaway string parsing.
877  scriptsize += miniscript::internal::ComputeScriptLen(node_info->fragment, ""_mst, node_info->subtypes.size(), node_info->k, node_info->subtypes.size(),
878  node_info->keys.size(), script_ctx) - 1;
879  if (scriptsize > MAX_STANDARD_P2WSH_SCRIPT_SIZE) return {};
880  switch (node_info->fragment) {
881  case Fragment::JUST_0:
882  case Fragment::JUST_1:
883  break;
884  case Fragment::PK_K:
885  break;
886  case Fragment::PK_H:
887  ops += 3;
888  break;
889  case Fragment::OLDER:
890  case Fragment::AFTER:
891  ops += 1;
892  break;
893  case Fragment::RIPEMD160:
894  case Fragment::SHA256:
895  case Fragment::HASH160:
896  case Fragment::HASH256:
897  ops += 4;
898  break;
899  case Fragment::ANDOR:
900  ops += 3;
901  break;
902  case Fragment::AND_V:
903  break;
904  case Fragment::AND_B:
905  case Fragment::OR_B:
906  ops += 1;
907  break;
908  case Fragment::OR_C:
909  ops += 2;
910  break;
911  case Fragment::OR_D:
912  ops += 3;
913  break;
914  case Fragment::OR_I:
915  ops += 3;
916  break;
917  case Fragment::THRESH:
918  ops += node_info->subtypes.size();
919  break;
920  case Fragment::MULTI:
921  ops += 1;
922  break;
923  case Fragment::MULTI_A:
924  ops += node_info->keys.size() + 1;
925  break;
926  case Fragment::WRAP_A:
927  ops += 2;
928  break;
929  case Fragment::WRAP_S:
930  ops += 1;
931  break;
932  case Fragment::WRAP_C:
933  ops += 1;
934  break;
935  case Fragment::WRAP_D:
936  ops += 3;
937  break;
938  case Fragment::WRAP_V:
939  // We don't account for OP_VERIFY here; that will be corrected for when the actual
940  // node is constructed below.
941  break;
942  case Fragment::WRAP_J:
943  ops += 4;
944  break;
945  case Fragment::WRAP_N:
946  ops += 1;
947  break;
948  }
949  if (ops > MAX_OPS_PER_SCRIPT) return {};
950  auto subtypes = node_info->subtypes;
951  todo.back().second = std::move(node_info);
952  todo.reserve(todo.size() + subtypes.size());
953  // As elements on the todo stack are processed back to front, construct
954  // them in reverse order (so that the first subnode is generated first).
955  for (size_t i = 0; i < subtypes.size(); ++i) {
956  todo.emplace_back(*(subtypes.rbegin() + i), std::nullopt);
957  }
958  } else {
959  // The back of todo has fragment and number of children decided, and
960  // those children have been constructed at the back of stack. Pop
961  // that entry off todo, and use it to construct a new NodeRef on
962  // stack.
963  NodeInfo& info = *todo.back().second;
964  // Gather children from the back of stack.
965  std::vector<NodeRef> sub;
966  sub.reserve(info.subtypes.size());
967  for (size_t i = 0; i < info.subtypes.size(); ++i) {
968  sub.push_back(std::move(*(stack.end() - info.subtypes.size() + i)));
969  }
970  stack.erase(stack.end() - info.subtypes.size(), stack.end());
971  // Construct new NodeRef.
972  NodeRef node;
973  if (info.keys.empty()) {
974  node = MakeNodeRef(script_ctx, info.fragment, std::move(sub), std::move(info.hash), info.k);
975  } else {
976  assert(sub.empty());
977  assert(info.hash.empty());
978  node = MakeNodeRef(script_ctx, info.fragment, std::move(info.keys), info.k);
979  }
980  // Verify acceptability.
981  if (!node || (node->GetType() & "KVWB"_mst) == ""_mst) {
982  assert(!strict_valid);
983  return {};
984  }
985  if (!(type_needed == ""_mst)) {
986  assert(node->GetType() << type_needed);
987  }
988  if (!node->IsValid()) return {};
989  // Update resource predictions.
990  if (node->fragment == Fragment::WRAP_V && node->subs[0]->GetType() << "x"_mst) {
991  ops += 1;
992  scriptsize += 1;
993  }
994  if (!miniscript::IsTapscript(script_ctx) && ops > MAX_OPS_PER_SCRIPT) return {};
995  if (scriptsize > miniscript::internal::MaxScriptSize(script_ctx)) {
996  return {};
997  }
998  // Move it to the stack.
999  stack.push_back(std::move(node));
1000  todo.pop_back();
1001  }
1002  }
1003  assert(stack.size() == 1);
1004  assert(stack[0]->GetStaticOps() == ops);
1005  assert(stack[0]->ScriptSize() == scriptsize);
1006  stack[0]->DuplicateKeyCheck(KEY_COMP);
1007  return std::move(stack[0]);
1008 }
1009 
1011 CScript ScriptPubKey(MsCtx ctx, const CScript& script, TaprootBuilder& builder)
1012 {
1013  if (!miniscript::IsTapscript(ctx)) return CScript() << OP_0 << WitnessV0ScriptHash(script);
1014 
1015  // For Taproot outputs we always use a tree with a single script and a dummy internal key.
1016  builder.Add(0, script, TAPROOT_LEAF_TAPSCRIPT);
1017  builder.Finalize(XOnlyPubKey{NUMS_PK});
1018  return GetScriptForDestination(builder.GetOutput());
1019 }
1020 
1022 void SatisfactionToWitness(MsCtx ctx, CScriptWitness& witness, const CScript& script, TaprootBuilder& builder) {
1023  // For P2WSH, it's only the witness script.
1024  witness.stack.emplace_back(script.begin(), script.end());
1025  if (!miniscript::IsTapscript(ctx)) return;
1026  // For Tapscript we also need the control block.
1027  witness.stack.push_back(*builder.GetSpendData().scripts.begin()->second.begin());
1028 }
1029 
1031 void TestNode(const MsCtx script_ctx, const NodeRef& node, FuzzedDataProvider& provider)
1032 {
1033  if (!node) return;
1034 
1035  // Check that it roundtrips to text representation
1036  const ParserContext parser_ctx{script_ctx};
1037  std::optional<std::string> str{node->ToString(parser_ctx)};
1038  assert(str);
1039  auto parsed = miniscript::FromString(*str, parser_ctx);
1040  assert(parsed);
1041  assert(*parsed == *node);
1042 
1043  // Check consistency between script size estimation and real size.
1044  auto script = node->ToScript(parser_ctx);
1045  assert(node->ScriptSize() == script.size());
1046 
1047  // Check consistency of "x" property with the script (type K is excluded, because it can end
1048  // with a push of a key, which could match these opcodes).
1049  if (!(node->GetType() << "K"_mst)) {
1050  bool ends_in_verify = !(node->GetType() << "x"_mst);
1051  assert(ends_in_verify == (script.back() == OP_CHECKSIG || script.back() == OP_CHECKMULTISIG || script.back() == OP_EQUAL || script.back() == OP_NUMEQUAL));
1052  }
1053 
1054  // The rest of the checks only apply when testing a valid top-level script.
1055  if (!node->IsValidTopLevel()) return;
1056 
1057  // Check roundtrip to script
1058  auto decoded = miniscript::FromScript(script, parser_ctx);
1059  assert(decoded);
1060  // Note we can't use *decoded == *node because the miniscript representation may differ, so we check that:
1061  // - The script corresponding to that decoded form matches exactly
1062  // - The type matches exactly
1063  assert(decoded->ToScript(parser_ctx) == script);
1064  assert(decoded->GetType() == node->GetType());
1065 
1066  // Optionally pad the script or the witness in order to increase the sensitivity of the tests of
1067  // the resources limits logic.
1068  CScriptWitness witness_mal, witness_nonmal;
1069  if (provider.ConsumeBool()) {
1070  // Under P2WSH, optionally pad the script with OP_NOPs to max op the ops limit of the constructed script.
1071  // This makes the script obviously not actually miniscript-compatible anymore, but the
1072  // signatures constructed in this test don't commit to the script anyway, so the same
1073  // miniscript satisfier will work. This increases the sensitivity of the test to the ops
1074  // counting logic being too low, especially for simple scripts.
1075  // Do this optionally because we're not solely interested in cases where the number of ops is
1076  // maximal.
1077  // Do not pad more than what would cause MAX_STANDARD_P2WSH_SCRIPT_SIZE to be reached, however,
1078  // as that also invalidates scripts.
1079  const auto node_ops{node->GetOps()};
1080  if (!IsTapscript(script_ctx) && node_ops && *node_ops < MAX_OPS_PER_SCRIPT
1081  && node->ScriptSize() < MAX_STANDARD_P2WSH_SCRIPT_SIZE) {
1082  int add = std::min<int>(
1083  MAX_OPS_PER_SCRIPT - *node_ops,
1084  MAX_STANDARD_P2WSH_SCRIPT_SIZE - node->ScriptSize());
1085  for (int i = 0; i < add; ++i) script.push_back(OP_NOP);
1086  }
1087 
1088  // Under Tapscript, optionally pad the stack up to the limit minus the calculated maximum execution stack
1089  // size to assert a Miniscript would never add more elements to the stack during execution than anticipated.
1090  const auto node_exec_ss{node->GetExecStackSize()};
1091  if (miniscript::IsTapscript(script_ctx) && node_exec_ss && *node_exec_ss < MAX_STACK_SIZE) {
1092  unsigned add{(unsigned)MAX_STACK_SIZE - *node_exec_ss};
1093  witness_mal.stack.resize(add);
1094  witness_nonmal.stack.resize(add);
1095  script.reserve(add);
1096  for (unsigned i = 0; i < add; ++i) script.push_back(OP_NIP);
1097  }
1098  }
1099 
1100  const SatisfierContext satisfier_ctx{script_ctx};
1101 
1102  // Get the ScriptPubKey for this script, filling spend data if it's Taproot.
1103  TaprootBuilder builder;
1104  const CScript script_pubkey{ScriptPubKey(script_ctx, script, builder)};
1105 
1106  // Run malleable satisfaction algorithm.
1107  std::vector<std::vector<unsigned char>> stack_mal;
1108  const bool mal_success = node->Satisfy(satisfier_ctx, stack_mal, false) == miniscript::Availability::YES;
1109 
1110  // Run non-malleable satisfaction algorithm.
1111  std::vector<std::vector<unsigned char>> stack_nonmal;
1112  const bool nonmal_success = node->Satisfy(satisfier_ctx, stack_nonmal, true) == miniscript::Availability::YES;
1113 
1114  if (nonmal_success) {
1115  // Non-malleable satisfactions are bounded by the satisfaction size plus:
1116  // - For P2WSH spends, the witness script
1117  // - For Tapscript spends, both the witness script and the control block
1118  const size_t max_stack_size{*node->GetStackSize() + 1 + miniscript::IsTapscript(script_ctx)};
1119  assert(stack_nonmal.size() <= max_stack_size);
1120  // If a non-malleable satisfaction exists, the malleable one must also exist, and be identical to it.
1121  assert(mal_success);
1122  assert(stack_nonmal == stack_mal);
1123  // Compute witness size (excluding script push, control block, and witness count encoding).
1124  const size_t wit_size = GetSerializeSize(stack_nonmal) - GetSizeOfCompactSize(stack_nonmal.size());
1125  assert(wit_size <= *node->GetWitnessSize());
1126 
1127  // Test non-malleable satisfaction.
1128  witness_nonmal.stack.insert(witness_nonmal.stack.end(), std::make_move_iterator(stack_nonmal.begin()), std::make_move_iterator(stack_nonmal.end()));
1129  SatisfactionToWitness(script_ctx, witness_nonmal, script, builder);
1130  ScriptError serror;
1131  bool res = VerifyScript(DUMMY_SCRIPTSIG, script_pubkey, &witness_nonmal, STANDARD_SCRIPT_VERIFY_FLAGS, CHECKER_CTX, &serror);
1132  // Non-malleable satisfactions are guaranteed to be valid if ValidSatisfactions().
1133  if (node->ValidSatisfactions()) assert(res);
1134  // More detailed: non-malleable satisfactions must be valid, or could fail with ops count error (if CheckOpsLimit failed),
1135  // or with a stack size error (if CheckStackSize check failed).
1136  assert(res ||
1137  (!node->CheckOpsLimit() && serror == ScriptError::SCRIPT_ERR_OP_COUNT) ||
1138  (!node->CheckStackSize() && serror == ScriptError::SCRIPT_ERR_STACK_SIZE));
1139  }
1140 
1141  if (mal_success && (!nonmal_success || witness_mal.stack != witness_nonmal.stack)) {
1142  // Test malleable satisfaction only if it's different from the non-malleable one.
1143  witness_mal.stack.insert(witness_mal.stack.end(), std::make_move_iterator(stack_mal.begin()), std::make_move_iterator(stack_mal.end()));
1144  SatisfactionToWitness(script_ctx, witness_mal, script, builder);
1145  ScriptError serror;
1146  bool res = VerifyScript(DUMMY_SCRIPTSIG, script_pubkey, &witness_mal, STANDARD_SCRIPT_VERIFY_FLAGS, CHECKER_CTX, &serror);
1147  // Malleable satisfactions are not guaranteed to be valid under any conditions, but they can only
1148  // fail due to stack or ops limits.
1150  }
1151 
1152  if (node->IsSane()) {
1153  // For sane nodes, the two algorithms behave identically.
1154  assert(mal_success == nonmal_success);
1155  }
1156 
1157  // Verify that if a node is policy-satisfiable, the malleable satisfaction
1158  // algorithm succeeds. Given that under IsSane() both satisfactions
1159  // are identical, this implies that for such nodes, the non-malleable
1160  // satisfaction will also match the expected policy.
1161  const auto is_key_satisfiable = [script_ctx](const CPubKey& pubkey) -> bool {
1162  auto sig_ptr{TEST_DATA.GetSig(script_ctx, pubkey)};
1163  return sig_ptr != nullptr && sig_ptr->second;
1164  };
1165  bool satisfiable = node->IsSatisfiable([&](const Node& node) -> bool {
1166  switch (node.fragment) {
1167  case Fragment::PK_K:
1168  case Fragment::PK_H:
1169  return is_key_satisfiable(node.keys[0]);
1170  case Fragment::MULTI:
1171  case Fragment::MULTI_A: {
1172  size_t sats = std::count_if(node.keys.begin(), node.keys.end(), [&](const auto& key) {
1173  return size_t(is_key_satisfiable(key));
1174  });
1175  return sats >= node.k;
1176  }
1177  case Fragment::OLDER:
1178  case Fragment::AFTER:
1179  return node.k & 1;
1180  case Fragment::SHA256:
1181  return TEST_DATA.sha256_preimages.count(node.data);
1182  case Fragment::HASH256:
1183  return TEST_DATA.hash256_preimages.count(node.data);
1184  case Fragment::RIPEMD160:
1185  return TEST_DATA.ripemd160_preimages.count(node.data);
1186  case Fragment::HASH160:
1187  return TEST_DATA.hash160_preimages.count(node.data);
1188  default:
1189  assert(false);
1190  }
1191  return false;
1192  });
1193  assert(mal_success == satisfiable);
1194 }
1195 
1196 } // namespace
1197 
1198 void FuzzInit()
1199 {
1200  ECC_Start();
1201  TEST_DATA.Init();
1202 }
1203 
1205 {
1206  FuzzInit();
1207  SMARTINFO.Init();
1208 }
1209 
1211 FUZZ_TARGET(miniscript_stable, .init = FuzzInit)
1212 {
1213  // Run it under both P2WSH and Tapscript contexts.
1214  for (const auto script_ctx: {MsCtx::P2WSH, MsCtx::TAPSCRIPT}) {
1215  FuzzedDataProvider provider(buffer.data(), buffer.size());
1216  TestNode(script_ctx, GenNode(script_ctx, [&](Type needed_type) {
1217  return ConsumeNodeStable(script_ctx, provider, needed_type);
1218  }, ""_mst), provider);
1219  }
1220 }
1221 
1223 FUZZ_TARGET(miniscript_smart, .init = FuzzInitSmart)
1224 {
1226  static constexpr std::array<Type, 4> BASE_TYPES{"B"_mst, "V"_mst, "K"_mst, "W"_mst};
1227 
1228  FuzzedDataProvider provider(buffer.data(), buffer.size());
1229  const auto script_ctx{(MsCtx)provider.ConsumeBool()};
1230  TestNode(script_ctx, GenNode(script_ctx, [&](Type needed_type) {
1231  return ConsumeNodeSmart(script_ctx, provider, needed_type);
1232  }, PickValue(provider, BASE_TYPES), true), provider);
1233 }
1234 
1235 /* Fuzz tests that test parsing from a string, and roundtripping via string. */
1236 FUZZ_TARGET(miniscript_string, .init = FuzzInit)
1237 {
1238  if (buffer.empty()) return;
1239  FuzzedDataProvider provider(buffer.data(), buffer.size());
1240  auto str = provider.ConsumeBytesAsString(provider.remaining_bytes() - 1);
1241  const ParserContext parser_ctx{(MsCtx)provider.ConsumeBool()};
1242  auto parsed = miniscript::FromString(str, parser_ctx);
1243  if (!parsed) return;
1244 
1245  const auto str2 = parsed->ToString(parser_ctx);
1246  assert(str2);
1247  auto parsed2 = miniscript::FromString(*str2, parser_ctx);
1248  assert(parsed2);
1249  assert(*parsed == *parsed2);
1250 }
1251 
1252 /* Fuzz tests that test parsing from a script, and roundtripping via script. */
1253 FUZZ_TARGET(miniscript_script)
1254 {
1255  FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
1256  const std::optional<CScript> script = ConsumeDeserializable<CScript>(fuzzed_data_provider);
1257  if (!script) return;
1258 
1259  const ScriptParserContext script_parser_ctx{(MsCtx)fuzzed_data_provider.ConsumeBool()};
1260  const auto ms = miniscript::FromScript(*script, script_parser_ctx);
1261  if (!ms) return;
1262 
1263  assert(ms->ToScript(script_parser_ctx) == *script);
1264 }
CScript GetScriptForDestination(const CTxDestination &dest)
Generate a Bitcoin scriptPubKey for the given CTxDestination.
ECC_Start()
Definition: key.cpp:435
ArgsManager & args
Definition: bitcoind.cpp:268
virtual bool CheckLockTime(const CScriptNum &nLockTime) const
Definition: interpreter.h:258
virtual bool CheckSchnorrSignature(Span< const unsigned char > sig, Span< const unsigned char > pubkey, SigVersion sigversion, ScriptExecutionData &execdata, ScriptError *serror=nullptr) const
Definition: interpreter.h:253
virtual bool CheckSequence(const CScriptNum &nSequence) const
Definition: interpreter.h:263
virtual bool CheckECDSASignature(const std::vector< unsigned char > &scriptSig, const std::vector< unsigned char > &vchPubKey, const CScript &scriptCode, SigVersion sigversion) const
Definition: interpreter.h:248
A hasher class for Bitcoin's 160-bit hash (SHA-256 + RIPEMD-160).
Definition: hash.h:49
void Finalize(Span< unsigned char > output)
Definition: hash.h:55
CHash160 & Write(Span< const unsigned char > input)
Definition: hash.h:62
A hasher class for Bitcoin's 256-bit hash (double SHA-256).
Definition: hash.h:24
CHash256 & Write(Span< const unsigned char > input)
Definition: hash.h:37
void Finalize(Span< unsigned char > output)
Definition: hash.h:30
An encapsulated private key.
Definition: key.h:33
bool SignSchnorr(const uint256 &hash, Span< unsigned char > sig, const uint256 *merkle_root, const uint256 &aux) const
Create a BIP-340 Schnorr signature, for the xonly-pubkey corresponding to *this, optionally tweaked b...
Definition: key.cpp:278
bool Sign(const uint256 &hash, std::vector< unsigned char > &vchSig, bool grind=true, uint32_t test_case=0) const
Create a DER-serialized signature.
Definition: key.cpp:214
CPubKey GetPubKey() const
Compute the public key from a private key.
Definition: key.cpp:188
void Set(const T pbegin, const T pend, bool fCompressedIn)
Initialize using begin and end iterators to byte data.
Definition: key.h:99
A reference to a CKey: the Hash160 of its serialized public key.
Definition: pubkey.h:24
An encapsulated public key.
Definition: pubkey.h:34
A hasher class for RIPEMD-160.
Definition: ripemd160.h:13
CRIPEMD160 & Write(const unsigned char *data, size_t len)
Definition: ripemd160.cpp:247
void Finalize(unsigned char hash[OUTPUT_SIZE])
Definition: ripemd160.cpp:273
A hasher class for SHA-256.
Definition: sha256.h:14
void Finalize(unsigned char hash[OUTPUT_SIZE])
Definition: sha256.cpp:728
CSHA256 & Write(const unsigned char *data, size_t len)
Definition: sha256.cpp:702
Serialized script, used inside transaction inputs and outputs.
Definition: script.h:414
int64_t GetInt64() const
Definition: script.h:341
std::string ConsumeBytesAsString(size_t num_bytes)
T ConsumeIntegralInRange(T min, T max)
A Span is an object that can refer to a contiguous sequence of objects.
Definition: span.h:98
CONSTEXPR_IF_NOT_DEBUG Span< C > first(std::size_t count) const noexcept
Definition: span.h:205
Utility class to construct Taproot outputs from internal key and script tree.
WitnessV1Taproot GetOutput()
Compute scriptPubKey (after Finalize()).
TaprootSpendData GetSpendData() const
Compute spending data (after Finalize()).
TaprootBuilder & Add(int depth, Span< const unsigned char > script, int leaf_version, bool track=true)
Add a new script at a certain depth in the tree.
TaprootBuilder & Finalize(const XOnlyPubKey &internal_key)
Finalize the construction.
const unsigned char * begin() const
Definition: pubkey.h:290
CPubKey GetEvenCorrespondingCPubKey() const
Definition: pubkey.cpp:207
static constexpr unsigned int size()
Definition: uint256.h:74
constexpr unsigned char * begin()
Definition: uint256.h:68
This type encapsulates the miniscript type system properties.
Definition: miniscript.h:122
size_type size() const
Definition: prevector.h:296
T & back()
Definition: prevector.h:459
iterator begin()
Definition: prevector.h:304
iterator end()
Definition: prevector.h:306
void reserve(size_type new_capacity)
Definition: prevector.h:347
void push_back(const T &value)
Definition: prevector.h:443
160-bit opaque blob.
Definition: uint256.h:95
uint160 Hash160(const T1 &in1)
Compute the 160-bit hash an object.
Definition: hash.h:92
uint160 RIPEMD160(Span< const unsigned char > data)
Compute the 160-bit RIPEMD-160 hash of an array.
Definition: hash.h:222
#define T(expected, seed, data)
bool VerifyScript(const CScript &scriptSig, const CScript &scriptPubKey, const CScriptWitness *witness, unsigned int flags, const BaseSignatureChecker &checker, ScriptError *serror)
SigVersion
Definition: interpreter.h:191
static constexpr uint8_t TAPROOT_LEAF_TAPSCRIPT
Definition: interpreter.h:232
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.
Definition: miniscript.cpp:261
constexpr uint32_t MaxScriptSize(MiniscriptContext ms_ctx)
The maximum size of a script depending on the context.
Definition: miniscript.h:265
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.
Definition: miniscript.cpp:36
std::shared_ptr< const Node< Key > > NodeRef
Definition: miniscript.h:187
constexpr bool IsTapscript(MiniscriptContext ms_ctx)
Whether the context Tapscript, ensuring the only other possibility is P2WSH.
Definition: miniscript.h:240
NodeRef< Key > MakeNodeRef(Args &&... args)
Construct a miniscript node as a shared_ptr.
Definition: miniscript.h:191
NodeRef< typename Ctx::Key > FromScript(const CScript &script, const Ctx &ctx)
Definition: miniscript.h:2616
NodeRef< typename Ctx::Key > FromString(const std::string &str, const Ctx &ctx)
Definition: miniscript.h:2611
Fragment
The different node types in miniscript.
Definition: miniscript.h:194
Definition: init.h:25
Internal RIPEMD-160 implementation.
Definition: ripemd160.cpp:16
Internal SHA-256 implementation.
Definition: sha256.cpp:71
static constexpr unsigned int STANDARD_SCRIPT_VERIFY_FLAGS
Standard script verification flags that standard transactions will comply with.
Definition: policy.h:103
static constexpr unsigned int MAX_STANDARD_P2WSH_SCRIPT_SIZE
The maximum size in bytes of a standard witnessScript.
Definition: policy.h:47
@ OP_CHECKMULTISIG
Definition: script.h:191
@ OP_CHECKSIG
Definition: script.h:189
@ OP_EQUAL
Definition: script.h:145
@ OP_NUMEQUAL
Definition: script.h:170
@ OP_NOP
Definition: script.h:101
@ OP_NIP
Definition: script.h:125
@ OP_0
Definition: script.h:75
static const int MAX_STACK_SIZE
Definition: script.h:42
static const int MAX_OPS_PER_SCRIPT
Definition: script.h:30
enum ScriptError_t ScriptError
@ SCRIPT_ERR_OP_COUNT
Definition: script_error.h:21
@ SCRIPT_ERR_STACK_SIZE
Definition: script_error.h:22
size_t GetSerializeSize(const T &t)
Definition: serialize.h:1116
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:310
std::vector< Byte > ParseHex(std::string_view hex_str)
Like TryParseHex, but returns an empty vector on invalid input.
Definition: strencodings.h:65
std::string ToString(const T &t)
Locale-independent version of std::to_string.
Definition: string.h:110
std::vector< std::vector< unsigned char > > stack
Definition: script.h:569
std::map< std::pair< std::vector< unsigned char >, int >, std::set< std::vector< unsigned char >, ShortestVectorFirstComparator > > scripts
Map from (script, leaf_version) to (sets of) control blocks.
A node in a miniscript expression.
Definition: miniscript.h:499
FUZZ_TARGET(miniscript_stable,.init=FuzzInit)
Fuzz target that runs TestNode on nodes generated using ConsumeNodeStable.
void FuzzInit()
void FuzzInitSmart()
auto ConsumeNode(FuzzedDataProvider &fuzzed_data_provider, const std::optional< NodeId > &node_id_in=std::nullopt) noexcept
Definition: net.h:109
auto & PickValue(FuzzedDataProvider &fuzzed_data_provider, Collection &col)
Definition: util.h:47
bilingual_str _(const char *psz)
Translation function.
Definition: translation.h:74
uint256 uint256S(const char *str)
Definition: uint256.h:119
std::string HexStr(const Span< const uint8_t > s)
Convert a span of bytes to a lower-case hexadecimal string.
assert(!tx.IsCoinBase())