トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0f962d40f9cd0808967c6236420cc2ba97799d71b67b23f76b234b6987f1f7be OP_CHECKSIG

200f962d40f9cd0808967c6236420cc2ba97799d71b67b23f76b234b6987f1f7beac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

707b2f43e548dfbba72d83d9996d209e331a0361beb34d5ce78ad576927cb560

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 707b2f43e548dfbba72d83d9996d209e331a0361beb34d5ce78ad576927cb560
2. TapBranch(707b2f43…927cb560, 46c7eccf…1725e9fa) = a88b9fde2956f5a475e9554cacc7e73a9afb048b2df0978e1cf55802a792e782

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

a88b9fde2956f5a475e9554cacc7e73a9afb048b2df0978e1cf55802a792e782

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

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

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

9926f1ff7d6e7f70cbc510dc393e33a4f5c7f52dc8f9f3785c1fce19003e014839b30ec37f46b9dd6e285904a3766ac69dea74557904630ca6c24cd477e795ef