Das Team für formale Verifikation arbeitet mit Aptos zusammen, um eine formal verifizierte Version des Aptos Keyless Login-Schaltkreises zu entwickeln. Keyless Login ermöglicht es Benutzern, Aptos-Konten zu erstellen und zu authentifizieren, indem sie OIDC-Identitäten wie Google oder Apple ID verwenden.