トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

09af79c4c58996a4f3ba3cf4ef3c10366388ec3c9719200637be82a968571ed5 OP_CHECKSIG

2009af79c4c58996a4f3ba3cf4ef3c10366388ec3c9719200637be82a968571ed5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bcff04c01459777c2b05f9b169083223e4a931ddc13f042268e4ff9acc870283

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bcff04c01459777c2b05f9b169083223e4a931ddc13f042268e4ff9acc870283
2. TapBranch(bcff04c0…cc870283, 46c7eccf…1725e9fa) = 6ad4a0b35dddd2a32da1519cb34b656069c0227fb05c304d09a88dc02ffad3f1

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

6ad4a0b35dddd2a32da1519cb34b656069c0227fb05c304d09a88dc02ffad3f1

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

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

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

026c9ed7740d4f8e21e006761231d4ba97a343514241a435701b665cabaeea5932ff82ac428cd1450cda87de7d481156a8c720ee282bd70d306c4e783b5b3ebf