トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f2e03dcee18d61b1921beb0866702cd262912c4a8fed59db2da025ea5a9788a0 OP_CHECKSIG

20f2e03dcee18d61b1921beb0866702cd262912c4a8fed59db2da025ea5a9788a0ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d2fbede7228d320263aea7ccbb8507455b6920a10dfc81bd91b678eb04986b00

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d2fbede7228d320263aea7ccbb8507455b6920a10dfc81bd91b678eb04986b00
2. TapBranch(d2fbede7…04986b00, 46c7eccf…1725e9fa) = 7b8e8ee4b0730a474709fa4ced568e5ecafa8ba5d38174aecdf9d5ae4c1d0eef

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

7b8e8ee4b0730a474709fa4ced568e5ecafa8ba5d38174aecdf9d5ae4c1d0eef

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

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

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

b60ac28840a0e26b37424f850ed22903f9e3f606c54f1ceb2081e98b03e980fa5e1ed09faddcab312fdbbf3cc2bc27d356f201db12c4caf0f53729a004d9ba56