Potrivit DeepChao TechFlow, recent, MoveBit, cel mai timpuriu colaborator la ecosistemul Move, și Wolfgang Grieskamp, șeful Aptos Move, au publicat în comun lucrarea academică FMBC-24 (Formal Methods for Blockchains). Lucrarea subliniază că securitatea contractelor în lanț Aptos este asigurată prin metode formale de verificare, permițându-i să asigure performanța securității într-o varietate de scenarii de aplicație.
Dezvoltatorii de bază MoveBit Luis Loh și Zorrot Chen au fost profund implicați în construcție și au contribuit semnificativ la asigurarea securității Aptos Framework. Este demn de menționat că Wolfgang va demonstra, de asemenea, munca de verificare formală Aptos în care MoveBit este profund implicat la Conferințele ETAPS.