トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

16dea169fe17426fc242eff8c1e241f5bf5fb65f4385e802722189f54ea5d865 OP_CHECKSIG

2016dea169fe17426fc242eff8c1e241f5bf5fb65f4385e802722189f54ea5d865ac

コントロールブロック

c11eaac8643e5b42b8bab0a7ac285ec7db23db8b0517613b029f715fa054512eb4 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

1eaac8643e5b42b8bab0a7ac285ec7db23db8b0517613b029f715fa054512eb4

リーフハッシュ（TapLeaf）

0e3083f31457dc682b6f82cd5d6c3292a63aa81f474f44ae333edb1333d21efc

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0e3083f31457dc682b6f82cd5d6c3292a63aa81f474f44ae333edb1333d21efc
2. TapBranch(0e3083f3…33d21efc, 1eaac864…54512eb4) = f31918d3d51abe043a7d9ea33b0c400315c5840324617c873cfa8ea2c8eb9586

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

f31918d3d51abe043a7d9ea33b0c400315c5840324617c873cfa8ea2c8eb9586

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

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

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

2a72a108f99c9b7e5b8b7fac43f5982b00e6df497b907d16d7de0db774482d5358d96e36f4f2c8b120aec3b7d70d4df288627f42cd3ebf49c7b018eb6c8800f5