🚨 Se encontraron dos errores críticos de solidez en ZisK utilizando CIVER 🚨 En colaboración con el equipo de desarrollo de @ziskvm, el grupo Costa está aplicando métodos formales para verificar circuitos de recursión/agregación de ZisK. 🔗Más detalles aquí: 🧵
4,77K