أبتوس تصبح أول منصة L1 تدعم التحقق الرسمي من الجدولة الديناميكية

صحيفة Odaily Planet Daily: أصدرت Aptos على منصة X بيانًا تقول فيه إن Aptos هو أول L1 يدعم التحقق الرسمي من الجدولة الديناميكية، ويمكن إثبات تشغيله وفقًا للتصميم رياضيًا. وتقول Aptos إن الذكاء الاصطناعي يكتب المعايير، ويثبت صحتها رياضيًا، وMove Prover هو بمثابة العراف، وهو طبقة الثقة بين السوق والآلات.