"Зірен — складний. Ручні аудити мають значення, але безперервна автоматизована перевірка є не менш критичною.» — @sd_eigen, технічний директор @ProjectZKM В епізоді #95 (записаному на @EFDevcon) технічний директор ZKM Стівен Дуан пояснює, чому забезпечення zkVM вимагає більше, ніж просто періодичних аудитів — це вимагає формального робочого процесу верифікації, який може виявляти недостатньо обмежену логіку та виникаючі помилки в міру розвитку системи. У цьому епізоді розглядається, як ZKM і @VeridiseInc підходять до першого офіційного аудиту Ziren, чому zkVM створюють унікальні виклики для верифікації та як автоматизована верифікація стане частиною поточного конвеєра безпеки Ziren: