トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

da54eedfff0bcf8c4f232a32a261ff56cfb63ddd4f7f8907033c132de8f18cf8 OP_CHECKSIG

20da54eedfff0bcf8c4f232a32a261ff56cfb63ddd4f7f8907033c132de8f18cf8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

984d27ee251ec65e1a87c8bb2c179a0993989f21e4b683713449ec76ef767c5a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 984d27ee251ec65e1a87c8bb2c179a0993989f21e4b683713449ec76ef767c5a
2. TapBranch(984d27ee…ef767c5a, 46c7eccf…1725e9fa) = ddb1fdf23dcab0a7bc8bfac3df7c3b1de75d2482b986031a5a0f67744bac5e71

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

ddb1fdf23dcab0a7bc8bfac3df7c3b1de75d2482b986031a5a0f67744bac5e71

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

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

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

74c523c04fb2ff040924961c8a6a440d5d303670bc16b5c9d867acc6c0c67233e523ce93387d8208855a34400c251a2868d954b4db89d1b55d19a311989602a2