トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3474096847543e81ba7e181f6ed2e29ba694cc0d63c7fc214f866c478781902e OP_CHECKSIG

203474096847543e81ba7e181f6ed2e29ba694cc0d63c7fc214f866c478781902eac

コントロールブロック

c13f5491e2a408ac4a84bc0a7317c11cfe5f4b86dd3c4c9c79de9456bc518841bc (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

3f5491e2a408ac4a84bc0a7317c11cfe5f4b86dd3c4c9c79de9456bc518841bc

リーフハッシュ（TapLeaf）

68f999c17e72700080ad36af0c0ef49ec149f32c454ee9b42b651d01f2b60d0e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 68f999c17e72700080ad36af0c0ef49ec149f32c454ee9b42b651d01f2b60d0e
2. TapBranch(68f999c1…f2b60d0e, 3f5491e2…518841bc) = ed0e85905d14c522825afa6dffe57f10a6d464d7633482376b75b7e4e75e3587

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

ed0e85905d14c522825afa6dffe57f10a6d464d7633482376b75b7e4e75e3587

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

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

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

37e28a0b5b8f12432461f7511bb3e76bcb792e1355833bece732698240397eb5b651d250d9b31d2cdce197bfe69d41a90aa73b29ea9323da89eef8c89f06d10a