トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9ea6db6e1b0413b9f096002371245f71be2dd517ccfb27ac4e46421571d94572 OP_CHECKSIG

209ea6db6e1b0413b9f096002371245f71be2dd517ccfb27ac4e46421571d94572ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3cdaa371dc76a2c015e44c71b1a16ddfbe6fe2aa037fdf9c3810395b20de14b7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3cdaa371dc76a2c015e44c71b1a16ddfbe6fe2aa037fdf9c3810395b20de14b7
2. TapBranch(3cdaa371…20de14b7, 46c7eccf…1725e9fa) = fad5a1fbcc49e0ab05d13708a5adc3f6f150025694cec0fd867414773c32098b

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

fad5a1fbcc49e0ab05d13708a5adc3f6f150025694cec0fd867414773c32098b

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

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

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

a88c9e9e277acd06d4be588ac67fbe75ea00ba8b969eaf9045a4970a250b12efa426c5be25305b4ff0ee7d9867580c128150877b201bc1cc7faba419f378ee41