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