Aptos: أول شبكة L1 تدعم العقود ذات الجدولة الديناميكية المدعومة بالذكاء الاصطناعي

أخبار شبكة币界، أعلنت Aptos أن شبكتها أصبحت أول شبكة L1 تدعم العقود الديناميكية المساعدة بالذكاء الاصطناعي، وذكرت أن Move Prover يمكن أن يعمل كـ “عرافة” بين السوق والوكيل الآلي. وأكدت Aptos أن مجموعة عقودها الذكية Move يمكن إثباتها رياضيًا أن سلوكها يتوافق مع التصميم، حتى مع استخدام العقود لوظائف عالية المستوى والتوجيه الديناميكي. وذكرت Aptos Labs على وسائل التواصل الاجتماعي أن الذكاء الاصطناعي يكتب المعايير، وأن الإثبات الرياضي يثبت صحتها، وأن Move Prover يعمل كطبقة ثقة لضمان الثقة بين السوق والآلات. وأشار الفريق أيضًا إلى أن لغة العقود الذكية Move هي اللغة الوحيدة المدمجة التي تدعم التحقق الأصلي بشكل مدمج، وقد وسعت دعمها للتوجيه الديناميكي. وفقًا لوثائق Move Prover الخاصة بـ Aptos، تم استخدام المدقق على مستوى البروتوكول للتحقق من المنطق الأساسي، بما في ذلك التجميد، والقياس، ونشر الكود، ودعم هياكل البيانات. وأظهرت الدراسات الحديثة أن التوجيه الديناميكي يزيد بشكل كبير من تعقيد مساحة الحالة، مما يتطلب من مهندسي Aptos إعادة تصميم شروط التحقق وتوليدها وفحصها. ويأتي هذا التقدم في التحقق المدعوم بالذكاء الاصطناعي مصحوبًا بخطة تمويل بقيمة 50 مليون دولار من Aptos، تهدف إلى دعم الأسواق على السلسلة وأنظمة الذكاء الاصطناعي.