トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4651a92dcad326577b355aa7d29ca3271854e2d0ceeed4296af2e6e6b3d160c7 OP_CHECKSIG

204651a92dcad326577b355aa7d29ca3271854e2d0ceeed4296af2e6e6b3d160c7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c6073403bf51772961fe2b25a74891df38552e4ac6a4b574109fac9fe51b7a25

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c6073403bf51772961fe2b25a74891df38552e4ac6a4b574109fac9fe51b7a25
2. TapBranch(c6073403…e51b7a25, 46c7eccf…1725e9fa) = 4cec3dfd4627358e999c1a42b33b456b4c11d5f9e287d36f955f8f5a4de91a2b

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

4cec3dfd4627358e999c1a42b33b456b4c11d5f9e287d36f955f8f5a4de91a2b

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

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

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

3789331b5cbd3cfa649c19c6fa17f060cd25c018fdb12101f652414f2af859cf2a7f39d06c6bb7a105269267483fd60e85edba423b2ee75324240420ac34c0d1