トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9a46607a0aa98b1c7f72520e9eabf6d742858ac2d8dc977e07f10be7a5f0ebe4 OP_CHECKSIG

209a46607a0aa98b1c7f72520e9eabf6d742858ac2d8dc977e07f10be7a5f0ebe4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4e0879fc7a386b5705ba63d17b9ffeb653154d0fd062e46b6db8e628aa15c94c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4e0879fc7a386b5705ba63d17b9ffeb653154d0fd062e46b6db8e628aa15c94c
2. TapBranch(4e0879fc…aa15c94c, 46c7eccf…1725e9fa) = 19534c554d638afd6fa4c05b3a9bec6feedf909cfce9f3b0549174cb072f53a6

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

19534c554d638afd6fa4c05b3a9bec6feedf909cfce9f3b0549174cb072f53a6

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

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

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

a3bbbb989e18b92da365039dd3393c32e54eccfdfee66df3775b6541ac8187d7b0a32c276e1c30ef1c578b2c42ab8ebed6aa33504a81a5a9912924b91c6f59fd