トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

03c739cb00909337f87521f8b3745f7d3bf672d8e1d9a0c89ec6c99c387ea591 OP_CHECKSIG

2003c739cb00909337f87521f8b3745f7d3bf672d8e1d9a0c89ec6c99c387ea591ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

64095ca6eab35ddc891dd730b850ca1d6d664c1bfbb204a9a6133b42de919fdf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 64095ca6eab35ddc891dd730b850ca1d6d664c1bfbb204a9a6133b42de919fdf
2. TapBranch(64095ca6…de919fdf, 46c7eccf…1725e9fa) = 486e1801ca140a137c971b819c997544eb82f130dcad1d5328111f5dddc12f6b

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

486e1801ca140a137c971b819c997544eb82f130dcad1d5328111f5dddc12f6b

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

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

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

a67ee114fee311458bf57501a4d01ac3dbdb4fce786faf5ddecc634f722913cab6b753ada8c589be8bc8f9b11224475e0a82b16a319bf3a6203d011b13d23bf4