🚨للتو إن: قدمت شركة @CertoraInc، وهي شركة أمن وتدقيق العملات الرقمية، نظام الذكاء الاصطناعي Composer مفتوح المصدر يدمج التحقق الرسمي مباشرة في كود العقود الذكية الذكاء الاصطناعي يتم إنشاؤه. تقوم الأداة بإجراء فحوصات رياضية للسلامة قبل التنفيذ.