トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1bbb1ff8e4c1372e8234336cc0727dafa3f544b1173a7ee8033a6d42d7550115 OP_CHECKSIG

201bbb1ff8e4c1372e8234336cc0727dafa3f544b1173a7ee8033a6d42d7550115ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7e6aae879d9b680941b99803f67ee686fd31585b1c1c21086395e8a46e4b8ad5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7e6aae879d9b680941b99803f67ee686fd31585b1c1c21086395e8a46e4b8ad5
2. TapBranch(7e6aae87…6e4b8ad5, 46c7eccf…1725e9fa) = dc3428c2f855a215796c5f88266596e98f6a91084ac3f9099b882ae70edeea82

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

dc3428c2f855a215796c5f88266596e98f6a91084ac3f9099b882ae70edeea82

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

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

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

fd82ebf70b00c2a14e7a3abcc687d5063381f7dc19f1e74bd3d716f116dd868eaca33ff8ed8da336d3ee796901620d76a932266d2e687dc383891eac6fcff29f