トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

782753a55a48ccab780062c3c0211967098196bf73df879258fa648a080f30e4 OP_CHECKSIG

20782753a55a48ccab780062c3c0211967098196bf73df879258fa648a080f30e4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ad0cb9c06e49362afb7125c5a2c879707a870ed0fd3aa6c1725f34143cfafae9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ad0cb9c06e49362afb7125c5a2c879707a870ed0fd3aa6c1725f34143cfafae9
2. TapBranch(ad0cb9c0…3cfafae9, 46c7eccf…1725e9fa) = 57a575fe2001ce398a1b82928f580224ca0e820a5088cc34f6fda9f742a9d8bb

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

57a575fe2001ce398a1b82928f580224ca0e820a5088cc34f6fda9f742a9d8bb

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

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

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

56ba3a695c379a43d40f5fd49e81ea16fe9f5e9d7596733c119503e61844d65407e5dc5addb20292a4118a7bcaffcb2801c5b3b6d8810cde477fe4fd104bb4ba