トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

da1698150e9c13158d50e9affee86a432462dea60a2cfd8ecfffefcf36bd91c1 OP_CHECKSIG

20da1698150e9c13158d50e9affee86a432462dea60a2cfd8ecfffefcf36bd91c1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

745f592d0c320da73fd3226e2fdaef48baa49b1e6ac9fc9aab29fbf96f212734

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 745f592d0c320da73fd3226e2fdaef48baa49b1e6ac9fc9aab29fbf96f212734
2. TapBranch(745f592d…6f212734, 46c7eccf…1725e9fa) = 090fb398719ca3a80ed9be6b42502d8ac4be9ae588cf9782dcc5085f51ecc038

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

090fb398719ca3a80ed9be6b42502d8ac4be9ae588cf9782dcc5085f51ecc038

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

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

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

e8821143af23abe1db5e2b3c95a0e64c1aa5ff37d0354705064469d4ed9c12f085b07f739e81ec1db5101baf93e239b8f8151f10afdfa823c47667d4da777d62