Этот разговор между руководителем отдела образования ZKM @alicelingl и Джоном Стивенсом из @VeridiseInc о применении формальных методов безопасности обязателен к прослушиванию для всех, кто строит инфраструктуру ZK 🤝