トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3b638142e9b04771f74e6a85dba5216047b93c0d49ba924e6e69730368d2b3e6 OP_CHECKSIG

203b638142e9b04771f74e6a85dba5216047b93c0d49ba924e6e69730368d2b3e6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7c4a3bd4cf4868e6d08beb8274dd0713a994b9b46cb3db02c0e7dbcc921a2fd7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7c4a3bd4cf4868e6d08beb8274dd0713a994b9b46cb3db02c0e7dbcc921a2fd7
2. TapBranch(7c4a3bd4…921a2fd7, 46c7eccf…1725e9fa) = a111a3f7e62655737e353019d1b366722a86eaeabcdb8295b4e0a29b187d369e

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

a111a3f7e62655737e353019d1b366722a86eaeabcdb8295b4e0a29b187d369e

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

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

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

3c24042520c9b5d98d6cfd8ce9c3c91140732f1affa85edc24ef4fbef1ccf7ed3d0ba0a3beea66009514f58782421fb4fbc4c1a676935e3679e90f002f7998d1