(بيان صحفي – تل أبيب – يافا، إسرائيل، 21 نوفمبر 2025)
أعلنت Certora، منصة ضمان الأمان الكاملة التي تثق بها الفرق الأكثر تقدمًا في Web3، اليوم عن Certora AI Composer، وهي منصة ترميز الذكاء الاصطناعي مفتوحة المصدر والتي تتكون من الذكاء الاصطناعي مع التحقق الرسمي لجعل تطوير العقود الذكية أسرع وأكثر أمانًا.
على عكس أدوات “الذكاء الاصطناعي للكود” العامة التي تركز على السرعة والراحة، يضمن Certora AI Composer أن كل مقتطف يتم إنشاؤه بواسطة الذكاء الاصطناعي يلتزم بقواعد السلامة الرياضية قبل تشغيله. من خلال دمج تقنية التحقق الرسمية التي أثبتت جدواها من Certora مباشرةً في حلقة إنشاء الذكاء الاصطناعي، يمكن للمطورين استكشاف أفكار التصميم بثقة مع العلم أن ثوابت الأمان يتم فحصها باستمرار بدلاً من تعديلها وتعديلها.
“إن استخدام الذكاء الاصطناعي لا ينبغي أن يعني أبدًا المساس بالسلامة. وأوضح مولي ساغيف، مؤسس Certora AI Composer، أن الذكاء الاصطناعي والتحقق الرسمي يمكن أن يعملا معًا لجعل تطوير العقود الذكية جديرًا بالثقة بشكل افتراضي”. “إن إصدار ألفا هذا هو دعوتنا للمجتمع لمساعدتنا في تشكيل مستقبل البرمجة الذاتية الآمنة.”
سيكون Certora AI Composer Alpha مفتوح المصدر بدءًا من 4 ديسمبر وسيكون متاحًا للمجتمع على GitHub. يتم تشجيع المطورين على التجربة وتقديم التعليقات والمساهمة في تشكيل معيار جديد للتطوير المعتمد على الذكاء الاصطناعي.
الميزات الرئيسية:
- عمليات التحقق الرسمية المتكاملة للتعليمات البرمجية التي تم إنشاؤها بواسطة الذكاء الاصطناعي
- إمكانية التوسعة مفتوحة المصدر لإنشاء وحدات السلامة الخاصة بك
- بدعم من Certora Prover، محرك التحقق الموثوق به في الصناعة من Certora
ستستضيف Certora أيضًا حدث بث مباشر في 4 ديسمبر بعنوان “الذكاء الاصطناعي يلتقي بالتحقق: مناقشة مفتوحة مع باحثي Certora”، والذي سيقدم وصفًا تفصيليًا لكيفية عمل Certora AI Composer وما يمكنه فعله لتعزيز الأمان.
يمكن للمستخدمين الاشتراك في الحدث هنا، ومتابعتهم على Twitter علىCertoraInc للحصول على التحديثات والتذكيرات المستقبلية.
حول سيرتورا
Certora هو شريك ضمان الأمان الذي تثق به الفرق الأكثر تقدمًا في Web3. تأسست Certora في عام 2018 على يد رواد في لغات البرمجة والأساليب الرسمية، وهي تساعد البروتوكولات الرائدة مثل Lido وAave وUniswap وCompound على تأمين المليارات من القيمة بثقة.
مكافأة الشراكة السرية لقراء CryptoPotato: استخدم هذا الرابط للتسجيل وفتح 1500 دولار في مكافآت BingX Exchange الحصرية (عرض لفترة محدودة).
