トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cde77257395b31362c5a86a87a18b84e24cda700a195d8e6e1a56bb30350450d OP_CHECKSIG

20cde77257395b31362c5a86a87a18b84e24cda700a195d8e6e1a56bb30350450dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3f226ec5fa0c0ee91c448b9a870ed074999b29c8b35320c6dda31734d1679c9b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3f226ec5fa0c0ee91c448b9a870ed074999b29c8b35320c6dda31734d1679c9b
2. TapBranch(3f226ec5…d1679c9b, 46c7eccf…1725e9fa) = 96e52fe97d94fc766e6506a69b7e1daaa5b048fd7930a9d79897762fa8e21460

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

96e52fe97d94fc766e6506a69b7e1daaa5b048fd7930a9d79897762fa8e21460

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

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

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

f7acd4347b75da1fe9d1cc13b4462b5ccce123539548aa78a98444cb4ab63759fc6412171a87dc395c048a0d6ee8680034c075b7281f9fdcb3bea865ad5036f4