トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

311bc5a951b55744ec21d14c5112f9387a1a8c595a3e9005ba84ee2d21ee5c08 OP_CHECKSIG

20311bc5a951b55744ec21d14c5112f9387a1a8c595a3e9005ba84ee2d21ee5c08ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

42265b9aeca26ece6d0552ecc5f3e3409356d802532d45ef3e988b984512431c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 42265b9aeca26ece6d0552ecc5f3e3409356d802532d45ef3e988b984512431c
2. TapBranch(42265b9a…4512431c, 46c7eccf…1725e9fa) = 13320a46985c2ff3d3cb14a798438b1ea52d4217e5cc625681b3d9ea21f4ab85

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

13320a46985c2ff3d3cb14a798438b1ea52d4217e5cc625681b3d9ea21f4ab85

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

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

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

95533f9776504f03491bb96dd820daa5f89d3d16b5afb88bf759a0e45a7d50d5149cee184732e8022127802a6421a307221b90101958be5dd0f1a599494d7315