Il 2025 non è ancora finito, ma sono già orgoglioso di quattro grandi successi in Certora: (1) assunzione del 50% dei migliori ricercatori di sicurezza Web3, (2) ingresso di un nuovo CEO per portare l'azienda al livello successivo, (3) open-sourcing del prover e (4) raddoppiare gli sforzi per combinare LLM con FV.