トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

72591274cd387d7eb91e76019c5fc656d2e93e3fe8e2ac12e4164a27797713e6 OP_CHECKSIG

2072591274cd387d7eb91e76019c5fc656d2e93e3fe8e2ac12e4164a27797713e6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f13f82018c002520b2d469922cbeab59507094a2f57e1940f3d785edc727ff08

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f13f82018c002520b2d469922cbeab59507094a2f57e1940f3d785edc727ff08
2. TapBranch(f13f8201…c727ff08, 46c7eccf…1725e9fa) = 9b7e1d79403717f32fb8520fd18839152b4fa311f3150d865297ca4baa5f418f

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

9b7e1d79403717f32fb8520fd18839152b4fa311f3150d865297ca4baa5f418f

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

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

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

c0fe0493e8c75d919b2d5cd4b72babac4baada0965edd88ace14c68dacaf936cbcf5f8572def56db3217e0e0a4f9c400b07f66fc5e133f05742dc54818b787ea