لماذا الآن؟
لدينا بالفعل فريق مذهل مكون من 80 شخصا مع 25 باحثا في مجال الأمن الداخلي وبعض من أفضل العملاء (المتكررين) في هذا المجال ، بما في ذلك @aave و @LidoFinance و @Balancer و @ether_fi و @eigenlayer و @MakerDAO و @MorphoLabs و @safe و @SiloFinance و @ethstatus.
نحن الآن نعمل على توسيع فريق الإدارة لدينا للوصول إلى المرحلة التالية.
في السنوات الأخيرة ، قمنا بحل واحدة من أكثر المشكلات تعقيدا في علوم الكمبيوتر: تطوير أداة تحقق رسمية للبرامج القابلة للتنفيذ التي يمكن لمطوري البرامج استخدامها بسلاسة. وهم يستخدمونها.
Certora Prover هو المنتج الرائد للتحقق من برامج Solidity و Rust المعقدة ، والتي هي بعيدة عن متناول أدوات التحقق الرسمية الأخرى في كل من Web3 و Web2.
لقد أثبتنا أنفسنا كرواد في التحقق الرسمي. الآن ، نحن نتطور إلى مركز الانتقال لجميع حلول أمان Web3.
لماذا ، من بين العديد من الأشخاص العظماء الذين عملت معهم في مسيرتي المهنية ، كان سيث هو الخيار الأمثل؟
ذلك لأن Certora هي شركة فريدة تتمحور حول العملاء تجمع بين الخبرة الهندسية والأمنية القوية ، وهذا يتطلب رئيسا تنفيذيا يكون: (1) تقنيا ، ويمكنه فهم المواصفات ، والأخطاء المعقدة ، وهندسة البرمجيات ، (2) خبير في حركات المبيعات و BD ، (3) يتمتع بخبرة عميقة في الإدارة ، (4) متفان ويهتم بالناس ، و (5) قائد يتمتع بسجل حافل من النجاح.
قد تتساءل عما سيكون عليه دوري الجديد. لن أذهب إلى أي مكان ولن أتولى منصب رئيس أو رئيس. كما هو الحال دائما ، ما زلت أبحث عن تحديات جديدة للتعامل معها ، خاصة في بناء أدوات الأمان.
أخطط للنهوض ب Certora بثلاث طرق: (1) من خلال تعزيز العلاقات مع العملاء وزيادة المبيعات. (2) من خلال وضع Certora كشركة أمنية رائدة ؛ و (3) من خلال إدارة فريق بحث جديد سيقوم بسرعة بتطوير نماذج أولية لمنتجات أمنية جديدة ونقلها إلى قسم البحث والتطوير القوي لدينا.
أتطلع أيضا إلى قضاء المزيد من الوقت مع عملائنا وفهم احتياجاتهم بشكل أفضل ، حتى تتمكن Certora من الاستمرار في تمكينهم من "التحرك بسرعة وعدم كسر أي شيء" من خلال شحن بروتوكولات مبتكرة وآمنة.
إذا كان لديك أي أسئلة أو ملاحظات ، فإن الرسائل المباشرة الخاصة بي مفتوحة.
أنا متحمس لما هو قادم وأتطلع إلى الاستمرار في بناء مستقبل Web3 الآمن معا.
21.67 ألف
88
المحتوى الوارد في هذه الصفحة مُقدَّم من أطراف ثالثة. وما لم يُذكَر خلاف ذلك، فإن OKX ليست مُؤلِّفة المقالة (المقالات) المذكورة ولا تُطالِب بأي حقوق نشر وتأليف للمواد. المحتوى مٌقدَّم لأغراض إعلامية ولا يُمثِّل آراء OKX، وليس الغرض منه أن يكون تأييدًا من أي نوع، ولا يجب اعتباره مشورة استثمارية أو التماسًا لشراء الأصول الرقمية أو بيعها. إلى الحد الذي يُستخدَم فيه الذكاء الاصطناعي التوليدي لتقديم مُلخصَّات أو معلومات أخرى، قد يكون هذا المحتوى الناتج عن الذكاء الاصطناعي غير دقيق أو غير مُتسِق. من فضلك اقرأ المقالة ذات الصِلة بهذا الشأن لمزيدٍ من التفاصيل والمعلومات. OKX ليست مسؤولة عن المحتوى الوارد في مواقع الأطراف الثالثة. والاحتفاظ بالأصول الرقمية، بما في ذلك العملات المستقرة ورموز NFT، فيه درجة عالية من المخاطر وهو عُرضة للتقلُّب الشديد. وعليك التفكير جيِّدًا فيما إذا كان تداوُل الأصول الرقمية أو الاحتفاظ بها مناسبًا لك في ظل ظروفك المالية.