Teamet för formell verifiering samarbetar med Aptos för att utveckla en formellt verifierad version av Aptos Keyless Login-krets. Keyless Login gör det möjligt för användare att skapa och autentisera Aptos-konton med OIDC-identiteter som Google eller Apple ID.