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 على تأمين مليارات الدولارات من القيمة بثقة.