トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

360c6641e36c4a3d2648cdeee4a8329037d2ef7dfe9d76508736f49861ef4002 OP_CHECKSIG

20360c6641e36c4a3d2648cdeee4a8329037d2ef7dfe9d76508736f49861ef4002ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7007ac8d972103d97a435516faa0693004a408639db17eb8b42745f6d7d5e6d0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7007ac8d972103d97a435516faa0693004a408639db17eb8b42745f6d7d5e6d0
2. TapBranch(7007ac8d…d7d5e6d0, 46c7eccf…1725e9fa) = b1ce5a7b60639b55aa1a005777d0e9975352d9c5147e78f205ce81cd0e1451be

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

b1ce5a7b60639b55aa1a005777d0e9975352d9c5147e78f205ce81cd0e1451be

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

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

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

8efedfede773734bffc5adf92ef6be6039f11e814cb3a78a34ffe91e8eba1b182e41a16b04820aec822c882a86881dc58eaa408e83c0ab19094174fef3b45fc7