トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4c84e8a3be5981240d40b3a31f3f3b371717cc4621907ba2f4b8510410654b51 OP_CHECKSIG

204c84e8a3be5981240d40b3a31f3f3b371717cc4621907ba2f4b8510410654b51ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3d578db0b65c62c28be02cd78eba2a2a93edab2098af187f131b81a09bb02065

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3d578db0b65c62c28be02cd78eba2a2a93edab2098af187f131b81a09bb02065
2. TapBranch(3d578db0…9bb02065, 46c7eccf…1725e9fa) = 7007178e7f1acf0a37317b3548c357127bf6ae0d3599be1d59062ca1fe3819e1

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

7007178e7f1acf0a37317b3548c357127bf6ae0d3599be1d59062ca1fe3819e1

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

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

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

8303991d790354261e6bb74bcf272533a385bb45324c7eafcb3aa494bcf5cde56e87d08df7266b35de2dd301f7c189aece7661b2cf517a472a4c0a4cb1bf8086