トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e3281162a011abb4c3f2c644811b82bf9d3af4ec59db26446062bdac9a72cbec OP_CHECKSIG

20e3281162a011abb4c3f2c644811b82bf9d3af4ec59db26446062bdac9a72cbecac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

939d83caa3524d3a10644498536cc807ee279254b000ce512b5191b761a3b325

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 939d83caa3524d3a10644498536cc807ee279254b000ce512b5191b761a3b325
2. TapBranch(939d83ca…61a3b325, 46c7eccf…1725e9fa) = 90a39a811df63c8cef154a9be8010b8abc35455765a9f4ab31d857ec35a5cb1b

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

90a39a811df63c8cef154a9be8010b8abc35455765a9f4ab31d857ec35a5cb1b

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

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

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

fafd158d9c9962a0ae6bac9dcdb883288fbbd2f5dd97cfc6f8a9797e97aadb474709c4e9839dcfed683aa2008464737c0fbb6f8212314150c8fc6a8b1161b78b