トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

99db05beaf2f80b17786124321d6cc8bebfa79f24a9c6b1d54dcf5f810083ff2 OP_CHECKSIG

2099db05beaf2f80b17786124321d6cc8bebfa79f24a9c6b1d54dcf5f810083ff2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4174b210757e7f6669a97d6f6e045bfbb258e587799a901ab204f8b9e5820dd1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4174b210757e7f6669a97d6f6e045bfbb258e587799a901ab204f8b9e5820dd1
2. TapBranch(4174b210…e5820dd1, 46c7eccf…1725e9fa) = 80fe397a276f836789502a9e02e94f1f6a511029cf7d436fc383998f5273671c

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

80fe397a276f836789502a9e02e94f1f6a511029cf7d436fc383998f5273671c

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

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

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

9a348956c09060d3bfeae68bb49d6f28c24babfeccc43aadd42750ae1682458e36be1fad6ed1ec8f37f9e69e5f4b5e346b46cfd7776e8ef216d92bf3bac3b724