トランザクション

入力 0 の P2MR スクリプトパス支出

ノードはこの支出を次のように検証します：公開されたリーフをハッシュし、コントロールブロック内の Merkle パスをたどってルートまで計算し、そのルートが出力の 32 バイトのウィットネスプログラムと等しいことを求めます。このページでも同じ手順で計算し直しています。

リーフバージョン

0xc0

リーフスクリプト

1d2322e1f01eff9427c303d9c884c780bf3c33889badea70667bd71a409ef645 OP_CHECKSIG

201d2322e1f01eff9427c303d9c884c780bf3c33889badea70667bd71a409ef645ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

コントロールバイトの最下位ビット

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

91a55f1086a32b442fd7ab2b12e0799b6b55affad8876a98f76eaccdded90823

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 91a55f1086a32b442fd7ab2b12e0799b6b55affad8876a98f76eaccdded90823
2. TapBranch(91a55f10…ded90823, 46c7eccf…1725e9fa) = 1a87b66b738775be11592a7e8c85bd1b49203ea77d6e89a9420ca9a8139d826f

出力のウィットネスプログラム

1a87b66b738775be11592a7e8c85bd1b49203ea77d6e89a9420ca9a8139d826f

✓ 一致：公開されたリーフは、この出力がコミットしているものです。

リーフスクリプトは実行されました（リーフバージョン 0xc0、深さ 1 以上）。

スクリプトに渡されたスタック要素

ec3617f4e506ce40c3b75e5cddce2c67960b2990dba166604c7f96b90c45c96ba76b402cad8dd74c659ce10f59302ccea1678914a64d42a71165cdb18fe9d508