トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6aa60e9608ff49f0fe7947dc712ef37fffb1ef257190cb67d8398e2f983eaed4 OP_CHECKSIG

206aa60e9608ff49f0fe7947dc712ef37fffb1ef257190cb67d8398e2f983eaed4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

52fef28267f0a209a1ff8f105df7348aca612eeff71b0cce6d44d24baad5fc33

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 52fef28267f0a209a1ff8f105df7348aca612eeff71b0cce6d44d24baad5fc33
2. TapBranch(52fef282…aad5fc33, 46c7eccf…1725e9fa) = 73ad42722ccfcc228542b3e7e25dcbb6f58762cafba3807a0476aaf7dac71e72

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

73ad42722ccfcc228542b3e7e25dcbb6f58762cafba3807a0476aaf7dac71e72

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

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

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

a276065e65d450f8da0d227f5c9561f152edebcf7c8aa4784cc9d2e17d3e82cc0ccc17085c4777a3b7d6020cff19e97b00abed841beddf1d69b37212427aa5d3