トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

391975469368ad485d0440c7e1b8121b0c440415f0a4ce4f167e05c274e8634a OP_CHECKSIG

20391975469368ad485d0440c7e1b8121b0c440415f0a4ce4f167e05c274e8634aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c198fcf09a5a59057d526e4e263e71952ca4a26bfc50c809fdb10ddb9148868f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c198fcf09a5a59057d526e4e263e71952ca4a26bfc50c809fdb10ddb9148868f
2. TapBranch(c198fcf0…9148868f, 46c7eccf…1725e9fa) = 99ce82d44c7799c73181f48cb1db386838b1928eefc4f7c9479b4d8c12cb80a3

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

99ce82d44c7799c73181f48cb1db386838b1928eefc4f7c9479b4d8c12cb80a3

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

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

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

0eba81015b98301cc77710e5bc9583fc3d701a5ca9ba3bc60a8211f4f0aa5c6c4a9065f9f25c845b21d645f5cae02875fcf4499bf3207fe0a4dd46071fabf7a1