トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

67d0c34312eaf1304f37fd88dc8084f53c379f7aa3191fa3d40e847c4688a5e2 OP_CHECKSIG

2067d0c34312eaf1304f37fd88dc8084f53c379f7aa3191fa3d40e847c4688a5e2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e1971da781cd721becd55fccff4229606655d2bbf903212ab2a47ea18443fb00

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e1971da781cd721becd55fccff4229606655d2bbf903212ab2a47ea18443fb00
2. TapBranch(e1971da7…8443fb00, 46c7eccf…1725e9fa) = f05d98c55061b7285e1c2e99094b779a2e0bb8ba71184f160d1c04147d78cf5f

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

f05d98c55061b7285e1c2e99094b779a2e0bb8ba71184f160d1c04147d78cf5f

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

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

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

e7af80171c362bc22f85e8ba332a382824d0ba6b0ac1d24f7d6b7e9927ccc32449bc8b04b15401c95b631a60926eab0fd537152c63e69256bd4b9f9485d59d2c