トランザクション

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

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

c156f4da6abeb1446deaebdd7c19c23153b4db884794f98e8558052fe62e5cba70caff27378972bc3b47935d81d9865628f45309d0c5b2e7a0599bdabd2c4d76