2025 is nog niet voorbij, maar ik ben al trots op vier grote overwinningen bij Certora: (1) het aannemen van 50% van de beste Web3-beveiligingsonderzoekers, (2) het binnenhalen van een nieuwe CEO om het bedrijf naar het volgende niveau te brengen, (3) het open-source maken van de prover, en (4) het verdubbelen van de inzet op het combineren van LLM's met FV.