トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0a9e4d599b9f34d27672c9764aa34d9e65d262337168e32b6ffa494ed6b0c872 OP_CHECKSIG

200a9e4d599b9f34d27672c9764aa34d9e65d262337168e32b6ffa494ed6b0c872ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

44bdd4556b0bf52a63a04181c5e7999f289433f87a0b66fa1426b4bf288e3d40

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 44bdd4556b0bf52a63a04181c5e7999f289433f87a0b66fa1426b4bf288e3d40
2. TapBranch(44bdd455…288e3d40, 46c7eccf…1725e9fa) = 1f2bee5e83a696d0a4b69797a3de2c36933ee37abb9bd5852f7e97de78bdb853

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

1f2bee5e83a696d0a4b69797a3de2c36933ee37abb9bd5852f7e97de78bdb853

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

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

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

eddd122fd6a1ab1b932ebd17d43cf38a39346fb74b133be7123ea5e8107a8e84467384c8f80bd96e5b005dfe19d01ca8bb9ed5eee653dd968b28d691326bc412