トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

91f9c360e6dba4e2c3dae0ffec8bfaf98fad807f28555581203a1fdb7dbc02ac OP_CHECKSIG

2091f9c360e6dba4e2c3dae0ffec8bfaf98fad807f28555581203a1fdb7dbc02acac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

49bf3fce961ecb6e09774b1c7bd1051a5d01744e3e589afc2d2c23850f1fd7ba

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 49bf3fce961ecb6e09774b1c7bd1051a5d01744e3e589afc2d2c23850f1fd7ba
2. TapBranch(49bf3fce…0f1fd7ba, 46c7eccf…1725e9fa) = 558d450bf58a1803bcad6fe4790ecf42eaf02a4d6e6ef05fc5940a9a3d7c577b

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

558d450bf58a1803bcad6fe4790ecf42eaf02a4d6e6ef05fc5940a9a3d7c577b

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

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

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

d196c7432e9746a35badb02d331b42465fa9c2fb99969c0af1def4fe71b61b3580b718ec1a6810fb6c9a8029646a0a931d6a3ca3d8602ed11a717c2b03bfecb8