トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c1cad43b5a78aacc9722bcadb70c600068d850833622b5fde704977482866efe OP_CHECKSIG

20c1cad43b5a78aacc9722bcadb70c600068d850833622b5fde704977482866efeac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a0a3fda7c6fe6334043cf7414409dbd275de61b7571f8d446c973fcc449bfa01

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a0a3fda7c6fe6334043cf7414409dbd275de61b7571f8d446c973fcc449bfa01
2. TapBranch(a0a3fda7…449bfa01, 46c7eccf…1725e9fa) = b3cb6202293d16b3069f77ea267a95a882144dba9ddee6f6a02d6d4d5575309f

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

b3cb6202293d16b3069f77ea267a95a882144dba9ddee6f6a02d6d4d5575309f

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

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

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

450f3e205b5547161cba5b7f826b3a727a1cbba1630fec453ec5cc30cd7c029b3f8cfd04148150463ff69aa3a1c1aecdf0d24ea841ba2f3d40f1b02b71076e7e