BITCOIN MAINNETLive explorer status

Explorer Mempool Feed Forum Visualizer Receipts Tools Learn Code

Inside Bitcoin

Opening the selected file…

₿MyBitcoinExplorer

Bitcoin, in focus.
Explore the network. Understand the connections.

Explore Bitcoin with clarity.

READ THE CODE

Inside Bitcoin

The code behind the network, with room to understand it.

Stable release v32.1bitcoin/bitcoin · f0de87f04062 ↗3,020 source files · 47.5 MB stored on the server440 file guides

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.

bitcoin / bitcoinstable

Find a file

▤ descriptor.cppGuide

▤ descriptor.h

▤ interpreter.cppGuide

▤ script_error.hGuide

▤ signingprovider.cpp

▤ signingprovider.h

▤ solver.cppGuide

▤ solver.hGuide

▤ verify_flags.hGuide

▤ arith_uint256.hGuide

▤ bitcoin-chainstate.cpp

▤ bitcoin-cli-res.rc

▤ bitcoin-cli.cppGuide

▤ bitcoin-res.rc

▤ bitcoin-tx-res.rc

▤ bitcoin-tx.cpp

▤ bitcoin-util-res.rc

▤ bitcoin-util.cpp

▤ bitcoin-wallet-res.rc

▤ blockencodings.cppGuide

▤ blockencodings.hGuide

▤ blockfilter.cppGuide

▤ blockfilter.hGuide

▤ chain.cppGuide

▤ chain.h

▤ chainparams.cppGuide

▤ chainparams.hGuide

▤ chainparamsbase.cppGuide

▤ chainparamsbase.hGuide

▤ chainparamsseeds.h

▤ checkqueue.hGuide

▤ clientversion.cppGuide

▤ clientversion.hGuide

▤ cluster_linearize.h

▤ CMakeLists.txt

▤ coins.cppGuide

▤ coins.hGuide

▤ compressor.cppGuide

▤ compressor.hGuide

▤ core_io.cpp

▤ core_io.hGuide

▤ core_memusage.hGuide

▤ cuckoocache.h

▤ dbwrapper.cpp

▤ dbwrapper.hGuide

▤ deploymentinfo.cppGuide

▤ deploymentinfo.hGuide

▤ deploymentstatus.cppGuide

▤ deploymentstatus.hGuide

▤ dummywallet.cppGuide

▤ external_signer.cpp

▤ external_signer.hGuide

▤ merkleblock.cppGuide

▤ merkleblock.hGuide

▤ musig.cpp

▤ musig.hGuide

▤ net_permissions.cppGuide

▤ net_permissions.hGuide

▤ net_processing.cppGuide

▤ netaddress.cppGuide

▤ netmessagemaker.hGuide

▤ noui.cppGuide

▤ noui.hGuide

▤ outputtype.cppGuide

▤ private_broadcast.cpp

▤ private_broadcast.h

▤ semaphore_grant.hGuide

▤ threadsafety.hGuide

▤ tinyformat.h

▤ torcontrol.cppGuide

▤ validation.cppGuide

▤ validation.h

▤ validationinterface.cpp

▤ validationinterface.h

▤ versionbits_impl.hGuide

▤ versionbits.cpp

▤ versionbits.hGuide

▤ walletinitinterface.hGuide

▤ CMakeLists.txtGuide

▤ libbitcoinkernel.pc.in

bitcoin / src / script / miniscript.cpp

Download source ↓

20,698 bytes · SHA-256 edd8af367a738b55… · View upstream ↗

