Ziren завершила независимый обзор безопасности от @VeridiseInc, подтвердив свою модель выполнения как хорошо определённую машину в условиях противодействия. zkVM может потерпеть неудачу несколькими способами: неясные переходы состояния, недостаточно ограниченная память или семантика системных вызовов, изменяемые трассировки или среда выполнения, которая рушится под воздействием неправильно сформированных программ. Это сбои на уровне машины, которые, если они присутствуют, подрывают смысл самого доказательства. 🧵👇