トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8b228e9ec6d773e06e2e697c0184cc01c9e710c23adba09d06719e33eafc21ba OP_CHECKSIG

208b228e9ec6d773e06e2e697c0184cc01c9e710c23adba09d06719e33eafc21baac

コントロールブロック

c1cb96b63d327d6b910211eaa71cd51b588da7e5bec7ea9fc8f1caeab5ca0b56c9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

cb96b63d327d6b910211eaa71cd51b588da7e5bec7ea9fc8f1caeab5ca0b56c9

リーフハッシュ（TapLeaf）

5294408bdef74f6495050791b4cacc1955d4713cf8ed74e82a154129dda7a386

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5294408bdef74f6495050791b4cacc1955d4713cf8ed74e82a154129dda7a386
2. TapBranch(5294408b…dda7a386, cb96b63d…ca0b56c9) = 21d2612730bd27218d744d4ee7bef3565be8f3bb289cf278724abe96cbafdf81

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

21d2612730bd27218d744d4ee7bef3565be8f3bb289cf278724abe96cbafdf81

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

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

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

a4d87d38c6112a2d0e29664573f7966d95f98403d05ea897d138ad36e8ce6950969794d889bc9dff3129c98c6f430b38fe7eff21c3de500c6db480b1aac2e64d