251            }
252            return "Bdu"_mst |
253                   "z"_mst.If(args == 0) | // z=all z
254                   "o"_mst.If(args == 1) | // o=all z except one o
255                   "e"_mst.If(all_e && num_s == n_subs) | // e=all e and all s
256                   "m"_mst.If(all_e && all_m && num_s >= n_subs - k) | // m=all e, >=(n-k) s
257                   "s"_mst.If(num_s >= n_subs - k + 1) |  // s= >=(n-k+1) s
258                   acc_tl; // timelock info
259            }
260    }
261    assert(false);
262}
263
264size_t ComputeScriptLen(Fragment fragment, Type sub0typ, size_t subsize, uint32_t k, size_t n_subs,
265                        size_t n_keys, MiniscriptContext ms_ctx) {
266    switch (fragment) {
267        case Fragment::JUST_1:
268        case Fragment::JUST_0: return 1;
269        case Fragment::PK_K: return IsTapscript(ms_ctx) ? 33 : 34;
270        case Fragment::PK_H: return 3 + 21;
271        case Fragment::OLDER:
272        case Fragment::AFTER: return 1 + BuildScript(k).size();
273        case Fragment::HASH256:
274        case Fragment::SHA256: return 4 + 2 + 33;
275        case Fragment::HASH160:
276        case Fragment::RIPEMD160: return 4 + 2 + 21;
277        case Fragment::MULTI: return 1 + BuildScript(n_keys).size() + BuildScript(k).size() + 34 * n_keys;
278        case Fragment::MULTI_A: return (1 + 32 + 1) * n_keys + BuildScript(k).size() + 1;
279        case Fragment::AND_V: return subsize;
280        case Fragment::WRAP_V: return subsize + (sub0typ << "x"_mst);
281        case Fragment::WRAP_S:
282        case Fragment::WRAP_C:
283        case Fragment::WRAP_N:
284        case Fragment::AND_B:
285        case Fragment::OR_B: return subsize + 1;
286        case Fragment::WRAP_A:
287        case Fragment::OR_C: return subsize + 2;
288        case Fragment::WRAP_D:
289        case Fragment::OR_D:
290        case Fragment::OR_I:
291        case Fragment::ANDOR: return subsize + 3;
292        case Fragment::WRAP_J: return subsize + 4;
293        case Fragment::THRESH: return subsize + n_subs + BuildScript(k).size();
294    }
295    assert(false);
296}
297
298InputStack& InputStack::SetAvailable(Availability avail) {
299    available = avail;
300    if (avail == Availability::NO) {
301        stack.clear();
302        size = std::numeric_limits<size_t>::max();
303        has_sig = false;
304        malleable = false;
305        non_canon = false;
306    }
307    return *this;
308}
309
310InputStack& InputStack::SetWithSig() {
311    has_sig = true;
312    return *this;
313}
314
315InputStack& InputStack::SetNonCanon() {
316    non_canon = true;
317    return *this;
318}
319
320InputStack& InputStack::SetMalleable(bool x) {
321    malleable = x;
322    return *this;
323}
324
325InputStack operator+(InputStack a, InputStack b) {
326    a.stack = Cat(std::move(a.stack), std::move(b.stack));
327    if (a.available != Availability::NO && b.available != Availability::NO) a.size += b.size;
328    a.has_sig |= b.has_sig;
329    a.malleable |= b.malleable;
330    a.non_canon |= b.non_canon;
331    if (a.available == Availability::NO || b.available == Availability::NO) {
332        a.SetAvailable(Availability::NO);
333    } else if (a.available == Availability::MAYBE || b.available == Availability::MAYBE) {
334        a.SetAvailable(Availability::MAYBE);
335    }
336    return a;
337}
338
339InputStack operator|(InputStack a, InputStack b) {
340    // If only one is invalid, pick the other one. If both are invalid, pick an arbitrary one.
341    if (a.available == Availability::NO) return b;
342    if (b.available == Availability::NO) return a;
343    // If only one of the solutions has a signature, we must pick the other one.
344    if (!a.has_sig && b.has_sig) return a;
345    if (!b.has_sig && a.has_sig) return b;
346    if (!a.has_sig && !b.has_sig) {
347        // If neither solution requires a signature, the result is inevitably malleable.
348        a.malleable = true;
349        b.malleable = true;
350    } else {
351        // If both options require a signature, prefer the non-malleable one.
352        if (b.malleable && !a.malleable) return a;
353        if (a.malleable && !b.malleable) return b;
354    }
355    // Between two malleable or two non-malleable solutions, pick the smaller one between
356    // YESes, and the bigger ones between MAYBEs. Prefer YES over MAYBE.
357    if (a.available == Availability::YES && b.available == Availability::YES) {
358        return std::move(a.size <= b.size ? a : b);
359    } else if (a.available == Availability::MAYBE && b.available == Availability::MAYBE) {
360        return std::move(a.size >= b.size ? a : b);
361    } else if (a.available == Availability::YES) {
362        return a;
363    } else {
364        return b;
365    }
366}
367
368std::optional<std::vector<Opcode>> DecomposeScript(const CScript& script)
369{
370    std::vector<Opcode> out;
371    CScript::const_iterator it = script.begin(), itend = script.end();
372    while (it != itend) {
373        std::vector<unsigned char> push_data;
374        opcodetype opcode;
375        if (!script.GetOp(it, opcode, push_data)) {
376            return {};
377        } else if (opcode >= OP_1 && opcode <= OP_16) {
378            // Deal with OP_n (GetOp does not turn them into pushes).
379            push_data.assign(1, CScript::DecodeOP_N(opcode));
380        } else if (opcode == OP_CHECKSIGVERIFY) {
381            // Decompose OP_CHECKSIGVERIFY into OP_CHECKSIG OP_VERIFY
382            out.emplace_back(OP_CHECKSIG, std::vector<unsigned char>());
383            opcode = OP_VERIFY;
384        } else if (opcode == OP_CHECKMULTISIGVERIFY) {
385            // Decompose OP_CHECKMULTISIGVERIFY into OP_CHECKMULTISIG OP_VERIFY
386            out.emplace_back(OP_CHECKMULTISIG, std::vector<unsigned char>());
387            opcode = OP_VERIFY;
388        } else if (opcode == OP_EQUALVERIFY) {
389            // Decompose OP_EQUALVERIFY into OP_EQUAL OP_VERIFY
390            out.emplace_back(OP_EQUAL, std::vector<unsigned char>());
391            opcode = OP_VERIFY;
392        } else if (opcode == OP_NUMEQUALVERIFY) {
393            // Decompose OP_NUMEQUALVERIFY into OP_NUMEQUAL OP_VERIFY
394            out.emplace_back(OP_NUMEQUAL, std::vector<unsigned char>());
395            opcode = OP_VERIFY;
396        } else if (IsPushdataOp(opcode)) {
397            if (!CheckMinimalPush(push_data, opcode)) return {};
398        } else if (it != itend && (opcode == OP_CHECKSIG || opcode == OP_CHECKMULTISIG || opcode == OP_EQUAL || opcode == OP_NUMEQUAL) && (*it == OP_VERIFY)) {
399            // Rule out non minimal VERIFY sequences
400            return {};
401        }
402        out.emplace_back(opcode, std::move(push_data));
403    }
404    std::reverse(out.begin(), out.end());
405    return out;
406}
407
408std::optional<int64_t> ParseScriptNumber(const Opcode& in) {
409    if (in.first == OP_0) {
410        return 0;
411    }
412    if (!in.second.empty()) {
413        if (IsPushdataOp(in.first) && !CheckMinimalPush(in.second, in.first)) return {};
414        try {
415            return CScriptNum(in.second, true).GetInt64();
416        } catch(const scriptnum_error&) {}
417    }
418    return {};
419}
420
421int FindNextChar(std::span<const char> sp, const char m)
422{
423    for (int i = 0; i < (int)sp.size(); ++i) {
424        if (sp[i] == m) return i;
425        // We only search within the current parentheses
426        if (sp[i] == ')') break;
427    }
428    return -1;
429}
430
431} // namespace internal
432} // namespace miniscript
433

