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 Clave de Aptos. El Inicio de Sesión Sin Clave permite a los usuarios crear y autenticar cuentas de Aptos utilizando identidades OIDC como Google o Apple ID.