Tim Verifikasi Formal berkolaborasi dengan Aptos untuk mengembangkan versi sirkuit Aptos Keyless Login yang diverifikasi secara formal. Login Tanpa Kunci memungkinkan pengguna membuat dan mengautentikasi akun Aptos menggunakan identitas OIDC seperti ID Google atau Apple.