トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9999766d034098306309f963b545663f4f481d187a5a4f02dc4f1fcbbbe14ec3 OP_CHECKSIG

209999766d034098306309f963b545663f4f481d187a5a4f02dc4f1fcbbbe14ec3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3ff40cc95c0ad4818bb8b1369e2822e6a0c6a9de39f59b9acb8f4fa769150175

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3ff40cc95c0ad4818bb8b1369e2822e6a0c6a9de39f59b9acb8f4fa769150175
2. TapBranch(3ff40cc9…69150175, 46c7eccf…1725e9fa) = 2960c5b84a12762c15143e43b467ed75e2765a15f8fa90ff421675be3e4d1db2

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

2960c5b84a12762c15143e43b467ed75e2765a15f8fa90ff421675be3e4d1db2

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

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

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

037e3962a5bb569b7d131043cec38ad09a143ff74fa33746a1a2bf405543345e0cc7dd88785bb9785d46837e17092cc1cc2698a776776b2daf883c22fe91ab3d