A READING COMPANION

Source available. Guide coming next.

This file is included in the stable source snapshot. A file-specific guide has not been published yet.

440 guided files · 2,580 pending. Guides cover key sections, not every line.

cmake/bitcoin-build-config.h.in src/consensus/amount.h src/consensus/consensus.h src/primitives/block.h src/primitives/transaction.h src/crypto/sha256.h src/util/moneystr.h src/clientversion.h src/uint256.h src/script/script.h src/policy/policy.h CMakeLists.txt README.md COPYING src/consensus/tx_check.cpp src/consensus/tx_verify.cpp src/consensus/merkle.cpp src/pow.cpp src/validation.cpp src/script/interpreter.cpp src/script/solver.cpp src/script/sign.cpp src/key_io.cpp src/net.cpp src/net_processing.cpp src/netaddress.cpp src/protocol.h src/wallet/wallet.cpp src/wallet/spend.cpp

← Previous 250 linesCode page 2

src/wallet/receive.cpp

src/wallet/coinselection.cpp

src/consensus/validation.h

src/primitives/transaction.cpp

src/script/descriptor.cpp

src/bitcoin-cli.cpp

src/rpc/blockchain.cpp

src/rpc/rawtransaction.cpp

src/init.cpp

src/crypto/sha256.cpp

src/consensus/merkle.h

src/consensus/tx_check.h

src/consensus/tx_verify.h

src/policy/feerate.h

src/policy/feerate.cpp

src/primitives/transaction_identifier.h

src/chainparamsbase.h

src/chainparamsbase.cpp

src/util/moneystr.cpp

src/crypto/ripemd160.h

src/crypto/sha1.h

src/crypto/sha512.h

src/crypto/hmac_sha256.h

src/crypto/hmac_sha512.h

src/crypto/hmac_sha256.cpp

src/crypto/hmac_sha512.cpp

src/crypto/hkdf_sha256_32.h

src/crypto/hkdf_sha256_32.cpp

src/support/cleanse.h

src/support/cleanse.cpp

src/crypto/siphash.cpp

