トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c9617ef5c72e30fb613081e169becbcc977e9893d618e89fa99ea77d30cf222e OP_CHECKSIG

20c9617ef5c72e30fb613081e169becbcc977e9893d618e89fa99ea77d30cf222eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a7a70be46dd6fd1d6ec962e484376e8eb6c91e06e4c1418d5f5e7e8c87e4a913

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a7a70be46dd6fd1d6ec962e484376e8eb6c91e06e4c1418d5f5e7e8c87e4a913
2. TapBranch(a7a70be4…87e4a913, 46c7eccf…1725e9fa) = 0a014c293b461356c923de20279509f6b9c3c468555d29530ec025f1e0cc679b

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

0a014c293b461356c923de20279509f6b9c3c468555d29530ec025f1e0cc679b

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

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

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

3925f90f3a8ddf9f5c056bd9161cb2d6d77b02d719e0c2362d7a45ae004c0a0a9f681be8bbea5d23ffc27e421b6106c1c329200fb9fc958b2adfffe1cec1ee4a