2025 n'est pas encore terminé, mais je suis déjà fier de quatre grandes victoires chez Certora : (1) embaucher 50 % des meilleurs chercheurs en sécurité Web3, (2) faire venir un nouveau PDG pour amener l'entreprise au niveau supérieur, (3) rendre le prouveur open-source, et (4) renforcer la combinaison des LLM avec la FV.