Echipa de Verificare Formală colaborează cu Aptos pentru a dezvolta o versiune verificată formal a circuitului de autentificare fără cheie Aptos. Keyless Login permite utilizatorilor să creeze și să autentifice conturi Aptos folosind identități OIDC, cum ar fi Google sau Apple ID.