トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a5f6ed7e18083f5364061469f68b095c18c6d4ca117c52ebc87095054063273b OP_CHECKSIG

20a5f6ed7e18083f5364061469f68b095c18c6d4ca117c52ebc87095054063273bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0cd77072ff1d592bade84e1ec67d8155ba01c9458c7dd1651783c5cef79c796c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0cd77072ff1d592bade84e1ec67d8155ba01c9458c7dd1651783c5cef79c796c
2. TapBranch(0cd77072…f79c796c, 46c7eccf…1725e9fa) = 7eecf26fe27b55a7cbff0303b100447103cc0df8870adb215dfea5a5100e52f6

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

7eecf26fe27b55a7cbff0303b100447103cc0df8870adb215dfea5a5100e52f6

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

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

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

dc04b8855b43f9106f7c811052e05d92777ada6d8f7a40e7148685b6f10f5b0a9d86f8ec3bd7bc2c471a15507cfd4f351165add5a2d0fe4a5adf5f993b3cead7