2025 henüz bitmedi, ama Certora'da dört büyük zaferle gurur duyuyorum: (1) en iyi Web3 güvenlik araştırmacılarının %50'sini işe almak, (2) şirketi bir üst seviyeye taşımak için yeni bir CEO getirmek, (3) kanıtlayıcıyı açık kaynak olarak kullanmak ve (4) LLM'leri FV ile birleştirmeyi iki katına çıkarmak.