📢 April-July update on fuzzing efforts at
@ConsensysAudits (w/ colleagues at
@tu_wien): found 6 bugs (2 soundness, 4 completeness) in 4 projects (gnark, SP1, Pico, Ziren)! 🔥
Glad to help! 🙌
@Consensys @gnark_team @LineaBuild @brevis_zk @ProjectZKM @SuccinctLabs!