Cysic Venus v0.3.3 patches SNARK soundness gaps, invalidates prior proofs
A critical security update to the Venus proof system fixes flaws in transcript binding and state constraints, requiring new proving keys and rejecting all earlier proofs.
More: Cysic Venus releases