src/crypto/muhash.h

src/crypto/chacha20.h

src/crypto/poly1305.h

src/crypto/chacha20poly1305.h

src/crypto/chacha20poly1305.cpp

src/util/chaintype.cpp

src/util/obfuscation.h

src/util/byte_units.h

src/util/overflow.h

src/blockencodings.cpp

src/net_permissions.cpp

src/policy/packages.cpp

src/policy/rbf.cpp

src/policy/truc_policy.cpp

src/policy/ephemeral_policy.cpp

src/policy/settings.cpp

src/policy/policy.cpp

src/node/transaction.cpp

src/node/coin.cpp

src/rpc/client.cpp

src/rpc/external_signer.cpp

src/rpc/request.cpp

src/rpc/server_util.cpp

src/rpc/fees.cpp

src/rpc/output_script.cpp

src/rpc/rawtransaction_util.cpp

src/rpc/rawtransaction_util.h

src/rpc/register.h

src/rpc/request.h

src/rpc/server_util.h

src/rpc/protocol.h

src/rpc/server.h

src/rpc/signmessage.cpp

src/rpc/txoutproof.cpp

src/rpc/util.cpp

src/rpc/util.h

src/wallet/rpc/addresses.cpp

src/wallet/rpc/backup.cpp

src/wallet/rpc/coins.cpp

src/wallet/rpc/encrypt.cpp

src/wallet/rpc/signmessage.cpp

src/wallet/rpc/util.cpp

src/wallet/rpc/util.h

src/wallet/coincontrol.cpp

src/wallet/coincontrol.h

src/wallet/context.cpp

src/wallet/context.h

src/wallet/crypter.cpp

src/wallet/crypter.h

src/wallet/db.cpp

src/wallet/export.cpp

src/wallet/external_signer_scriptpubkeyman.cpp

src/wallet/rpc/spend.cpp

src/wallet/rpc/transactions.cpp

src/wallet/rpc/wallet.cpp

src/wallet/feebumper.cpp

src/wallet/feebumper.h

src/index/base.h

src/index/base.cpp

src/index/txindex.h

src/index/txindex.cpp

src/index/txindex_key.h

src/index/txospenderindex.h

src/index/txospenderindex.cpp

src/index/blockfilterindex.h

src/index/blockfilterindex.cpp

src/index/coinstatsindex.h

src/index/coinstatsindex.cpp

src/index/db_key.h

src/index/disktxpos.h

src/kernel/chain.cpp

src/kernel/chain.h

src/kernel/checks.cpp

src/kernel/checks.h

src/kernel/context.cpp

src/kernel/context.h

src/kernel/cs_main.cpp

src/kernel/cs_main.h

src/kernel/disconnected_transactions.cpp

src/kernel/disconnected_transactions.h

src/kernel/mempool_removal_reason.cpp

src/kernel/mempool_removal_reason.h

src/kernel/coinstats.cpp

src/kernel/coinstats.h

src/kernel/chainparams.cpp

src/kernel/chainparams.h

src/wallet/sqlite.cpp

src/wallet/sqlite.h

src/wallet/transaction.cpp

src/wallet/transaction.h

src/wallet/dump.cpp

src/wallet/dump.h

src/wallet/init.cpp

src/wallet/walletutil.cpp

src/wallet/walletutil.h

src/wallet/wallettool.cpp

src/wallet/wallettool.h

src/wallet/export.h

src/wallet/migrate.cpp

src/wallet/migrate.h

src/wallet/db.h

src/wallet/walletdb.cpp

src/wallet/interfaces.cpp

src/wallet/scriptpubkeyman.cpp

src/wallet/scriptpubkeyman.h

src/kernel/bitcoinkernel.cpp

src/kernel/bitcoinkernel.h

src/kernel/bitcoinkernel_wrapper.h

src/node/chainstate.cpp

src/node/chainstate.h

src/node/blockstorage.cpp

src/node/blockstorage.h

src/node/mempool_persist.cpp

src/node/mempool_persist.h

src/node/utxo_snapshot.cpp

src/node/utxo_snapshot.h

src/node/kernel_notifications.cpp

src/node/kernel_notifications.h

src/node/blockmanager_args.cpp

src/kernel/blockmanager_opts.h

src/util/expected.cpp

src/policy/settings.h

src/util/types.h

src/kernel/messagestartchars.h

src/kernel/warning.h

src/util/exception.h

src/common/license_info.h

src/node/coins_view_args.h

src/node/database_args.h

src/util/batchpriority.h

src/util/ui_change_type.h

src/node/coins_view_args.cpp

