トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

629d9682214b3d2ac0d5e69e0512acbb9d3b85c529be40d84c0ca0e29d466dde OP_CHECKSIG

20629d9682214b3d2ac0d5e69e0512acbb9d3b85c529be40d84c0ca0e29d466ddeac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4ca46fb9542c8063435d338620031479784d2f7a604ad1aa6c35448315cfea2a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4ca46fb9542c8063435d338620031479784d2f7a604ad1aa6c35448315cfea2a
2. TapBranch(4ca46fb9…15cfea2a, 46c7eccf…1725e9fa) = f98305bce8af6a7e7e1654a50a86c6eaa502e2627edf48c0113ebc590fd52972

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

f98305bce8af6a7e7e1654a50a86c6eaa502e2627edf48c0113ebc590fd52972

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

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

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

d0d30d01930add44d3eecc574ba63b1c74f6516c5da258c7a9b997a0f31e0b3e1acab2b1745cc402d52fb1674bb0698320435a3f9eb2446bfce3906bc2f290d1