🚨 Two critical soundness bugs found in ZisK using CIVER 🚨 In a collaboration with the @ziskvm development team, the Costa group is applying formal methods to verify recursion/aggregation circuits of ZisK. 🔗More details here: 🧵
4,77K