トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c64b22db5c14240055c9a29abf3e0930a42977aefff8bbeb3a511028d500151d OP_CHECKSIG

20c64b22db5c14240055c9a29abf3e0930a42977aefff8bbeb3a511028d500151dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e0be4b9d700f8ffcb3baa5674b90462c582fb95491cf7a6be1b0958c214f6b3a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e0be4b9d700f8ffcb3baa5674b90462c582fb95491cf7a6be1b0958c214f6b3a
2. TapBranch(e0be4b9d…214f6b3a, 46c7eccf…1725e9fa) = be588b8d0c3efb877c4f4c1a1fa2d4ff045fd1f89610e37e05c5bf69fe435f64

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

be588b8d0c3efb877c4f4c1a1fa2d4ff045fd1f89610e37e05c5bf69fe435f64

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

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

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

c7ef37b09dc81490c6e539df3722f833238c9dabfa524076bbf75fb907232d9a27f907b2dbd7f29a1d0020bcc7bbe21bef3818ca041b3d51811b65cb134fa9cc