トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

58843e0524a53a9c76a9d4f2e6927249e34e6ccfbdcfa7dd4a31a7369800c132 OP_CHECKSIG

2058843e0524a53a9c76a9d4f2e6927249e34e6ccfbdcfa7dd4a31a7369800c132ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e5e65f80c7ecf20596c3cc032424130c097ae992273a2c04d7fda98dd0145908

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e5e65f80c7ecf20596c3cc032424130c097ae992273a2c04d7fda98dd0145908
2. TapBranch(e5e65f80…d0145908, 46c7eccf…1725e9fa) = 4634c042b680652663cf3d01262d0322a6f9e6a2c3a6a81715e78e1407690f70

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

4634c042b680652663cf3d01262d0322a6f9e6a2c3a6a81715e78e1407690f70

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

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

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

3b9dc6ebde5ae90c47c2c84b1b6b23295509df4c38ccd98ddc27b8dabd79ce1f7effbd4efa3d7299a82b72a1ffc8fac444987fa78c9c6d806bb834803db8cacf