Inside Bitcoin
Opening the selected file…
Inside Bitcoin
Opening the selected file…
The code behind the network, with room to understand it.
Release published 2026-10-28 · Snapshot fetched 2026-11-01. Latest stable release at fetch time; development branches and Git history are excluded. Only the selected code window and visible folders load here.
251BOOST_CHECK(std::get<ScriptHash>(address) == ScriptHash(redeemScript));253// TxoutType::MULTISIG254s.clear();255s << OP_1 << ToByteVector(pubkey) << OP_1 << OP_CHECKMULTISIG;256BOOST_CHECK(!ExtractDestination(s, address));258// TxoutType::NULL_DATA259s.clear();260s << OP_RETURN << std::vector<unsigned char>({75});261BOOST_CHECK(!ExtractDestination(s, address));263// TxoutType::WITNESS_V0_KEYHASH264s.clear();265s << OP_0 << ToByteVector(pubkey.GetID());266BOOST_CHECK(ExtractDestination(s, address));267WitnessV0KeyHash keyhash;268CHash160().Write(pubkey).Finalize(keyhash);269BOOST_CHECK(std::get<WitnessV0KeyHash>(address) == keyhash);271// TxoutType::WITNESS_V0_SCRIPTHASH272s.clear();273WitnessV0ScriptHash scripthash;274CSHA256().Write(redeemScript.data(), redeemScript.size()).Finalize(scripthash.begin());275s << OP_0 << ToByteVector(scripthash);276BOOST_CHECK(ExtractDestination(s, address));277BOOST_CHECK(std::get<WitnessV0ScriptHash>(address) == scripthash);279// TxoutType::WITNESS_V1_TAPROOT280s.clear();281auto xpk = XOnlyPubKey(pubkey);282s << OP_1 << ToByteVector(xpk);283BOOST_CHECK(ExtractDestination(s, address));284BOOST_CHECK(std::get<WitnessV1Taproot>(address) == WitnessV1Taproot(xpk));286// TxoutType::ANCHOR287s.clear();288s << OP_1 << ANCHOR_BYTES;289BOOST_CHECK(ExtractDestination(s, address));290BOOST_CHECK(std::get<PayToAnchor>(address) == PayToAnchor());292// TxoutType::WITNESS_UNKNOWN with unknown version293// -> segwit version 1 with an undefined program size (33 bytes in this test case)294s.clear();295s << OP_1 << ToByteVector(pubkey);296BOOST_CHECK(ExtractDestination(s, address));297WitnessUnknown unk_v1{1, ToByteVector(pubkey)};298BOOST_CHECK(std::get<WitnessUnknown>(address) == unk_v1);299s.clear();300// -> segwit versions 2+ are not specified yet301s << OP_2 << ToByteVector(xpk);302BOOST_CHECK(ExtractDestination(s, address));303WitnessUnknown unk_v2{2, ToByteVector(xpk)};304BOOST_CHECK(std::get<WitnessUnknown>(address) == unk_v2);305}307BOOST_AUTO_TEST_CASE(script_standard_GetScriptFor_)308{309CKey keys[3];310CPubKey pubkeys[3];311for (int i = 0; i < 3; i++) {312keys[i].MakeNewKey(true);313pubkeys[i] = keys[i].GetPubKey();314}316CScript expected, result;318// PKHash319expected.clear();320expected << OP_DUP << OP_HASH160 << ToByteVector(pubkeys[0].GetID()) << OP_EQUALVERIFY << OP_CHECKSIG;321result = GetScriptForDestination(PKHash(pubkeys[0]));322BOOST_CHECK(result == expected);324// CScriptID325CScript redeemScript(result);326expected.clear();327expected << OP_HASH160 << ToByteVector(CScriptID(redeemScript)) << OP_EQUAL;328result = GetScriptForDestination(ScriptHash(redeemScript));329BOOST_CHECK(result == expected);331// CNoDestination332expected.clear();333result = GetScriptForDestination(CNoDestination());334BOOST_CHECK(result == expected);336// GetScriptForRawPubKey337expected.clear();338expected << ToByteVector(pubkeys[0]) << OP_CHECKSIG;339result = GetScriptForRawPubKey(pubkeys[0]);340BOOST_CHECK(result == expected);342// GetScriptForMultisig343expected.clear();344expected << OP_2 <<345ToByteVector(pubkeys[0]) <<346ToByteVector(pubkeys[1]) <<347ToByteVector(pubkeys[2]) <<348OP_3 << OP_CHECKMULTISIG;349result = GetScriptForMultisig(2, std::vector<CPubKey>(pubkeys, pubkeys + 3));350BOOST_CHECK(result == expected);352// WitnessV0KeyHash353expected.clear();354expected << OP_0 << ToByteVector(pubkeys[0].GetID());355result = GetScriptForDestination(WitnessV0KeyHash(Hash160(ToByteVector(pubkeys[0]))));356BOOST_CHECK(result == expected);357result = GetScriptForDestination(WitnessV0KeyHash(pubkeys[0].GetID()));358BOOST_CHECK(result == expected);360// WitnessV0ScriptHash (multisig)361CScript witnessScript;362witnessScript << OP_1 << ToByteVector(pubkeys[0]) << OP_1 << OP_CHECKMULTISIG;364uint256 scriptHash;365CSHA256().Write(witnessScript.data(), witnessScript.size())366.Finalize(scriptHash.begin());368expected.clear();369expected << OP_0 << ToByteVector(scriptHash);370result = GetScriptForDestination(WitnessV0ScriptHash(witnessScript));371BOOST_CHECK(result == expected);373// WitnessV1Taproot374auto xpk = XOnlyPubKey(pubkeys[0]);375expected.clear();376expected << OP_1 << ToByteVector(xpk);377result = GetScriptForDestination(WitnessV1Taproot(xpk));378BOOST_CHECK(result == expected);380// PayToAnchor381expected.clear();382expected << OP_1 << ANCHOR_BYTES;383result = GetScriptForDestination(PayToAnchor());384BOOST_CHECK(result == expected);385}387BOOST_AUTO_TEST_CASE(script_standard_taproot_builder)388{389BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({}), true);390BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0}), true);391BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1}), false);392BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2}), false);393BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,0}), false);394BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,1}), false);395BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,2}), false);396BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,0}), false);397BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,1}), true);398BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,2}), false);399BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,0}), false);400BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,1}), false);401BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,2}), false);402BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,0,0}), false);403BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,0,1}), false);404BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,0,2}), false);405BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,1,0}), false);406BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,1,1}), false);407BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,1,2}), false);408BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,2,0}), false);409BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,2,1}), false);410BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({0,2,2}), false);411BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,0,0}), false);412BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,0,1}), false);413BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,0,2}), false);414BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,1,0}), false);415BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,1,1}), false);416BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,1,2}), false);417BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,2,0}), false);418BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,2,1}), false);419BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({1,2,2}), true);420BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,0,0}), false);421BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,0,1}), false);422BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,0,2}), false);423BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,1,0}), false);424BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,1,1}), false);425BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,1,2}), false);426BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,2,0}), false);427BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,2,1}), true);428BOOST_CHECK_EQUAL(TaprootBuilder::ValidDepths({2,2,2}), false);429BOOST_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);430BOOST_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);431BOOST_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);433XOnlyPubKey key_inner{"79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798"_hex_u8};434XOnlyPubKey key_1{"c6047f9441ed7d6d3045406e95c07cd85c778e4b8cef3ca7abac09b95c709ee5"_hex_u8};435XOnlyPubKey key_2{"f9308a019258c31049344f85f89d5229b531c845836f99b08601f113bce036f9"_hex_u8};436CScript script_1 = CScript() << ToByteVector(key_1) << OP_CHECKSIG;437CScript script_2 = CScript() << ToByteVector(key_2) << OP_CHECKSIG;438constexpr uint256 hash_3{"31fe7061656bea2a36aa60a2f7ef940578049273746935d296426dc0afd86b68"};440TaprootBuilder builder;441BOOST_CHECK(builder.IsValid());442BOOST_CHECK(builder.IsComplete());443builder.Add(2, script_2, 0xc0);444BOOST_CHECK(builder.IsValid());445BOOST_CHECK(!builder.IsComplete());446builder.AddOmitted(2, hash_3);447BOOST_CHECK(builder.IsValid());448BOOST_CHECK(!builder.IsComplete());449builder.Add(1, script_1, 0xc0);450BOOST_CHECK(builder.IsValid());451BOOST_CHECK(builder.IsComplete());452builder.Finalize(key_inner);453BOOST_CHECK(builder.IsValid());454BOOST_CHECK(builder.IsComplete());455BOOST_CHECK_EQUAL(EncodeDestination(builder.GetOutput()), "bc1pj6gaw944fy0xpmzzu45ugqde4rz7mqj5kj0tg8kmr5f0pjq8vnaqgynnge");456}458BOOST_AUTO_TEST_CASE(bip341_spk_test_vectors)459{460using control_set = decltype(TaprootSpendData::scripts)::mapped_type;462UniValue tests;463Assert(tests.read(json_tests::bip341_wallet_vectors));465const auto& vectors = tests["scriptPubKey"];467for (const auto& vec : vectors.getValues()) {468TaprootBuilder spktest;469std::map<std::pair<std::vector<unsigned char>, int>, int> scriptposes;470std::function<void (const UniValue&, int)> parse_tree = [&](const UniValue& node, int depth) {471if (node.isNull()) return;472if (node.isObject()) {473auto script = ParseHex(node["script"].get_str());474int idx = node["id"].getInt<int>();475int leaf_version = node["leafVersion"].getInt<int>();476scriptposes[{script, leaf_version}] = idx;477spktest.Add(depth, script, leaf_version);478} else {479parse_tree(node[0], depth + 1);480parse_tree(node[1], depth + 1);481}482};483parse_tree(vec["given"]["scriptTree"], 0);484spktest.Finalize(XOnlyPubKey(ParseHex(vec["given"]["internalPubkey"].get_str())));485BOOST_CHECK_EQUAL(HexStr(GetScriptForDestination(spktest.GetOutput())), vec["expected"]["scriptPubKey"].get_str());486BOOST_CHECK_EQUAL(EncodeDestination(spktest.GetOutput()), vec["expected"]["bip350Address"].get_str());487auto spend_data = spktest.GetSpendData();488BOOST_CHECK_EQUAL(vec["intermediary"]["merkleRoot"].isNull(), spend_data.merkle_root.IsNull());489if (!spend_data.merkle_root.IsNull()) {490BOOST_CHECK_EQUAL(vec["intermediary"]["merkleRoot"].get_str(), HexStr(spend_data.merkle_root));491}492BOOST_CHECK_EQUAL(spend_data.scripts.size(), scriptposes.size());493for (const auto& scriptpos : scriptposes) {494BOOST_CHECK(spend_data.scripts[scriptpos.first] == control_set{ParseHex(vec["expected"]["scriptPathControlBlocks"][scriptpos.second].get_str())});495}496}497}499BOOST_AUTO_TEST_SUITE_END()
Independent explanations by MyBitcoinExplorer. Not affiliated with or endorsed by Bitcoin Core. Guides are educational and do not replace the source or its tests.
Bitcoin Core source © its contributors, distributed under the MIT license. Original notices and bundled third-party licenses are retained in the source tree.