トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

efffed79f7683e7b6b0f419a2d6744ae83ca3bf4bad48a713b4aea68a857de72 OP_CHECKSIG

20efffed79f7683e7b6b0f419a2d6744ae83ca3bf4bad48a713b4aea68a857de72ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7e10f6f0390189936dc67d88ae1a371d918fb3981e71457d75bcff18c9905ddf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7e10f6f0390189936dc67d88ae1a371d918fb3981e71457d75bcff18c9905ddf
2. TapBranch(7e10f6f0…c9905ddf, 46c7eccf…1725e9fa) = c8c553e440844308ad305801caaf7754b87ec329732c003abc86a7b25e122584

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

c8c553e440844308ad305801caaf7754b87ec329732c003abc86a7b25e122584

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

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

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

70dece8f4a67fe9a2db9821de1e757c3b037fe3646059a033e5589fbd4fe119a529472c29afc52bdceba7c98e58cce19dd09755e1a4dbf24a7caf496c18aa6d1