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