トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d4f5532206a8500ef6913e59556257ed7538df3dd8d951c4393af274089cdf3b OP_CHECKSIG

20d4f5532206a8500ef6913e59556257ed7538df3dd8d951c4393af274089cdf3bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2674ceb7732cdd6ac61f053d83970f05758c28a23bb593a84dd19da4d583ce05

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2674ceb7732cdd6ac61f053d83970f05758c28a23bb593a84dd19da4d583ce05
2. TapBranch(2674ceb7…d583ce05, 46c7eccf…1725e9fa) = 9fade080c300b2df8f59b1cb840bedb80ba07be2e414db283c8b195ccb2f3c02

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

9fade080c300b2df8f59b1cb840bedb80ba07be2e414db283c8b195ccb2f3c02

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

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

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

47be86f3b0d7cc8cec55e7e8c70f61bbd10c0eac29d2ac511c1a9aff55f817af0b525bd4463557d283c39d770e04389fbd5b4c93223f91b4050fab3b0ab7c827