トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1b6e8cdc250f900911febf821fd0d454afb955b8542fc1dfc9f8f806fb86d66c OP_CHECKSIG

201b6e8cdc250f900911febf821fd0d454afb955b8542fc1dfc9f8f806fb86d66cac

コントロールブロック

c1b1447fb512e6790a4574c376564f2353abe5304e6f24becceb8865ef36beab20 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

b1447fb512e6790a4574c376564f2353abe5304e6f24becceb8865ef36beab20

リーフハッシュ（TapLeaf）

82f3877f569f5690161d5d9cfcb6f32d38d18d1c30796f469b1807731f8ad42f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 82f3877f569f5690161d5d9cfcb6f32d38d18d1c30796f469b1807731f8ad42f
2. TapBranch(82f3877f…1f8ad42f, b1447fb5…36beab20) = d6a90aa5611c055f7dec77924d1ae7162db10f56a4006e66aafa0ef856ab86d2

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

d6a90aa5611c055f7dec77924d1ae7162db10f56a4006e66aafa0ef856ab86d2

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

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

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

b818972f7bd437f858c0dcc1441c1ccbb2f156b0f6ca800fc50ff45b0f06b207a2ed01005d539904a53c0081d43327515bc4be365efa354ef0beeeb9f1c996e8