2025 aún no ha terminado, pero ya estoy orgulloso de cuatro grandes logros en Certora: (1) contratar al 50% de los mejores investigadores de seguridad en Web3, (2) traer a un nuevo CEO para llevar la empresa al siguiente nivel, (3) hacer open-source el prover, y (4) redoblar esfuerzos en combinar LLMs con FV.