トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3bb09ed360832a90fee7fdf4f6f6bde37f96b20c2f72220f8908e465b79467c6 OP_CHECKSIG

203bb09ed360832a90fee7fdf4f6f6bde37f96b20c2f72220f8908e465b79467c6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

97d5307c22e563ff0b00d62f219fe54bbe88c84b421665cf6a8bbe9263f6f624

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 97d5307c22e563ff0b00d62f219fe54bbe88c84b421665cf6a8bbe9263f6f624
2. TapBranch(97d5307c…63f6f624, 46c7eccf…1725e9fa) = 1e89eefd714387502764a2391d4917bff0f4e2e2ec30086d699fac5c3d985c74

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

1e89eefd714387502764a2391d4917bff0f4e2e2ec30086d699fac5c3d985c74

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

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

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

30bf12a48d13814dcfb4dbf86b049dc1d43ae81e3effc3490855b0fa3e2b3394b09d75284f5155cfa39d7cb4de0e1587cb20c51db5453d08a337f78f5e9b0f12