🚨 Обнаружены две критические уязвимости в ZisK с использованием CIVER 🚨 В сотрудничестве с командой разработчиков @ziskvm группа Коста применяет формальные методы для проверки рекурсивных/агрегирующих цепей ZisK. 🔗Больше деталей здесь: 🧵
4,78K