Tým pro formální ověřování spolupracuje s Aptos na vývoji formálně ověřené verze okruhu Aptos Keyless Login. Keyless Login umožňuje uživatelům vytvářet a autentizovat účty Aptos pomocí OIDC identit, jako jsou Google nebo Apple ID.