トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4d651b0dee0d226543c34621290260bb73a831c26ec06d65eca0b001f42e26a3 OP_CHECKSIG

204d651b0dee0d226543c34621290260bb73a831c26ec06d65eca0b001f42e26a3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ac78546b90bfb2c229e5e32b5704f390e94c5e900b14b0e3e112c5ccb7e75924

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ac78546b90bfb2c229e5e32b5704f390e94c5e900b14b0e3e112c5ccb7e75924
2. TapBranch(ac78546b…b7e75924, 46c7eccf…1725e9fa) = 2efb386045082b6177f2d00dbd25f1ec272640dc16e121b0a5366c9010edd8ef

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

2efb386045082b6177f2d00dbd25f1ec272640dc16e121b0a5366c9010edd8ef

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

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

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

6139d6dbfe10763dbb0ee4ef03b08f1fd6faf292ecef43578f92399fd688aacfe4facb7be907b3c8d62faa09407405e36a88e54d5c092e607478f6076251ed10