熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
@NethermindSec 的正式驗證團隊在 @ethereumfndn 的支持下，通過 2024 ZK 資助計劃，開發了 Halva：一個用於在 @leanprover 中正式驗證 Halo2 zk 電路的基礎設施。
我們使用 Halva 發現了在實際 Scroll zk 電路中存在的一個關鍵錯誤。🧵
1/
5.1K
熱門
排行
收藏