トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

dcc8ee7fa420c025a1bc4c14c404a337493ef2d04cbe5a23dc24ed14ada6aca9 OP_CHECKSIG

20dcc8ee7fa420c025a1bc4c14c404a337493ef2d04cbe5a23dc24ed14ada6aca9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

486540f57c0b1d3b65960c0cd96977d8d2a8327d4a8b6ab791c3798186c2baa8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 486540f57c0b1d3b65960c0cd96977d8d2a8327d4a8b6ab791c3798186c2baa8
2. TapBranch(486540f5…86c2baa8, 46c7eccf…1725e9fa) = ddf794fc6417e3563d9890fe175f88a6e39797c40d62bb0effe6d584b1dc21c1

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

ddf794fc6417e3563d9890fe175f88a6e39797c40d62bb0effe6d584b1dc21c1

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

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

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

64c35108d0c7957eaeb4ad52ed205ddaa39846c6bc18d0e6ad22213d5f22e3e2d72237c051636ccb0be9513c84c100a2834406f10fdc93e31afcbf73882cc204