El equipo de Verificación Formal está colaborando con Aptos para desarrollar una versión formalmente verificada del circuito de Inicio de Sesión Sin Llave de Aptos. El inicio de sesión sin clave permite a los usuarios crear y autenticar cuentas de Aptos usando identidades OIDC como Google o Apple ID.