Zespół Weryfikacji Formalnej współpracuje z Aptos, aby opracować formalnie zweryfikowaną wersję obwodu logowania bez hasła Aptos. Logowanie bez hasła pozwala użytkownikom na tworzenie i uwierzytelnianie kont Aptos za pomocą tożsamości OIDC, takich jak Google lub Apple ID.