Команда Formal Verification співпрацює з Aptos для розробки формально верифікованої версії схеми безключового входу Aptos. Keyless Login дозволяє користувачам створювати та автентифікувати акаунти Aptos, використовуючи ідентифікації OIDC, такі як Google або Apple ID.