トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3cd51a508b13f05c7bfd52dd1cb0b12bd5e7f92739c78a9a3f89f24d258d455a OP_CHECKSIG

203cd51a508b13f05c7bfd52dd1cb0b12bd5e7f92739c78a9a3f89f24d258d455aac

コントロールブロック

c1a56020af2284be4e97130e7d1e523f73d3ba54ed94356954c4b1e41edc7fd4f9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

a56020af2284be4e97130e7d1e523f73d3ba54ed94356954c4b1e41edc7fd4f9

リーフハッシュ（TapLeaf）

eed8eb8886544bd21b5866e7c1c454d208ff26848bcdaa46154e28f15bc6d3cf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = eed8eb8886544bd21b5866e7c1c454d208ff26848bcdaa46154e28f15bc6d3cf
2. TapBranch(eed8eb88…5bc6d3cf, a56020af…dc7fd4f9) = 0e7717b39ffaeffa6bc31d22b0defeda4ffd25d4810521b739bbf47c7872c12e

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

0e7717b39ffaeffa6bc31d22b0defeda4ffd25d4810521b739bbf47c7872c12e

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

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

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

388a6d1ccaff6bf7973d75bf13f52c6939fbd5291a2f665f0811f0a9620e8508687ebe970827f1751ba09adeb74cfe15d3b46f4033effbeeb29ffcc74a186bff