熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
這是正式驗證 zk 證明者的一個關鍵里程碑——在建立 ZK 生態系統中的信任和可驗證性方面至關重要的一步。
8月6日 23:43
🚨 在 ZisK 中發現兩個關鍵的健全性漏洞，使用 CIVER 🚨
在與 @ziskvm 開發團隊的合作中，Costa 團隊正在應用形式方法來驗證 ZisK 的遞歸/聚合電路。
🔗更多詳情請見：
🧵
1.68K
熱門
排行
收藏