عام 2025 لم ينته بعد، لكنني فخور بالفعل بأربعة انتصارات كبيرة في Certora: (1) توظيف 50٪ من أفضل باحثي أمن الويب 3، (2) تعيين مدير تنفيذي جديد لرفع الشركة إلى المستوى التالي، (3) فتح المصدر للبركة، و(4) مضاعفة الجهد في دمج نماذج اللغة الكبيرة مع FV.