[بيان صحفي – تل أبيب-يافا، إسرائيل، 21 نوفمبر/تشرين الثاني 2025]
أعلنت اليوم شركة Certora ، منصة ضمان الأمان الكاملة المفضلة للفرق الرائدة في Web3، عن إطلاق Certora AI Composer، وهي منصة مفتوحة المصدر لتشفير الذكاء الاصطناعي والتي تقوم بتأليف الذكاء الاصطناعي مع التحقق الرسمي لجعل تطوير العقود الذكية أسرع وأكثر أمانًا.
بخلاف أدوات "الذكاء الاصطناعي للترميز" العامة التي تُركز على السرعة والسهولة، يضمن Certora AI Composer التزام كل جزء مُولّد بالذكاء الاصطناعي بقواعد السلامة الرياضية قبل تنفيذه. من خلال دمج تقنية Certora المُجرّبة للتحقق الرسمي مباشرةً في دورة توليد الذكاء الاصطناعي، يُمكن للمطورين استكشاف أفكار التصميم بثقة، مع العلم أن ثوابت السلامة تخضع للتحقق باستمرار بدلاً من تغييرها.
"يجب ألا يُعرّض استخدام الذكاء الاصطناعي الأمان للخطر. يُظهر Certora AI Composer أن الذكاء الاصطناعي والتحقق الرسمي يُمكنهما العمل معًا لجعل تطوير العقود الذكية موثوقًا به افتراضيًا"، أوضح مولي ساجيف، مؤسس Certora. "هذا الإصدار التجريبي هو دعوتنا للمجتمع لمساعدتنا في رسم مستقبل البرمجة المستقلة الآمنة."
سيُصبح Certora AI Composer Alpha مفتوح المصدر ابتداءً من 4 ديسمبر، وسيكون متاحًا للمجتمع على GitHub. نشجع المطورين على التجربة وتقديم الملاحظات والمساعدة في وضع معيار جديد لتطوير الذكاء الاصطناعي المُوثّق.
المميزات الرئيسية:
- عمليات التحقق الرسمية المضمنة للكود الذي تم إنشاؤه بواسطة الذكاء الاصطناعي
- إمكانية التوسعة مفتوحة المصدر لإنشاء وحدات الأمان الخاصة بك
- مدعوم بواسطة Certora Prover، محرك التحقق الرائد في الصناعة من Certora
ستستضيف Certora أيضًا حدثًا مباشرًا في 4 ديسمبر بعنوان "الذكاء الاصطناعي يلتقي بالتحقق: مناقشة مفتوحة مع باحثي Certora"، والذي سيقدم وصفًا تفصيليًا لكيفية عمل Certora AI Composer وما يمكنه فعله لتحسين الأمان.
يمكن للمستخدمين التسجيل للحدث هنا ومتابعتهم على تويتر @CertoraInc للحصول على التحديثات والتذكيرات المستقبلية.
معلومات عن سيرتورا
سيرتورا هي الشريك الأمني الموثوق به لفرق Web3 الأكثر تقدمًا. تأسست عام ٢٠١٨ على يد رواد في لغات البرمجة والأساليب الرسمية، وتساعد بروتوكولات رائدة مثل Lido وAave وUniswap وCompound على تأمين مليارات الدولارات من القيمة.
تم نشر المقال Certora تطلق أول منصة تشفير آمنة للذكاء الاصطناعي للعقود الذكية لأول مرة على CryptoPotato .