トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ae739f604ea9a9ddb7bf272ad156dc7af20224ea11e3fa9eec4f3646d75da839 OP_CHECKSIG

20ae739f604ea9a9ddb7bf272ad156dc7af20224ea11e3fa9eec4f3646d75da839ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

41c483a09d04b8ca676a78a173419756d03ab51cf1ee715bd4a971470f4352d0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 41c483a09d04b8ca676a78a173419756d03ab51cf1ee715bd4a971470f4352d0
2. TapBranch(41c483a0…0f4352d0, 46c7eccf…1725e9fa) = fadda2752640a10f63d84c51e42aec4e04a1403dcbe338d69803a4827d872846

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

fadda2752640a10f63d84c51e42aec4e04a1403dcbe338d69803a4827d872846

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

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

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

2829642db3e9db3da808f6c953c3d4c6131cf9e9c6f4c141c9ae8c10d9547a345cd77bb7bd50a609868d370fd91447538c4233eaddd23f4d2bab4744da69d3f1