トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9cc7789376b8a60a43182c727118b6354adea69e30922289003ea464def5cbb0 OP_CHECKSIG

209cc7789376b8a60a43182c727118b6354adea69e30922289003ea464def5cbb0ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d9a5583b42cdabd92787c461f1e5ea812c722faad8fcc60e6971a82e57c4c829

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d9a5583b42cdabd92787c461f1e5ea812c722faad8fcc60e6971a82e57c4c829
2. TapBranch(d9a5583b…57c4c829, 46c7eccf…1725e9fa) = cee10c8f8fe0b8bcfca25587d18b04eda6093c4f4abf997a45e813abf0473878

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

cee10c8f8fe0b8bcfca25587d18b04eda6093c4f4abf997a45e813abf0473878

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

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

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

dc0e2c5caa34eb411e9701433d5f6ffd37415e497d56f7516b2f3f8c3ac0e5e540c4403680d08a9ac01a6c01f25b33e6f1412c6250e82817ea52342f08df5f76