トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

09ab46c5411712f9166e4fd76159e5846341f6cda102d3d893b3b40a7824c35a OP_CHECKSIG

2009ab46c5411712f9166e4fd76159e5846341f6cda102d3d893b3b40a7824c35aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7662709addc3fd706c138d47413f406ef47a12ff5965c08062e6fddecce41d8d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7662709addc3fd706c138d47413f406ef47a12ff5965c08062e6fddecce41d8d
2. TapBranch(7662709a…cce41d8d, 46c7eccf…1725e9fa) = a066da9705d57c7df9b74273e8217edf11ebff033f653c8b684014ee6f2ff150

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

a066da9705d57c7df9b74273e8217edf11ebff033f653c8b684014ee6f2ff150

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

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

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

0babcaf6076b135ae2227217d40cacf472f6cfbf477ec082769db9de2621b9e7320c1f365b9b8a7070f14474d3afb0c70f98216253af43bca5586aa02b8d15f5