src/node/peerman_args.h

src/util/serfloat.h

src/node/blockmanager_args.h

src/node/database_args.cpp

src/util/overloaded.h

src/interfaces/types.h

src/node/chainstatemanager_args.h

src/node/minisketchwrapper.h

src/util/macros.h

src/util/syserror.h

src/common/run_command.h

src/util/bytevectorhash.cpp

src/node/mempool_persist_args.cpp

src/util/exec.h

src/util/rbf.h

src/crypto/hex_base.h

src/node/mempool_persist_args.h

src/interfaces/echo.h

src/util/any.h

src/util/batchpriority.cpp

src/util/threadnames.h

src/node/coin.h

src/node/mempool_args.h

src/util/asmap.h

src/util/bytevectorhash.h

src/node/context.cpp

src/util/insert.h

src/util/readwritefile.h

src/node/peerman_args.cpp

src/node/interface_ui.cpp

src/interfaces/handler.h

src/node/mining_args.h

src/util/hasher.cpp

src/common/init.h

src/kernel/mempool_limits.h

src/common/system.h

src/crypto/sha3.h

src/util/threadinterrupt.cpp

src/node/protocol_version.h

src/util/exception.cpp

src/common/messages.h

src/node/connection_types.cpp

src/util/bip32.h

src/common/license_info.cpp

src/util/stdmutex.h

src/common/run_command.cpp

src/util/check.cpp

src/util/golombrice.h

src/node/types.h

src/node/timeoffsets.h

src/util/readwritefile.cpp

src/util/fastrange.h

src/util/signalinterrupt.h

src/util/task_runner.h

src/util/syserror.cpp

src/common/interfaces.cpp

src/common/types.h

src/util/threadinterrupt.h

src/kernel/chainstatemanager_opts.h

src/node/psbt.h

src/policy/ephemeral_policy.h

src/util/trace.h

src/common/url.cpp

src/kernel/mempool_options.h

src/util/serfloat.cpp

src/kernel/notifications_interface.h

src/node/timeoffsets.cpp

src/node/warnings.cpp

src/util/hash_type.h

src/crypto/hex_base.cpp

src/node/eviction.h

src/util/tokenbucket.h

src/crypto/aes.h

src/common/pcp.h

src/util/feefrac.cpp

src/node/transaction.h

src/util/threadnames.cpp

src/common/signmessage.h

src/util/exec.cpp

src/util/signalinterrupt.cpp

src/clientversion.cpp

src/common/signmessage.cpp

src/compat/assumptions.h

src/compat/byteswap.h

src/deploymentinfo.cpp

src/deploymentinfo.h

src/deploymentstatus.cpp

src/deploymentstatus.h

src/dummywallet.cpp

src/external_signer.h

src/init/bitcoin-gui.cpp

src/init/bitcoin-node.cpp

src/init/bitcoin-qt.cpp

src/init/bitcoin-wallet.cpp

src/init/bitcoind.cpp

src/init/common.h

src/interfaces/init.h

src/interfaces/ipc.h

src/key_io.h

src/logging/categories.h

src/logging/timer.h

src/mapport.h

src/musig.h

src/net_permissions.h

src/netgroup.h

src/netmessagemaker.h

src/node/chainstatemanager_args.cpp

src/node/connection_types.h

src/node/context.h

src/node/interface_ui.h

src/node/mempool_args.cpp

src/node/mining_args.cpp

src/node/minisketchwrapper.cpp

src/node/txreconciliation.h

src/policy/fees/estimator_args.cpp

src/policy/fees/estimator_args.h

src/policy/fees/estimator_man.cpp

src/policy/fees/estimator_man.h

src/policy/packages.h

src/policy/rbf.h

src/policy/truc_policy.h

src/pow.h

src/primitives/block.cpp

src/randomenv.h

src/rest.h

src/script/keyorigin.h

src/script/parsing.cpp

src/script/parsing.h

src/script/script_error.h

src/script/sigcache.cpp

src/script/sigcache.h

src/script/solver.h

src/script/verify_flags.h

src/semaphore_grant.h

src/signet.h

src/span.h

src/support/allocators/secure.h

src/support/allocators/zeroafterfree.h

src/util/tokenpipe.cpp

src/util/translation.h

src/util/vector.h

src/versionbits.h

src/versionbits_impl.h

src/wallet/external_signer_scriptpubkeyman.h

src/wallet/fees.h

src/wallet/load.h

src/wallet/receive.h

src/wallet/rpc/wallet.h

src/wallet/types.h

src/walletinitinterface.h

src/zmq/zmqabstractnotifier.cpp

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.