トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5bb350a2e6e5de7a0da843b52430e61fb70aecd969b2318e146a3a0feef03131 OP_CHECKSIG

205bb350a2e6e5de7a0da843b52430e61fb70aecd969b2318e146a3a0feef03131ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f6de4eacc2aa18f5332309be821e43543344193c927e10274e0c8ac5c34d3f5a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f6de4eacc2aa18f5332309be821e43543344193c927e10274e0c8ac5c34d3f5a
2. TapBranch(f6de4eac…c34d3f5a, 46c7eccf…1725e9fa) = 4e0ca8a8afd7f00d0c958318a18b420610597564aebc28da66d5334765f2a5fb

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

4e0ca8a8afd7f00d0c958318a18b420610597564aebc28da66d5334765f2a5fb

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

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

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

cfbce255c3c391ab1b076fd951693127158404913e354b74f5966ecb545d07dde10f745c0de54afb372db9bdafb3df2739e25f7612a151bd9e127668ac3e3143