トランザクション

入力 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 以上）。

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

fd0a79c8482763b3f8e71e797614d66f3b565207e14d74d87b455b1e08b39e9e38dc4cbbf867d5944a237ffe93dbc375fea61f4aca18810fa7c9b34c73f0ffc7