Хотя zkVM (виртуальные машины с нулевым раскрытием) позволяют ZK-приложениям пропускать аудит своих пользовательских цепей через стандартизированную среду доказательства, сама zkVM требует строгого аудита для обеспечения надежности и полноты безопасности. В Ziren от @ProjectZKM аудит с @VeridiseInc устранил эти риски, обеспечив доказанную безопасность. Ключевые элементы включали: > Звуковость ограничений: Формальная верификация с помощью инструментов, таких как Picus от Veridise, для обеспечения детерминизма и точного соблюдения модели выполнения MIPS, согласования вычислений с доказательствами и разрешения неоднозначностей в памяти, системных вызовах и генерации трасс. > Тесты на фуззинг: Обширное тестирование на фуззинг и стресс-тестирование путей выполнения для подтверждения стабильности против враждебных или неправильно сформированных программ. Это представляет собой значительный этап, и мы остаемся приверженными достижению доказуемой безопасности для всей zkVM в будущем.