Aptos, dinamik yönlendirme için resmi doğrulamayı destekleyen ilk Katman 1 blok zinciri olduğunu duyurdu; bu sayede mekanizmalar doğru çalışmaları için matematiksel olarak doğrulanabiliyor. Bu gelişme, geliştiricilerin yapay zekayı kullanarak spesifikasyonlar yazmasına ve Move Prover'ı kullanarak akıllı sözleşme mantığını doğrulamasına olanak tanıyarak zincir üzerindeki programların doğrulanabilirliğini ve güvenliğini artırıyor.