トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

dfb061129c4bbfb31f3c5bae5fbc472143c2972e5d3f9e94f38f3e1494f2f795 OP_CHECKSIG

20dfb061129c4bbfb31f3c5bae5fbc472143c2972e5d3f9e94f38f3e1494f2f795ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5dae8f239548b0c4779ad97f805f6cb8585c7f911b4a8bd5c0396b904fffa4a3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5dae8f239548b0c4779ad97f805f6cb8585c7f911b4a8bd5c0396b904fffa4a3
2. TapBranch(5dae8f23…4fffa4a3, 46c7eccf…1725e9fa) = 2b6fa4f9a2a15da969d8b0a1b95ee36b5b12305a620980299be9ff022f3af74e

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

2b6fa4f9a2a15da969d8b0a1b95ee36b5b12305a620980299be9ff022f3af74e

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

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

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

80f842fc9edaede376820b0ef78c8a8e409ca51a7c2d6b7bfb69e6d498a0a3a8d3255d72074a40fa3ac30cf963b75e370f11ce617452bba39d3c3165e3871c2e