トランザクション

入力 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 以上）。

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

65b71ef12dabffc3acb0cbd29ff04c8c2ef80ae54c9e44b3052476105b88d9b2356d27d476e7c8214ff9a71593f0bf4990a6f4dc30cbee4def98b10ba1787790