トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

141180c4c50c2d5e7be0c32c7a708dc1e363852c262072cddd19938d578ff1aa OP_CHECKSIG

20141180c4c50c2d5e7be0c32c7a708dc1e363852c262072cddd19938d578ff1aaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

338cec878411d94849e0c7ae48bb172cf5195277725632309f429b95ccbdcc7b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 338cec878411d94849e0c7ae48bb172cf5195277725632309f429b95ccbdcc7b
2. TapBranch(338cec87…ccbdcc7b, 46c7eccf…1725e9fa) = f89134a51aa1e3397d906d156b5608a8583ea8ec110292f2dee103064b4a5b50

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

f89134a51aa1e3397d906d156b5608a8583ea8ec110292f2dee103064b4a5b50

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

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

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

8783bb96f2932fc82e57e123c25241f47eacfe188798266bace6bab7aeb828415f9162589ec9e5ef32636e8f622806b924a12de3b2e0635eade76e4b0534be90