トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

47bd9a872beca43d6e265f3d1847501bd2e075e17068404a54ae9c76dba0b162 OP_CHECKSIG

2047bd9a872beca43d6e265f3d1847501bd2e075e17068404a54ae9c76dba0b162ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c19875af731096a8f2c53f013291f9fc73c8973bb089cb06f3247ad94e6651ec

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c19875af731096a8f2c53f013291f9fc73c8973bb089cb06f3247ad94e6651ec
2. TapBranch(c19875af…4e6651ec, 46c7eccf…1725e9fa) = 86c3b6362a74c6c677b9c62d197c83392d45c3f91a2c01a6a95be5471a5ff56f

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

86c3b6362a74c6c677b9c62d197c83392d45c3f91a2c01a6a95be5471a5ff56f

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

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

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

9847c307a6a64b612304ff6059ba318ee6789d58eb0ab59833d854656446a4abf79612f74182e4f49449061f4433cae004063bfd3f84b5e2b40bf2385f62728b