🚨 在 ZisK 中發現兩個關鍵的健全性漏洞,使用 CIVER 🚨 在與 @ziskvm 開發團隊的合作中,Costa 團隊正在應用形式方法來驗證 ZisK 的遞歸/聚合電路。 🔗更多詳情請見: 🧵
4.73K