Soundness failure means the verifier cannot distinguish valid from invalid state transitions; if this was exploited before discovery, no future patch restores integrity to already accepted blocks.
1
Soundness failure means the verifier cannot distinguish valid from invalid state transitions; if this was exploited before discovery, no future patch restores integrity to already accepted blocks.