トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

50f84f752523db87078decaa6d4db04d830e98f84399167c7fa7d7cc7e8b902d OP_CHECKSIG

2050f84f752523db87078decaa6d4db04d830e98f84399167c7fa7d7cc7e8b902dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3ea5b07090afa7806a546de49cde62fb547c6ea24c1a07768afae070c744f048

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3ea5b07090afa7806a546de49cde62fb547c6ea24c1a07768afae070c744f048
2. TapBranch(3ea5b070…c744f048, 46c7eccf…1725e9fa) = 3242bcd94292727db4513b572ef91718fd4629c0773a91af7fabedce4d64b178

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

3242bcd94292727db4513b572ef91718fd4629c0773a91af7fabedce4d64b178

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

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

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

df271246e4a147ebc1c16dd109e0ab11d114e6fe7f5b918d2a7b07db055a54cf67cc6bed85e0d2608d9d622bb5f4012c22e692395cf658665c2fbb714f55e4cc