Rok 2025 ještě neskončil, ale už jsem hrdý na čtyři velká vítězství v Certora: (1) najmutí 50 % nejlepších výzkumníků bezpečnosti ve Web3, (2) přivedení čerstvého generálního ředitele, který posune firmu na další úroveň, (3) otevření proverátora a (4) zdvojnásobení úsilí o kombinaci LLM s FV.