トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

80bb7b1a3a27f15d00fac12be957ca9a926f95c914b96267c8ec026910b81ce6 OP_CHECKSIG

2080bb7b1a3a27f15d00fac12be957ca9a926f95c914b96267c8ec026910b81ce6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c510866dcf0efe4e6243bce58a1c972a38043de6b73bb9dc9a351d07626cd281

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c510866dcf0efe4e6243bce58a1c972a38043de6b73bb9dc9a351d07626cd281
2. TapBranch(c510866d…626cd281, 46c7eccf…1725e9fa) = d073c76893e83fafa710e954165b85f761d3d20a8c3c2e660270d9a2db8e4b6e

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

d073c76893e83fafa710e954165b85f761d3d20a8c3c2e660270d9a2db8e4b6e

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

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

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

522322a30058451641234a94ba3191b85a44934f7610b32b4f75e91347e7af3517e649eff6ec3574a5cf5877cc521e2445a5ab218fda0a441a8927d30b0bb36c