2025 isn’t over yet, but I’m already proud of four big wins at Certora: (1) hiring 50% of the top Web3 security researchers, (2) bringing in a fresh CEO to take the company to the next level, (3) open-sourcing the prover, and (4) doubling down on combining LLMs with FV.