トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2deaa5a9d43d9391d542e3f8e79d45d4a4e0990bdb55b5e3896ae6d5d99d52db OP_CHECKSIG

202deaa5a9d43d9391d542e3f8e79d45d4a4e0990bdb55b5e3896ae6d5d99d52dbac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a0efabf5c88dcf77930257b6943dd94ed4603ce6cc918e586e268471fcbcba61

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a0efabf5c88dcf77930257b6943dd94ed4603ce6cc918e586e268471fcbcba61
2. TapBranch(a0efabf5…fcbcba61, 46c7eccf…1725e9fa) = 9b52ece180554ad60562d0982f55a746098369e94d54a841fb2f68ebc101f6ee

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

9b52ece180554ad60562d0982f55a746098369e94d54a841fb2f68ebc101f6ee

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

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

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

cf91e70e49dd9abdea7dc729c7b0729b24a095ba20a83e1575ae7f78d959bc6e2baf19b3a1c2c8cde78e7424e2be4ed3f7ed6501addcabba7abbb59d4454cb1f