2025 ainda não acabou, mas já estou orgulhoso de quatro grandes conquistas na Certora: (1) contratar 50% dos melhores pesquisadores de segurança Web3, (2) trazer um novo CEO para levar a empresa ao próximo nível, (3) tornar o provador de código aberto, e (4) intensificar a combinação de LLMs com FV.