トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e9e0828b4a71100f3e51c5de63c7038ad9978ce89f09267c35bdf8d5da514d23 OP_CHECKSIG

20e9e0828b4a71100f3e51c5de63c7038ad9978ce89f09267c35bdf8d5da514d23ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7cffd12c390b23ca55935f28f7fd1b0b5ae2990a0c1a495f5153b6b586e30c94

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7cffd12c390b23ca55935f28f7fd1b0b5ae2990a0c1a495f5153b6b586e30c94
2. TapBranch(7cffd12c…86e30c94, 46c7eccf…1725e9fa) = 7f0ca08543ab665667e387d822c9d46b39b669429df22d026aff702bb49d13dc

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

7f0ca08543ab665667e387d822c9d46b39b669429df22d026aff702bb49d13dc

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

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

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

16a60f816bf80c5c2a1fab1cb96a83fe9b0b22121d5d539bbb7ccefd6fb59441724d9d1adfcb91235a801b2ad8d4cb44d3b97d92aaecc19b0702248e98bd86c9