トランザクション

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

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

9e26d048b5f3f292065302a0d6e0d2809a2d6bfd0e6f2b06c167ae8c15778dcda896f09b7f97eeaa2e4d012c4907ace1dfba77104ffa65d809106d26ef1a39e1