トランザクション

入力 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 以上）。

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

34ca06b2e634a4591590d73adc6f0c9027e93f7c8318689aa334d4fadcd37a4566713adb8b717895211e2de88a989499d0b21688a696a8ab2cb163c83556d57a