熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
fioscan 🤌🇦🇷
事件領先 @ @CertoraInc。上一@poapxyz。
為我們與 @CertoraInc 所取得的進展感到驕傲，對於接下來的發展更是充滿期待。
2026 將會更大。💚
2025年12月4日
2025 年還沒有結束，但我已經為 Certora 的四個重大勝利感到自豪： (1) 聘用 50% 的頂尖 Web3 安全研究人員，(2) 引入一位新 CEO 以將公司提升到新水平，(3) 開源 prover，(4) 加倍努力將 LLM 與 FV 結合。
80
熱門
排行
收藏