@ethernews
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.
https://ethernews.org/story/cysic-venus-v032-fixes-recursion-soundness-gaps-in-9e117da896?utm_source=farcaster&utm_medium=social&utm_campaign=story
0 reply
0 recast
0 reaction