トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d0a2d7a8c1d23f8e7d6cd7e1870b411eeeb4ccf2d2135ca5335e5009f5dd261d OP_CHECKSIG

20d0a2d7a8c1d23f8e7d6cd7e1870b411eeeb4ccf2d2135ca5335e5009f5dd261dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e827755021fe6e8fbfc1edb33b10575b15bf30764c06292d29ea650fde8dd189

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e827755021fe6e8fbfc1edb33b10575b15bf30764c06292d29ea650fde8dd189
2. TapBranch(e8277550…de8dd189, 46c7eccf…1725e9fa) = 87bc04fffd8fe6215cd18c0466582020bfc869f8a9909c0605e5d6cee70a8334

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

87bc04fffd8fe6215cd18c0466582020bfc869f8a9909c0605e5d6cee70a8334

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

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

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

2f1ce8662099ac0bea1da94df096569949a8d5b59f0231c253f4a2561866942d1e5cf5b24597783afa218a2f1f998cbbd09ca0d92c716d311398238274507acb