トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c629407c15e28440bd48ea993473a3977e1658e5d04ed591479383a9d7388751 OP_CHECKSIG

20c629407c15e28440bd48ea993473a3977e1658e5d04ed591479383a9d7388751ac

コントロールブロック

c1a3aaa8ab69345e0f2d77b4d4d85b93111816d9ba9ddd0d0c6a8ac69893f670c6 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

a3aaa8ab69345e0f2d77b4d4d85b93111816d9ba9ddd0d0c6a8ac69893f670c6

リーフハッシュ（TapLeaf）

ade813e977c4aa252183ca66f517308dc1b01849a905554e5a7f7f2311f16382

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ade813e977c4aa252183ca66f517308dc1b01849a905554e5a7f7f2311f16382
2. TapBranch(ade813e9…11f16382, a3aaa8ab…93f670c6) = 18211e923b7ea2f67192939fdb57073ea14abf6ab7c09fd5ea8984ff77ffa8ae

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

18211e923b7ea2f67192939fdb57073ea14abf6ab7c09fd5ea8984ff77ffa8ae

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

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

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

1ad2953af53da0d7f918c658882bb05bbe291ad5e8ec4e2660a34a60a50382a20f76a5cb6411d122784a9d4bfa9336e64e3741391223d0afb624e22f8e6efb23