トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

df80e051f676943bfa12a32c3a438d4ec42540bd792d1d4d5a74feba3f9ecd7b OP_CHECKSIG

20df80e051f676943bfa12a32c3a438d4ec42540bd792d1d4d5a74feba3f9ecd7bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f9d3e0357c5f6212a6c5a6dd245d9513efd02e1b0a2913e99c947f6e06adbd78

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f9d3e0357c5f6212a6c5a6dd245d9513efd02e1b0a2913e99c947f6e06adbd78
2. TapBranch(f9d3e035…06adbd78, 46c7eccf…1725e9fa) = 695561c5c800f771b27d131e700c0ff0eac4c9cda3a2de5ae61b8857698dc020

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

695561c5c800f771b27d131e700c0ff0eac4c9cda3a2de5ae61b8857698dc020

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

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

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

cf87f396abdafb428a478e27bab1039208329d9d4074e6c53e19956f182a072a0c46d851e5b26603d564482f151675f29676d9df5890b2b0b0a70e00deef81c2