トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

64d07f3f3c382bc8f5eb96007ffd7ea4d11c529e6c1ac987927c47211ba44d3c OP_CHECKSIG

2064d07f3f3c382bc8f5eb96007ffd7ea4d11c529e6c1ac987927c47211ba44d3cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

894652a7f1c1c2298f745da56565f980d0797ba4320e0eea6dcf738069cdd50b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 894652a7f1c1c2298f745da56565f980d0797ba4320e0eea6dcf738069cdd50b
2. TapBranch(894652a7…69cdd50b, 46c7eccf…1725e9fa) = fd87804757c5f618b711188df5e22822155ff66901c2aca72abc1bcdbeb509c3

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

fd87804757c5f618b711188df5e22822155ff66901c2aca72abc1bcdbeb509c3

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

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

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

9613c100d7017db767600e9024cd94c5101560127ff583821b401a5ca3c2667752a660bb2509b355097e6814fbceda0b357f34ae681b4ebf8ae96178c022d956