トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f9310a1066a2b68b2b66fdede4bb364109832311abbb8b4683809d455e68b4e3 OP_CHECKSIG

20f9310a1066a2b68b2b66fdede4bb364109832311abbb8b4683809d455e68b4e3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f5bb387f1c4a412cfade09fdec87b132420db134bd8470b5403cc50edba54cdc

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f5bb387f1c4a412cfade09fdec87b132420db134bd8470b5403cc50edba54cdc
2. TapBranch(f5bb387f…dba54cdc, 46c7eccf…1725e9fa) = 9cac72b7335d681a33a921dd449c311db58ea79f77fa6ae1e80b8036cea1d615

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

9cac72b7335d681a33a921dd449c311db58ea79f77fa6ae1e80b8036cea1d615

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

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

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

c17267964e1927145b694fc58401fde1cdcedf12e6d2107ae32396c74bc892313a245d6ff750b5cefdfd50a8ed15171360c791e8206f8b8137ad9dfe9b89c18e