2025 ist noch nicht vorbei, aber ich bin bereits stolz auf vier große Erfolge bei Certora: (1) 50 % der besten Web3-Sicherheitsforscher eingestellt, (2) einen neuen CEO gewonnen, um das Unternehmen auf die nächste Stufe zu bringen, (3) den Prover als Open Source veröffentlicht und (4) verstärkt auf die Kombination von LLMs mit FV gesetzt.