トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c9fef92a22af7b7eb75626c033b55bb9f8e111c6339650d7f968880cb338b762 OP_CHECKSIG

20c9fef92a22af7b7eb75626c033b55bb9f8e111c6339650d7f968880cb338b762ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

edd707b19a53fba5fa89c7e89f8bd336fa1440d28f29e5b942d5f0d131cf0682

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = edd707b19a53fba5fa89c7e89f8bd336fa1440d28f29e5b942d5f0d131cf0682
2. TapBranch(edd707b1…31cf0682, 46c7eccf…1725e9fa) = fd4221afa9b087121a103a117d8306455aac20dd2742fde890ec262e3cc09a3d

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

fd4221afa9b087121a103a117d8306455aac20dd2742fde890ec262e3cc09a3d

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

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

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

5574ff7c751749bdbf8a6865ef24627962f47378cf52b6916aad32150b03a70dac65b182e9b941191b9d5836ec07ed6e23eb407402c11feffc7397bc3f03038f