トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

eabf51a83dfb71cb9d7f81e9fcab61eb9d3257ca448677ad10a6d65c6d3ce18a OP_CHECKSIG

20eabf51a83dfb71cb9d7f81e9fcab61eb9d3257ca448677ad10a6d65c6d3ce18aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b47cac486bc9e2f4f9794efe9b5ebd077353c456c31d1327afa427f2fe17b15d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b47cac486bc9e2f4f9794efe9b5ebd077353c456c31d1327afa427f2fe17b15d
2. TapBranch(b47cac48…fe17b15d, 46c7eccf…1725e9fa) = 9cb3234c964f0949bef2846829494d419b18f147be4633e1626c20082a731c83

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

9cb3234c964f0949bef2846829494d419b18f147be4633e1626c20082a731c83

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

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

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

0385f200f355a7e544ab0a8906e13f0658bbee5adbe4b851b69f2939f6bd407be80ba426623b464e74e8065feb63b9d02044ffa89698ae0911ae0a34d2f30c4d