جمعت Certora جولة تمويل بقيمة 36 مليون دولار من السلسلة B بقيادة Jump Crypto

جمعت Certora جولة تمويل بقيمة 36 مليون دولار من السلسلة B بقيادة Jump Crypto

حصلت شركة Certora، وهي شركة مقرها إسرائيل توفر أدوات تحليل أمان العقود الذكية، على 36 مليون دولار في جولة من السلسلة B بقيادة Jump Crypto.

ووفقًا لبيان صدر يوم الثلاثاء، شارك في الجولة كل من Tiger Global وGalaxy Digital والمستثمرين الحاليين من الفئة A مثل Electric Capital وACapital وFramework Ventures وCoinfund وLemniscap وCoinbase وVMware.

تسمح Certora لمطوري العقود الذكية بتحديد الأخطاء قبل نشر التعليمات البرمجية بعد عمليات التدقيق. يتم استخدام Certora بواسطة بروتوكولات التمويل اللامركزي مثل Aave وBalancer وCompound Finance وMakerDao وSushi وغيرها لحماية عقودهم الذكية ضد الأخطاء قبل الإطلاق، وفقًا للبيان.

وفقًا للشركة، فقد حصلت على حوالي 50 مليار دولار في مشاريع التمويل اللامركزي (DeFi) باستخدام تقنيات مشابهة لتلك المستخدمة في أنظمة السلامة الحرجة مثل برامج إلكترونيات الطيران. إن تقنية Certora هي نتيجة عقدين من العمل الأكاديمي في مجال التحقق الرسمي ولغات البرمجة.

وقال سوراب شارما، الشريك ورئيس الاستثمارات في Jump Crypto: "بدعم من خبراء عالميين، تستفيد Certora من التحقق الرسمي لتوظيف مجموعة من المنتجات القوية والقابلة للتطوير والتي توفر قابلية إعادة استخدام واختبار تفصيلي أعلى بكثير."

شموئيل ساجيف، أستاذ علوم الكمبيوتر في جامعة تل أبيب ورائد في مجال التحقق الرسمي، وهو الموضوع الأكاديمي الذي يدعم تكنولوجيا Certora، هو مؤسس الشركة.

يضم فريق Cetora المكون من 65 شخصًا أكاديميين من جامعة كورنيل وجامعة واشنطن، بالإضافة إلى مهندسين أمنيين من المؤسسات المصرفية التقليدية مثل JPMorgan.

إخلاء المسؤولية: يتم تقديم المعلومات الموجودة على هذا الموقع كتعليق عام للسوق ولا تشكل نصيحة استثمارية. نحن نشجعك على إجراء البحوث الخاصة بك قبل الاستثمار.

انضم إلى CoinCu Telegram لتتبع الأخبار: https://t.me/coincunews

تابع قناة CoinCu على اليوتيوب | تابع صفحة CoinCu على Facebook

بندق

أخبار CoinCu

جمعت Certora جولة تمويل بقيمة 36 مليون دولار من السلسلة B بقيادة Jump Crypto

جمعت Certora جولة تمويل بقيمة 36 مليون دولار من السلسلة B بقيادة Jump Crypto

حصلت شركة Certora، وهي شركة مقرها إسرائيل توفر أدوات تحليل أمان العقود الذكية، على 36 مليون دولار في جولة من السلسلة B بقيادة Jump Crypto.

ووفقًا لبيان صدر يوم الثلاثاء، شارك في الجولة كل من Tiger Global وGalaxy Digital والمستثمرين الحاليين من الفئة A مثل Electric Capital وACapital وFramework Ventures وCoinfund وLemniscap وCoinbase وVMware.

تسمح Certora لمطوري العقود الذكية بتحديد الأخطاء قبل نشر التعليمات البرمجية بعد عمليات التدقيق. يتم استخدام Certora بواسطة بروتوكولات التمويل اللامركزي مثل Aave وBalancer وCompound Finance وMakerDao وSushi وغيرها لحماية عقودهم الذكية ضد الأخطاء قبل الإطلاق، وفقًا للبيان.

وفقًا للشركة، فقد حصلت على حوالي 50 مليار دولار في مشاريع التمويل اللامركزي (DeFi) باستخدام تقنيات مشابهة لتلك المستخدمة في أنظمة السلامة الحرجة مثل برامج إلكترونيات الطيران. إن تقنية Certora هي نتيجة عقدين من العمل الأكاديمي في مجال التحقق الرسمي ولغات البرمجة.

وقال سوراب شارما، الشريك ورئيس الاستثمارات في Jump Crypto: "بدعم من خبراء عالميين، تستفيد Certora من التحقق الرسمي لتوظيف مجموعة من المنتجات القوية والقابلة للتطوير والتي توفر قابلية إعادة استخدام واختبار تفصيلي أعلى بكثير."

شموئيل ساجيف، أستاذ علوم الكمبيوتر في جامعة تل أبيب ورائد في مجال التحقق الرسمي، وهو الموضوع الأكاديمي الذي يدعم تكنولوجيا Certora، هو مؤسس الشركة.

يضم فريق Cetora المكون من 65 شخصًا أكاديميين من جامعة كورنيل وجامعة واشنطن، بالإضافة إلى مهندسين أمنيين من المؤسسات المصرفية التقليدية مثل JPMorgan.

إخلاء المسؤولية: يتم تقديم المعلومات الموجودة على هذا الموقع كتعليق عام للسوق ولا تشكل نصيحة استثمارية. نحن نشجعك على إجراء البحوث الخاصة بك قبل الاستثمار.

انضم إلى CoinCu Telegram لتتبع الأخبار: https://t.me/coincunews

تابع قناة CoinCu على اليوتيوب | تابع صفحة CoinCu على Facebook

بندق

أخبار CoinCu

تمت الزيارة 78 مرة، 1 زيارة اليوم