トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c608969d42a2b7eaf6553e58e9fa8b0c671064d0c7478f66f160a6e1e502616a OP_CHECKSIG

20c608969d42a2b7eaf6553e58e9fa8b0c671064d0c7478f66f160a6e1e502616aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ceb1c1bc09ba59eaa3fd537fed3fb4d8794f200a4820720405fdce6627950971

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ceb1c1bc09ba59eaa3fd537fed3fb4d8794f200a4820720405fdce6627950971
2. TapBranch(ceb1c1bc…27950971, 46c7eccf…1725e9fa) = 313d31e77856915c8ec59b66ebb63a3120025be46777d028770e6e454b1d8d10

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

313d31e77856915c8ec59b66ebb63a3120025be46777d028770e6e454b1d8d10

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

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

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

8c58c600b8d85a0c893eb549c6917a9683914b6e0e7a9ec8cbba9a475f0fa5f8f21227e14dfca09cf875f5623b9c52d6bad20b3dee71eba01a73f681063101d6