トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1d15a0c9d981367f3f363b6425d7db2deedafe17c2da87c47d289789fcfd92ed OP_CHECKSIG

201d15a0c9d981367f3f363b6425d7db2deedafe17c2da87c47d289789fcfd92edac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

aed23b734d0bb8d2b7b2eb2c162417e4ea692e208ec758c187a796c5a9d0cad1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = aed23b734d0bb8d2b7b2eb2c162417e4ea692e208ec758c187a796c5a9d0cad1
2. TapBranch(aed23b73…a9d0cad1, 46c7eccf…1725e9fa) = 7ab7b56d8532ba7ab44f810a03292d7b68b949be3678b9af6f907f7644c7f103

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

7ab7b56d8532ba7ab44f810a03292d7b68b949be3678b9af6f907f7644c7f103

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

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

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

a6414c777ee6875824c5cc840398bdedb111d8b34ce4ee44f48e2a8df093767e13a3e0b19ecc1736e7a6a6576b436ff5a3990ade87be6b8bc3c04ddc05a59bef