トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

eefa8228906aad750470ba08eb650300335d773895035b9e6cb2404499f87d5a OP_CHECKSIG

20eefa8228906aad750470ba08eb650300335d773895035b9e6cb2404499f87d5aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f483b0478053d99e35a838e91ff77569c4e83e3e5710f4e81b6c7b1e347b8632

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f483b0478053d99e35a838e91ff77569c4e83e3e5710f4e81b6c7b1e347b8632
2. TapBranch(f483b047…347b8632, 46c7eccf…1725e9fa) = e52f2c17859040a3001ba981084def37f94e3075bb9bbd93cb75844a65c43392

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

e52f2c17859040a3001ba981084def37f94e3075bb9bbd93cb75844a65c43392

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

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

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

cde50d0088a822c3a61794d35c7168da514571a338793f7e17e60f5022da35b7ee3de456be7f329be14888f7061a4750f0e0874b7d49c1231f9a69dbb6a9654a