🚨 Dois bugs críticos de solidez encontrados no ZisK usando CIVER 🚨 Em colaboração com a equipe de desenvolvimento do @ziskvm, o grupo Costa está aplicando métodos formais para verificar os circuitos de recursão/agregação do ZisK. 🔗Mais detalhes aqui: 🧵
4,77K