2025年还没有结束，但我已经为Certora的四个重大胜利感到自豪： (1) 招聘了50%的顶尖Web3安全研究人员， (2) 引入了一位新CEO以将公司提升到一个新水平， (3) 开源了证明器， (4) 加倍努力将LLMs与FV结合。