トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bd5241c8f884e024946da55277c8104479b7c5652da9e56fcb6641f58d6a68da OP_CHECKSIG

20bd5241c8f884e024946da55277c8104479b7c5652da9e56fcb6641f58d6a68daac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

40f66c384115d7c4890c9ca6665811e05bc17fc803e4c752ddbe796666d57bc9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 40f66c384115d7c4890c9ca6665811e05bc17fc803e4c752ddbe796666d57bc9
2. TapBranch(40f66c38…66d57bc9, 46c7eccf…1725e9fa) = 7dd9e164ae8ad949040053a8dcd5a47127dc14ba91ac042a36b835589e5a981f

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

7dd9e164ae8ad949040053a8dcd5a47127dc14ba91ac042a36b835589e5a981f

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

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

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

74ddd0caabe48107b517ed61a85dadbe0f85aea0b6f9174c23232ccdf7c86e0f8a7b9047c1638c6a2fb6c46704b9bd5c1d3215c2d5ba0ad91703879010f28e06