Дом ZK Радио #95: Стивен Дуань, технический директор ZKM, и Бен Сепански, главный специалист по безопасности Veridise - уже доступно на Spotify и YouTube 🔳 В этом эпизоде мы беседуем с @ProjectZKM CTO @sd_eigen и @VeridiseInc CSO @bensepanski, чтобы разобрать полный аудит Ziren, производственной версии zkVM от ZKM. Разговор охватывает, почему zkVM представляют уникальные риски безопасности, почему большинство критических ошибок возникает из-за недостаточно ограниченных цепей, и как Veridise создала индивидуальный процесс проверки для формальной проверки ограничений Ziren - несмотря на то, что Ziren использует необычную ISA (MIPS32r2) и архитектуру цепей на основе Plonky3. Стивен обсуждает, почему ZKM рассматривает формальную проверку как основное требование для устойчивой безопасности, как сложность Ziren (слой эмуляции, система ограничений, предварительные компиляции) формирует стратегию проверки и что этот аудит открывает для будущих итераций. Spotify: YouTube: