トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f974096d5e7fe4f19e9a05fa97d5dc94417b7b5035abaaae1e31e4e08c06668a OP_CHECKSIG

20f974096d5e7fe4f19e9a05fa97d5dc94417b7b5035abaaae1e31e4e08c06668aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

53fefef7dd8dfb9dade0388981c12737664d7d64b6420e264f9c37fb9ea601b0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 53fefef7dd8dfb9dade0388981c12737664d7d64b6420e264f9c37fb9ea601b0
2. TapBranch(53fefef7…9ea601b0, 46c7eccf…1725e9fa) = e2331873d6da75a9b906a2031299fd2bf02e88a6af5007d510d8dc5261893808

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

e2331873d6da75a9b906a2031299fd2bf02e88a6af5007d510d8dc5261893808

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

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

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

aa8c9d9849b6078e1c7cfd56a926d9c6ab289bef987c6893c86bd1f0921e65193eaaa5a8859e60791abc0e886d733c63f9bebb0889f615cbad5bf6b8a6715898