Команда формальной верификации сотрудничает с Aptos для разработки формально проверенной версии схемы входа без пароля Aptos. Вход без пароля позволяет пользователям создавать и аутентифицировать аккаунты Aptos, используя идентичности OIDC, такие как Google или Apple ID.