2025 aún no ha terminado, pero ya estoy orgulloso de cuatro grandes logros en Certora: (1) contratar al 50% de los principales investigadores de seguridad Web3, (2) incorporar un CEO nuevo para llevar la empresa al siguiente nivel, (3) abrir el código del provedor y (4) redoblar esfuerzos en la combinación de LLMs con FV.