5 #include <test/data/bip341_wallet_vectors.json.h>
15 #include <boost/test/unit_test.hpp>
32 for (
int i = 0; i < 3; i++) {
38 std::vector<std::vector<unsigned char> > solutions;
70 BOOST_CHECK(solutions[0] == std::vector<unsigned char>({1}));
73 BOOST_CHECK(solutions[3] == std::vector<unsigned char>({2}));
83 BOOST_CHECK(solutions[0] == std::vector<unsigned char>({2}));
87 BOOST_CHECK(solutions[4] == std::vector<unsigned char>({3}));
92 std::vector<unsigned char>({0}) <<
93 std::vector<unsigned char>({75}) <<
94 std::vector<unsigned char>({255});
128 BOOST_CHECK(solutions[0] == std::vector<unsigned char>{16});
145 std::vector<std::vector<unsigned char> > solutions;
149 s << std::vector<unsigned char>(30, 0x01) <<
OP_CHECKSIG;
159 s << OP_HASH160 << std::vector<unsigned char>(21, 0x01) <<
OP_EQUAL;
184 s << OP_RETURN << std::vector<unsigned char>({75}) <<
OP_ADD;
189 s << OP_0 << std::vector<unsigned char>(19, 0x01);
229 s << OP_RETURN << std::vector<unsigned char>({75});
238 BOOST_CHECK(std::get<WitnessV0KeyHash>(address) == keyhash);
246 BOOST_CHECK(std::get<WitnessV0ScriptHash>(address) == scripthash);
256 BOOST_CHECK(std::get<WitnessUnknown>(address) == unk);
263 for (
int i = 0; i < 3; i++) {
368 BOOST_CHECK_EQUAL(
TaprootBuilder::ValidDepths({2,2,2,3,4,5,6,7,8,9,10,11,12,14,14,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,31,31,31,31,31,31,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,128}),
true);
369 BOOST_CHECK_EQUAL(
TaprootBuilder::ValidDepths({128,128,127,126,125,124,123,122,121,120,119,118,117,116,115,114,113,112,111,110,109,108,107,106,105,104,103,102,101,100,99,98,97,96,95,94,93,92,91,90,89,88,87,86,85,84,83,82,81,80,79,78,77,76,75,74,73,72,71,70,69,68,67,66,65,64,63,62,61,60,59,58,57,56,55,54,53,52,51,50,49,48,47,46,45,44,43,42,41,40,39,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1}),
true);
370 BOOST_CHECK_EQUAL(
TaprootBuilder::ValidDepths({129,129,128,127,126,125,124,123,122,121,120,119,118,117,116,115,114,113,112,111,110,109,108,107,106,105,104,103,102,101,100,99,98,97,96,95,94,93,92,91,90,89,88,87,86,85,84,83,82,81,80,79,78,77,76,75,74,73,72,71,70,69,68,67,66,65,64,63,62,61,60,59,58,57,56,55,54,53,52,51,50,49,48,47,46,45,44,43,42,41,40,39,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1}),
false);
372 XOnlyPubKey key_inner{
ParseHex(
"79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798")};
373 XOnlyPubKey key_1{
ParseHex(
"c6047f9441ed7d6d3045406e95c07cd85c778e4b8cef3ca7abac09b95c709ee5")};
374 XOnlyPubKey key_2{
ParseHex(
"f9308a019258c31049344f85f89d5229b531c845836f99b08601f113bce036f9")};
377 uint256 hash_3 =
uint256S(
"31fe7061656bea2a36aa60a2f7ef940578049273746935d296426dc0afd86b68");
381 builder.
Add(2, script_2, 0xc0);
385 builder.
Add(1, script_1, 0xc0);
397 tests.
read((
const char*)json_tests::bip341_wallet_vectors,
sizeof(json_tests::bip341_wallet_vectors));
399 const auto& vectors = tests[
"scriptPubKey"];
401 for (
const auto& vec : vectors.getValues()) {
403 std::map<std::pair<CScript, int>,
int> scriptposes;
405 if (
node.isNull())
return;
406 if (
node.isObject()) {
408 CScript script(script_bytes.begin(), script_bytes.end());
409 int idx =
node[
"id"].get_int();
410 int leaf_version =
node[
"leafVersion"].get_int();
411 scriptposes[{script, leaf_version}] = idx;
412 spktest.
Add(depth, script, leaf_version);
414 parse_tree(
node[0], depth + 1);
415 parse_tree(
node[1], depth + 1);
418 parse_tree(vec[
"given"][
"scriptTree"], 0);
423 BOOST_CHECK_EQUAL(vec[
"intermediary"][
"merkleRoot"].isNull(), spend_data.merkle_root.IsNull());
424 if (!spend_data.merkle_root.IsNull()) {
428 for (
const auto& scriptpos : scriptposes) {
429 BOOST_CHECK(spend_data.scripts[scriptpos.first] == control_set{ParseHex(vec[
"expected"][
"scriptPathControlBlocks"][scriptpos.second].get_str())});