🚨 Două bug-uri critice de soliditate găsite în ZisK folosind CIVER 🚨 Într-o colaborare cu echipa de dezvoltare @ziskvm, grupul Costa aplică metode formale pentru a verifica circuitele de recursivitate/agregare ale ZisK. 🔗Mai multe detalii aici: 🧵
4,77K