トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

dab27cc5cd8e209475c3d142d89a3bc4fc0d50f77f47b8b445d20d162ce6ddd5 OP_CHECKSIG

20dab27cc5cd8e209475c3d142d89a3bc4fc0d50f77f47b8b445d20d162ce6ddd5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e9c70d63a7bca7b5e41f28e287a57a285d40a10434c56f87de3eca3666777d6d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e9c70d63a7bca7b5e41f28e287a57a285d40a10434c56f87de3eca3666777d6d
2. TapBranch(e9c70d63…66777d6d, 46c7eccf…1725e9fa) = 3f6b06a4e1065f1094242ff44f61451875511fd1bc737f06e4e0a1067b63118f

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

3f6b06a4e1065f1094242ff44f61451875511fd1bc737f06e4e0a1067b63118f

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

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

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

af1b44e214ad358dd73d76de6ad8c3f02b43122b274d2dc6f8da9d5a034bd8c2d04965c4a0e687975c0a510b6cf763f9bc0811d56d441f91ad3cb62d4a4f6941