トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

891776f5fbde14c1a69b04e8dbee5d122e829f25624ce4922d3cce34210970fa OP_CHECKSIG

20891776f5fbde14c1a69b04e8dbee5d122e829f25624ce4922d3cce34210970faac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e25b4e692ae5e4a1ebde40d88018b8b116c8148856011623a882b2e289669fd9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e25b4e692ae5e4a1ebde40d88018b8b116c8148856011623a882b2e289669fd9
2. TapBranch(e25b4e69…89669fd9, 46c7eccf…1725e9fa) = 431e10dfaa4806c06fc94176b2878176df48d7a7f1305edb03ea42885e1ffde3

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

431e10dfaa4806c06fc94176b2878176df48d7a7f1305edb03ea42885e1ffde3

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

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

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

50bbc77f224ee019dfc8fd11d2ac09ffaf8cfb831a4456a04e72772b833830c3eef1ddafb9118f54b4124c83c135e6b8f2670c4956acdac6aeb5c14df63e3ac6