トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c070ca5186a144985cd442041699299fe9d0990a2d7f95f24a351848fe8bfa40 OP_CHECKSIG

20c070ca5186a144985cd442041699299fe9d0990a2d7f95f24a351848fe8bfa40ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

959034183fccd40942d2b2bb2f71bbb0ccabf95e719170ca2d062f63639a0a03

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 959034183fccd40942d2b2bb2f71bbb0ccabf95e719170ca2d062f63639a0a03
2. TapBranch(95903418…639a0a03, 46c7eccf…1725e9fa) = 39bc832db26e9243c485fa08d7faa774741e8a5214de43088199d8e63ab85df9

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

39bc832db26e9243c485fa08d7faa774741e8a5214de43088199d8e63ab85df9

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

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

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

cd5c023aed2bf4ff1aa62e9f753b9e42840a023ff3b8c63b09504f9cdeb642ac47cf5876bb7f49fb422ec43a59fc9c624b4919bd33e4db7a8ef881ab56cefee8