L'équipe de Vérification Formelle collabore avec Aptos pour développer une version formellement vérifiée du circuit de Connexion Sans Clé d'Aptos. La Connexion Sans Clé permet aux utilisateurs de créer et d'authentifier des comptes Aptos en utilisant des identités OIDC telles que Google ou Apple ID.