トランザクション

入力 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 以上）。

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

1b5c3c9ad2e1819b85b648db3243e875fcf061522a080190c3c47bff08144b15e549f4ba52908f23c29d16eaae6b6c4219ee7bc62027400f8d55ecda06b087d8