Het team voor formele verificatie werkt samen met Aptos om een formeel geverifieerde versie van de Aptos Keyless Login-circuit te ontwikkelen. Keyless Login stelt gebruikers in staat om Aptos-accounts te creëren en te authenticeren met OIDC-identiteiten zoals Google of Apple ID.