トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d4dfbc96b49dc5082921bf4580aac73a97d9f86133bab21a716aac9630738548 OP_CHECKSIG

20d4dfbc96b49dc5082921bf4580aac73a97d9f86133bab21a716aac9630738548ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

dfd940e84580b7b5119cc918701fb2a7e3dddb340daff0da52ce4c38af1b27e0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = dfd940e84580b7b5119cc918701fb2a7e3dddb340daff0da52ce4c38af1b27e0
2. TapBranch(dfd940e8…af1b27e0, 46c7eccf…1725e9fa) = 3ebfd4d8b3de27c823fa142b7cc04130740dda16b575970615217f705b5ec036

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

3ebfd4d8b3de27c823fa142b7cc04130740dda16b575970615217f705b5ec036

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

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

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

1c36dc7fbfed408ab0d3a64ed63b1a03f66ddf21cbf154939406f9a12ee68e56fd414df86a1db3aabe9692bbab7cd5af5057a44f994ceb3455b241adf15e6198