トランザクション

入力 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 以上）。

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

cc481a0974b3ffaeabf4d4e92b04ad6946b32a68d5174eaf1f8b411365512df6f272e87f0f8f810aecde9dd4f1b486fe0a9b0cdb07ec25b276146af94aafdbab