🚨 Deux bugs critiques de solidité trouvés dans ZisK en utilisant CIVER 🚨 Dans une collaboration avec l'équipe de développement @ziskvm, le groupe Costa applique des méthodes formelles pour vérifier les circuits de récursion/agrégation de ZisK. 🔗Plus de détails ici : 🧵
4,77K