トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9305011321b061a0518c94539b81dcd5043b38000aeee0be65b753a7c24ee323 OP_CHECKSIG

209305011321b061a0518c94539b81dcd5043b38000aeee0be65b753a7c24ee323ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

fee7d194502a5f2b2a5d87af147686ba5e3b4f44de7bed9ee243ac218f414360

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fee7d194502a5f2b2a5d87af147686ba5e3b4f44de7bed9ee243ac218f414360
2. TapBranch(fee7d194…8f414360, 46c7eccf…1725e9fa) = 22ea49b519e43792c7c5a729a2fef8d8722cfb1323e7916231155c5430c56d60

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

22ea49b519e43792c7c5a729a2fef8d8722cfb1323e7916231155c5430c56d60

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

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

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

1e658502912511b73e0ee10e4f14d85c17eb3181717682edc69b42f645fd2d1f7f69e75c2843ae48ce28315d2d99be4f05bc91ae9d7caca7a165ece6dfd89cfa