Rok 2025 jeszcze się nie skończył, ale już jestem dumny z czterech dużych osiągnięć w Certora: (1) zatrudnienie 50% najlepszych badaczy bezpieczeństwa Web3, (2) wprowadzenie nowego CEO, który poprowadzi firmę na wyższy poziom, (3) udostępnienie prover w open source, oraz (4) podwojenie wysiłków na rzecz połączenia LLM z FV.