Это важный этап на пути к формальной верификации zk провайдеров — необходимый шаг для установления доверия и проверяемости в экосистеме ZK.
The Costa Group
The Costa Group6 авг., 23:43
🚨 Обнаружены две критические уязвимости в ZisK с использованием CIVER 🚨 В сотрудничестве с командой разработчиков @ziskvm группа Коста применяет формальные методы для проверки рекурсивных/агрегирующих цепей ZisK. 🔗Больше деталей здесь: 🧵
2,08K