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