トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

22cf01eb95fc9aba603dda0f0fbdfb3d995e7f72de095f8f2033f574322c2083 OP_CHECKSIG

2022cf01eb95fc9aba603dda0f0fbdfb3d995e7f72de095f8f2033f574322c2083ac

コントロールブロック

c10c26a403c6cc24d57c790477f1c4d47709a7a2ff66fb3efc0ada49c7751ade11 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

0c26a403c6cc24d57c790477f1c4d47709a7a2ff66fb3efc0ada49c7751ade11

リーフハッシュ（TapLeaf）

c3caec15c9c348dbe14b4cc598c820d8cc4d51dcc9afc12e417537344f955cce

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c3caec15c9c348dbe14b4cc598c820d8cc4d51dcc9afc12e417537344f955cce
2. TapBranch(c3caec15…4f955cce, 0c26a403…751ade11) = 7649cbffd3ca5462b9bd991695515aa017c9000989b91c2d313b0a4bc1c29fcd

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

7649cbffd3ca5462b9bd991695515aa017c9000989b91c2d313b0a4bc1c29fcd

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

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

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

895673b846624a1c6d98696370e209fe491beb91cbbfb871323717b156f2b41fed28ab86ca4c867aaf7ec808499bc29b87d01d78309a38e5c2edbd7551b9e934