トランザクション

入力 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 以上）。

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

cfad65360ce0a642f377259fabc9d8a0df423f5e5a2b6f97c48c02f2619be3112635b861194d125aef667a881fca32de63d9dfd1b5cde4e3ac715550af6da416