這段由 ZKM 教育負責人 @alicelingl 與 @VeridiseInc 的 Jon Stephens 討論形式安全方法應用的對話，對於任何構建 ZK 基礎設施的人來說都是必聽內容 🤝