トランザクション

入力 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 以上）。

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

fd5ba4ceae1b331511b8a60fb64cc7e90b64739b3de619d1a4737d6d12032bd139167b30b4ccd65929986945cd20b310f787fe069944cf34bffbd9ff88b19248