خذ سريع
- جمعت Certora 36 مليون دولار في جولة من السلسلة B بقيادة Jump Crypto ، بمشاركة من Tiger Global و Galaxy Digital.
- توفر الشركة التي تتخذ من إسرائيل مقراً لها أدوات تحليل الأمان لعقود blockchain الذكية.
أعلنت شركة Certora ، وهي شركة مقرها إسرائيل توفر أدوات تحليل الأمان للعقود الذكية ، أنها جمعت 36 مليون دولار في جولة من السلسلة B بقيادة Jump Crypto.
تضمنت الجولة مشاركة من Tiger Global و Galaxy Digital والمستثمرين الحاليين من السلسلة A ، بما في ذلك Electric Capital و ACapital و Framework Ventures و Coinfund و Lemniscap و Coinbase و VMware ، وفقًا لبيان صدر يوم الثلاثاء.
يتيح Certora لمطوري العقود الأذكياء اكتشاف الأخطاء قبل نشر عمليات تدقيق ما بعد الكود. وقال البيان إن بروتوكولات DeFi بما في ذلك Aave و Balancer و Compound Finance و MakerDao و Sushi وغيرها تستخدم Certora لحماية عقودها الذكية من الأخطاء قبل الإطلاق كنقطة تفتيش نهائية بعد اكتمال تدقيق الكود.
الشركةتقول إنها تؤمن حوالي 50 مليار دولار من مشاريع التمويل اللامركزي (DeFi) بتقنيات مشابهة لتلك المستخدمة في برامج السلامة الحرجة مثل برامج إلكترونيات الطيران. تم تطوير تقنية Certora خلال عقدين من البحث الأكاديمي في التحقق الرسمي ولغات البرمجة.
سوراب شارما ، شريك ورئيس الاستثمارات فيالقفز Crypto، قال: "بدعم من خبراء على مستوى عالمي ، تستفيد Certora من التحقق الرسمي لتوظيف مجموعة من المنتجات القوية والقابلة للتطوير والتي توفر إمكانية إعادة استخدام واختبار دقيق."
يقود Certora شموئيل ساجيف ، كرسي علوم الكمبيوتر في جامعة تل أبيب ورائد في التحقق الرسمي ، وهو مجال البحث الذي يدعم التكنولوجيا الكامنة وراء Certora.
يتمتع فريق Certora المكون من 65 شخصًا بخبرة واسعة في الرياضيات والأمن ويتضمن محاضرين من كورنيل وجامعة واشنطن ، بالإضافة إلى مهندسي الأمن من الشركات المالية التقليدية مثل JPMorgan.