トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a6b20e3c5c3d41a3127b1391955845a2be63709c866f472f805fcb96211af7c3 OP_CHECKSIG

20a6b20e3c5c3d41a3127b1391955845a2be63709c866f472f805fcb96211af7c3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4acd6abe7fbf75d480bc05372bb73b6f89c325f0fd5592bc5283f68c7a1dffa6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4acd6abe7fbf75d480bc05372bb73b6f89c325f0fd5592bc5283f68c7a1dffa6
2. TapBranch(4acd6abe…7a1dffa6, 46c7eccf…1725e9fa) = 3b2f874dba47f683cfc0a509d4d0a23c5bca748cb2e76ca4db73906b584da9ae

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

3b2f874dba47f683cfc0a509d4d0a23c5bca748cb2e76ca4db73906b584da9ae

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

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

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

80e800d2e2f7293521e5d0f88ab678e5363d02c1f557dfb45e7410f740b78cdf5ba7b740a393ee4d30f4a9b712cf48ef9ceca184e1d70ff82249262d2fdfb7ca