Il team di Verifica Formale sta collaborando con Aptos per sviluppare una versione formalmente verificata del circuito di Accesso Senza Chiave di Aptos. L'Accesso Senza Chiave consente agli utenti di creare e autenticare account Aptos utilizzando identità OIDC come Google o Apple ID.