2025 年還沒有結束，但我已經為 Certora 的四個重大勝利感到自豪： (1) 聘用 50% 的頂尖 Web3 安全研究人員，(2) 引入一位新 CEO 以將公司提升到新水平，(3) 開源 prover，(4) 加倍努力將 LLM 與 FV 結合。