2025 är inte över än, men jag är redan stolt över fyra stora framgångar på Certora: (1) att anställa 50 % av de främsta Web3-säkerhetsforskarna, (2) att ta in en ny VD för att ta företaget till nästa nivå, (3) att göra den bevisade öppen källkod, och (4) att satsa ännu mer på att kombinera LLM med FV.