2025 рік ще не закінчився, але я вже пишаюся чотирма великими перемогами в Certora: (1) найм 50% провідних дослідників безпеки Web3, (2) залучення нового генерального директора для підвищення рівня компанії, (3) відкриття кода для перевірки та (4) подвоєння зусиль у поєднанні LLM з FV.