トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

278e449205452bc29390c922de71e6ad1f007058f800553fb0b5c0b099bee49d OP_CHECKSIG

20278e449205452bc29390c922de71e6ad1f007058f800553fb0b5c0b099bee49dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

311489eb6c2294582b1c1e829f04b18d2141d8f1b4c23b7c0e06e0aef1862a55

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 311489eb6c2294582b1c1e829f04b18d2141d8f1b4c23b7c0e06e0aef1862a55
2. TapBranch(311489eb…f1862a55, 46c7eccf…1725e9fa) = 389488b5475cc13838ab967620f9d6c19c9dd1a9f50255a787784d3e3bd0b1a5

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

389488b5475cc13838ab967620f9d6c19c9dd1a9f50255a787784d3e3bd0b1a5

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

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

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

15a94bbc26126d9df77daa46282fe53b8c8a5835dd2efe78285da17539f76f56dd0610c4e1af3608b10359b9258f9b790c389ea9656bfb407434783fbca2af5f