トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6d95ca08a3d1c26c3781d8d71ffa350cad1e5df2e703f21a13925ea2347f1807 OP_CHECKSIG

206d95ca08a3d1c26c3781d8d71ffa350cad1e5df2e703f21a13925ea2347f1807ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

fff1f50cb4635796687af488e64a640010de9c3593aa398e826daf10156817bb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fff1f50cb4635796687af488e64a640010de9c3593aa398e826daf10156817bb
2. TapBranch(fff1f50c…156817bb, 46c7eccf…1725e9fa) = 971c26a6e5e6b8ca63929196a90a4b7e507ef2c85cfa75cfbc0b98325f834284

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

971c26a6e5e6b8ca63929196a90a4b7e507ef2c85cfa75cfbc0b98325f834284

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

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

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

26a84c36c1df554d099ae78dbcd43abf34895a6de454ad9fb9499394cba075c304ce3bd71bf84853c0cb602db9b8d3cfae0a8db89bf9f7cfdf6c7eb4491dcf71