A equipe de Verificação Formal está colaborando com a Aptos para desenvolver uma versão formalmente verificada do circuito de Login Sem Chave da Apos. O Login Sem Chave permite que os usuários criem e autentiquem contas Aptos usando identidades OIDC, como Google ou Apple ID.