トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f0dbc64ac0eb94012cc0729619c5b7136c2bd84b020208ed5ad0a8fa5fceb8f7 OP_CHECKSIG

20f0dbc64ac0eb94012cc0729619c5b7136c2bd84b020208ed5ad0a8fa5fceb8f7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6fb1454b1cb6141c4980783d3bbb67c40bc5aa0fe59a27aba923a94b17e4ca9d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6fb1454b1cb6141c4980783d3bbb67c40bc5aa0fe59a27aba923a94b17e4ca9d
2. TapBranch(6fb1454b…17e4ca9d, 46c7eccf…1725e9fa) = b5d09422de9e8b7b5eaa2488ee9e060cca24308478ad8f06ee42ca2c6de41d0a

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

b5d09422de9e8b7b5eaa2488ee9e060cca24308478ad8f06ee42ca2c6de41d0a

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

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

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

09b3c8ec7c0b7f02b1adca5ea5bfe8bfe3f460141cc45b1c1a6e0df73ae779095d5f8e79d95cb1b851cf28833fc7ea0e86ebfbc73873a7648af48652ddb5227c