أخبار Techub، وفقًا لتقرير من Cointelegraph، أعلنت Aptos أن آلية الجدولة الديناميكية الخاصة بها قد أكملت التحقق الرسمي وأثبتت باستخدام الطرق الرياضية أن النظام يعمل وفقًا للتصميم. يدعي المشروع أنه أول بلوكشين من الطبقة الأولى يحقق هذا التقنية. يستخدم التحقق الرسمي الطرق الرياضية لإثبات صحة النظام، مما يضمن أن بروتوكولات البلوكشين تعمل بدون ثغرات كما هو متوقع. يهدف هذا الإجراء إلى تعزيز أمان الشبكة وموثوقيتها، وتوفير ضمانات أعلى للبنية التحتية للبلوكشين.