トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0ef35ac4bc9749d251bf49c44c77e899e5c8f206ce4f6a4c50e528fe2c918f76 OP_CHECKSIG

200ef35ac4bc9749d251bf49c44c77e899e5c8f206ce4f6a4c50e528fe2c918f76ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

19b456aeff7528687c63f698f2e08fba9d89dfcab59a22367ea0aafefcc99575

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 19b456aeff7528687c63f698f2e08fba9d89dfcab59a22367ea0aafefcc99575
2. TapBranch(19b456ae…fcc99575, 46c7eccf…1725e9fa) = 34d07d2ab9e68adb2b1d1b0e749f53ab9c75080735acacd7f9384c7ab7addadc

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

34d07d2ab9e68adb2b1d1b0e749f53ab9c75080735acacd7f9384c7ab7addadc

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

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

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

fcd2d2a058a11dccfdaa05cf435ce7d9a866d61a4eeb203c0014bcbea9fa4d8d0ef6b3f434373e7f6b13773a9855b88b8c5b21e36e96d6fdbb7879a2981ad5dc