Certora تطلق أول منصة ترميز آمنة بالذكاء الاصطناعي للعقود الذكية
21 نوفمبر 2025 – تل أبيب-يافا، إسرائيل
أعلنت Certora، منصة ضمان الأمان الشاملة التي تثق بها أكثر الفرق تقدماً في Web3، اليوم عن Certora AI Composer، وهي منصة ترميز مفتوحة المصدر تجمع بين الذكاء الاصطناعي والتحقق الشكلي لجعل تطوير العقود الذكية أسرع وأكثر أماناً.
على عكس أدوات "الذكاء الاصطناعي للبرمجة" العامة التي تركز على السرعة والراحة، يضمن Certora AI Composer أن كل جزء من الشيفرة التي ينتجها الذكاء الاصطناعي يلتزم بقواعد الأمان الرياضية قبل تشغيله. من خلال تضمين تقنية التحقق الشكلي المثبتة من Certora مباشرة في حلقة توليد الذكاء الاصطناعي، يمكن للمطورين استكشاف أفكار التصميم بثقة مع العلم أن ثوابت الأمان يتم التحقق منها باستمرار بدلاً من تعديلها لاحقاً.
قال مؤسس Certora، Mooly Sagiv: "استخدام الذكاء الاصطناعي لا يجب أن يعني أبداً التضحية بالأمان. يثبت Certora AI Composer أن الذكاء الاصطناعي والتحقق الشكلي يمكن أن يعملا معاً لجعل تطوير العقود الذكية جديراً بالثقة بشكل افتراضي. هذا الإصدار الأولي هو دعوتنا للمجتمع لمساعدتنا في تشكيل مستقبل البرمجة الذاتية الآمنة."
سيكون Certora AI Composer Alpha مفتوح المصدر ابتداءً من 4 ديسمبر، وسيكون متاحاً للمجتمع على GitHub. يُشجَّع المطورون على التجربة، وتقديم الملاحظات، والمساهمة في تشكيل معيار جديد للتطوير المدفوع بالذكاء الاصطناعي الموثوق به.
الميزات الرئيسية:
- فحوصات التحقق الشكلي المتكاملة للشيفرة التي ينتجها الذكاء الاصطناعي
- قابلية التوسعة مفتوحة المصدر لبناء وحدات الأمان الخاصة بك
- مدعوم من Certora Prover، محرك التحقق الموثوق به في الصناعة من Certora
ستستضيف Certora أيضاً حدث بث مباشر في 4 ديسمبر بعنوان "الذكاء الاصطناعي يلتقي التحقق: نقاش مفتوح مع باحثي Certora"، والذي سيقدم وصفاً مفصلاً لكيفية عمل Certora AI Composer وما يمكن أن يقدمه لتعزيز الأمان.
يمكن للمستخدمين التسجيل في الحدث من هنا، ومتابعتهم على تويتر عبر @CertoraInc للحصول على التحديثات والتذكيرات المستقبلية.
حول Certora
Certora هي شريك ضمان الأمان الذي تثق به أكثر الفرق تقدماً في Web3. تأسست في عام 2018 على يد رواد في لغات البرمجة والأساليب الشكلية، وتساعد Certora بروتوكولات رائدة مثل Lido وAave وUniswap وCompound على تأمين مليارات الدولارات من القيمة بثقة.
إخلاء المسؤولية: يعكس محتوى هذه المقالة رأي المؤلف فقط ولا يمثل المنصة بأي صفة. لا يُقصد من هذه المقالة أن تكون بمثابة مرجع لاتخاذ قرارات الاستثمار.
You may also like
تصفية العملات المشفرة تقترب من 2 مليار دولار مع تعمق تراجع bitcoin
أظهرت بيانات CoinGlass أنه تم تصفية مراكز عملات رقمية برافعة مالية بقيمة تقارب 2 مليار دولار خلال الأربع والعشرين ساعة الماضية. انخفض سعر Bitcoin إلى 82,000 دولار، وهو أدنى مستوى له منذ أبريل، قبل أن يرتد بشكل طفيف. ويقول المحللون إن استسلام حاملي المدى القصير وتراجع السيولة لا يزالان المحركين الرئيسيين للسوق.
LeverageShares تطلق أول صناديق ETF برافعة مالية 3x للـbitcoin وether في أوروبا وسط موجة بيع للعملات الرقمية يقودها المستثمرون الأفراد
تم الإطلاق وسط انخفاضات حادة في أسعار bitcoin و ether، مما يزيد من المخاطر المتعلقة بتوقيت المنتجات المتداولة ذات الرافعة المالية العالية. لا تزال التدفقات من المستثمرين الأفراد تفضل صناديق الاستثمار المتداولة في الأسهم، حتى مع تسجيل الصناديق المركزة على العملات المشفرة تدفقات خارجة حادة.
ستبدأ BitMine التابعة لـ Tom Lee في تقديم توزيعات أرباح سنوية مع انخفاض القيمة الصافية المحاسبية لخزينة ETH
أعلنت BitMine عن نتائجها للسنة المالية يوم الجمعة، حيث سجلت صافي دخل بقيمة 328 مليون دولار أو 13.39 دولار أمريكي في ربحية السهم المخففة بالكامل. شهدت أكبر خزانة للأصول الرقمية المركزة على ETH انخفاض mNAV إلى أقل من 1x وسط ضعف سوق العملات الرقمية. انخفض سهم BMNR بنحو 50% خلال الثلاثين يومًا الماضية، رغم أنه ارتفع بشكل ملحوظ منذ بداية العام، وستقدم الشركة توزيعات أرباح بقيمة 0.01 دولار أمريكي للسهم.
اليومي: تراجع سوق العملات الرقمية يزداد حدة، JPMorgan يلوم تدفقات الخروج من صناديق BTC و ETH ETF من المستثمرين الأفراد، التصفية خلال 24 ساعة تتجاوز 2 مليار دولار، والمزيد
تتداول Bitcoin بالقرب من 84,000 دولار، بعد أن تعافت من انخفاضات محلية جديدة بلغت حوالي 80,500 دولار في وقت سابق من يوم الجمعة، نتيجة بيانات الوظائف الأمريكية الأقوى من المتوقع. وذكر محللو JPMorgan أن التصحيح الأخير في سوق العملات الرقمية يقوده بشكل أساسي تدفقات الأفراد الخارجة من صناديق Bitcoin وEthereum الفورية، حيث تم سحب حوالي 4 مليارات دولار من هذه الصناديق حتى الآن في نوفمبر.
Trending news
المزيدأسعار العملات المشفرة
المزيد
