トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8531fe29a5676c9fc2cfdc5f98471d27cbb341f89c65d3366d7c3bfb1590d496 OP_CHECKSIG

208531fe29a5676c9fc2cfdc5f98471d27cbb341f89c65d3366d7c3bfb1590d496ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

618740c923ca960161522bf8b68919fca56685a6e295483c082ee2e9a10142cf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 618740c923ca960161522bf8b68919fca56685a6e295483c082ee2e9a10142cf
2. TapBranch(618740c9…a10142cf, 46c7eccf…1725e9fa) = ec4bc5478cf13e5915debd218e74df3b7523b7790863940b757642b54bac2053

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

ec4bc5478cf13e5915debd218e74df3b7523b7790863940b757642b54bac2053

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

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

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

dfd711c32da764d8399c844341f95b941713fa83d3d8097634b8e7ee05ce1af5e93ceb9cb573a54dd9a8a58d92ccefa962e95f10f09373e303ff3e20f64d6a20