"Ziren сложен. Ручные аудиты важны, но непрерывная автоматизированная проверка так же критична." - @sd_eigen, технический директор @ProjectZKM В эпизоде #95 (записанном на @EFDevcon) технический директор ZKM Стивен Дуань объясняет, почему обеспечение безопасности zkVM требует больше, чем периодические аудиты - это требует рабочего процесса формальной верификации, который может обнаруживать недостаточно ограниченную логику и возникающие ошибки по мере эволюции системы. Эпизод разбирает, как ZKM и @VeridiseInc подходят к первому аудиту формальной верификации Ziren, почему zkVM представляют собой уникальные вызовы для верификации и как автоматизированная проверка станет частью текущей системы безопасности Ziren: