Formal Verification-teamet samarbeider med Aptos for å utvikle en formelt verifisert versjon av Aptos Keyless Login-kretsen. Keyless Login lar brukere opprette og autentisere Aptos-kontoer ved bruk av OIDC-identiteter som Google eller Apple ID.