ZK电台第80期:Veridise首席执行官Jon Stephens - 现已在Spotify和YouTube上线 🔳 在这一集中,我们与@FormallyJon,@VeridiseInc的首席执行官坐下来,探讨正式方法如何重塑Web3安全。 Jon回顾了Veridise从手动审计到工具增强审查的旅程,并介绍了@AuditHubDev,一个持续安全平台,将静态分析、模糊测试和正式验证引入您的CI/CD,以便在构建时捕捉到错误,而不是在发布后。 如果您关心更快地发布更安全的ZK系统,这一期适合您。 Spotify: YouTube: