トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

eeb8e5e653bd4e5c128312483c65a26017c605a29b7468d2c3b3a0d3ceec99ce OP_CHECKSIG

20eeb8e5e653bd4e5c128312483c65a26017c605a29b7468d2c3b3a0d3ceec99ceac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

05860533f6b180f222aa3ecd03d1e6ab76e6f75be255185169482cb44fa98f2d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 05860533f6b180f222aa3ecd03d1e6ab76e6f75be255185169482cb44fa98f2d
2. TapBranch(05860533…4fa98f2d, 46c7eccf…1725e9fa) = 2af505a0fcc5eaea2810bc6d9487b3d8c23c4c579f878575a8f411fd596adacc

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

2af505a0fcc5eaea2810bc6d9487b3d8c23c4c579f878575a8f411fd596adacc

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

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

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

60588aa735c88b823df2ba4f6b2945362e4587ba1591e992ab1bf0dc450489cfcf0305f47187a829e488a5142d49d5f0826765e8db5949e36e80c35fa73e8e73