2025 er ikke over ennå, men jeg er allerede stolt av fire store seire hos Certora: (1) å ansette 50 % av de beste Web3-sikkerhetsforskerne, (2) å hente inn en ny administrerende direktør for å ta selskapet til neste nivå, (3) å åpne kildekoden for det beviste, og (4) å doble innsatsen for å kombinere LLM-er med FV.