トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b5199128bab0ca437d5b3847933a52439d823854871e497b7900641f51f8c803 OP_CHECKSIG

20b5199128bab0ca437d5b3847933a52439d823854871e497b7900641f51f8c803ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c07de9649ad6e5db22f65283cf89083a0827eb89df60a7e850d6d13eee366874

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c07de9649ad6e5db22f65283cf89083a0827eb89df60a7e850d6d13eee366874
2. TapBranch(c07de964…ee366874, 46c7eccf…1725e9fa) = 1cea7584c5ff8b8f9ee1ce560fcda9f65e5103995b3aba7517805993d5ac05f0

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

1cea7584c5ff8b8f9ee1ce560fcda9f65e5103995b3aba7517805993d5ac05f0

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

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

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

d2aa2032bac0839115b25439f9242ba0733d424d402fcb9b892c726cbb534ab36fd2770b1361eb9cb9c8c774a34a6d5867c234a40b39f08539375785779b8aed