🚨 在 ZisK 中发现两个关键的健全性漏洞,使用 CIVER 🚨 在与 @ziskvm 开发团队的合作中,Costa 小组正在应用形式化方法来验证 ZisK 的递归/聚合电路。 🔗更多细节请见这里: 🧵
4.73K