トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1a46530aa5752127e4a9fc805e1fb0bcc966bdf9c4a68b8c4c45bbb1fd580f31 OP_CHECKSIG

201a46530aa5752127e4a9fc805e1fb0bcc966bdf9c4a68b8c4c45bbb1fd580f31ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a426343c084eb904fa3f04a046665c48150f0eab5c8d73af1d9acc4eb387e554

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a426343c084eb904fa3f04a046665c48150f0eab5c8d73af1d9acc4eb387e554
2. TapBranch(a426343c…b387e554, 46c7eccf…1725e9fa) = dbb0d6a46e11044a2b7bbaf05a49a41a2aa71824d1a58051208299a33763b6a5

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

dbb0d6a46e11044a2b7bbaf05a49a41a2aa71824d1a58051208299a33763b6a5

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

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

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

d94b9c529a2bfbd013cca50c94f0d9df2a70d7e28096b9631a06da5c429bd089a268fbc4406da1481331f761f60cadf8207e310a5ebadb970c51cf34c15b14f5