トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

802852a037a68d62f849808afa3d576ea28359b0608b8851f9fb4ec9dd958e82 OP_CHECKSIG

20802852a037a68d62f849808afa3d576ea28359b0608b8851f9fb4ec9dd958e82ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

dd705f569c2d0e03effbcd4c5a9310f05617607fd661dacaa37868e20adcd9d8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = dd705f569c2d0e03effbcd4c5a9310f05617607fd661dacaa37868e20adcd9d8
2. TapBranch(dd705f56…0adcd9d8, 46c7eccf…1725e9fa) = ebfdd346c6032638915b7f03f42bc1092e302d1445f7ed8baf99c7ab2b39a207

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

ebfdd346c6032638915b7f03f42bc1092e302d1445f7ed8baf99c7ab2b39a207

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

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

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

787a985ec8b14af5267d980700a289e9c3be979624a1b6bf8962d4ab769888d96781478aa99b1c654294f244c404c0efacec291c91e3c1fb8885210436547458