トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a66b13e7b5a590b8ada5cd60efd9fca1c80fd109322da0290b3e5071100344d9 OP_CHECKSIG

20a66b13e7b5a590b8ada5cd60efd9fca1c80fd109322da0290b3e5071100344d9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f919e734387eca70644255e9df1e577667e7c55feec2ca1cdb6924b31e66c88e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f919e734387eca70644255e9df1e577667e7c55feec2ca1cdb6924b31e66c88e
2. TapBranch(f919e734…1e66c88e, 46c7eccf…1725e9fa) = 449b28e63429dd1b3959552b016f0f206cad55ab55d7048cdd37a1aa990dcda5

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

449b28e63429dd1b3959552b016f0f206cad55ab55d7048cdd37a1aa990dcda5

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

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

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

baef914768cbc9294f6554c6d5e037db4be75729dc5594b779ebfcf13e6963677c3b83fcd4273ff0dc73f0c6be63805c18b058da75d0bf6c4f3fb30c91c73121