トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f76e51007bc290c58bc5f4000d3cf7f02292dc8acea32bada313b1d7a22a4022 OP_CHECKSIG

20f76e51007bc290c58bc5f4000d3cf7f02292dc8acea32bada313b1d7a22a4022ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

eca77c563133ce999fe6b42287bdee204225eab9a158a1b7d21139ee07bf7a10

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = eca77c563133ce999fe6b42287bdee204225eab9a158a1b7d21139ee07bf7a10
2. TapBranch(eca77c56…07bf7a10, 46c7eccf…1725e9fa) = 6021592dd94e65ea7b6711c971143867ae8722e48a6e2e363c547fe495ada300

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

6021592dd94e65ea7b6711c971143867ae8722e48a6e2e363c547fe495ada300

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

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

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

2f5b7565f002a08b4ec5b4361fcd8ee5f34499494c83013e73aa1a5fbf5846906d7f49b97a2bad0573be9d2c4a7e4db2fc8c4faac92144d3bc6ff8e5c38c4499