トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

09628d250aa93f2a464190598f45719ef25a92de60ee432d55882accdccaf856 OP_CHECKSIG

2009628d250aa93f2a464190598f45719ef25a92de60ee432d55882accdccaf856ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6b500e24a1cca8563ba72941581c944e8847bc6bc14cc5cd9c9497d667bb3338

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6b500e24a1cca8563ba72941581c944e8847bc6bc14cc5cd9c9497d667bb3338
2. TapBranch(6b500e24…67bb3338, 46c7eccf…1725e9fa) = 85f6e7e160218641cc69e80ee82ecfe908c2100e7d060adee7297c85e627baaf

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

85f6e7e160218641cc69e80ee82ecfe908c2100e7d060adee7297c85e627baaf

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

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

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

c791c7c0c0acf478ef5faa2ef5d98e38c8ceb83db04fa4621140a8e8bcd65bff8c37806a129034b659da2f9294dbfb458898985e5dff7458f6cf1817995452ab