Techub News повідомляє, згідно з Cointelegraph, що Aptos оголосила про завершення формальної верифікації своєї динамічної механізму планування та довела за допомогою математичних методів, що ця система працює згідно з проектом. Цей проект стверджує, що є першим, хто реалізував цю технологію у Layer 1 блокчейні. Формальна верифікація, яка використовує математичні методи для доведення коректності системи, може гарантувати безпомилкову роботу протоколу блокчейну відповідно до задуму. Цей крок спрямований на підвищення безпеки та надійності мережі, забезпечуючи більш високий рівень захисту інфраструктури блокчейну.