トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

742158d1f79e2e8d4d72e7b2bd2bdcfbf347360ddb9ec24985dc52e60b5e2419 OP_CHECKSIG

20742158d1f79e2e8d4d72e7b2bd2bdcfbf347360ddb9ec24985dc52e60b5e2419ac

コントロールブロック

c1eb2afa3b191eee62e1974cc384b134b12399ee376c6df59ed186c6e6a86c8781 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

eb2afa3b191eee62e1974cc384b134b12399ee376c6df59ed186c6e6a86c8781

リーフハッシュ（TapLeaf）

461ca4feeba75ba8232a045058655b33ffdc28ba07f3750ea2f28fbf5f7225cb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 461ca4feeba75ba8232a045058655b33ffdc28ba07f3750ea2f28fbf5f7225cb
2. TapBranch(461ca4fe…5f7225cb, eb2afa3b…a86c8781) = dec9dbca1b1b246f2e10a196c854498a00db09a0f2a8801b2cfec66f2a101657

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

dec9dbca1b1b246f2e10a196c854498a00db09a0f2a8801b2cfec66f2a101657

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

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

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

ba5211aa14906c6777fc216db4cbd301a2aee6813c72fe41e20577107df0e45d9d6d17d24910a8c90e495e9f96188bc309a29aad7ef99fe6a03ca52bf455375a