フォーマル検証チームはAptosと協力し、Aptosキーレスログイン回路の正式な検証版を開発しています。 キーレスログインにより、ユーザーはGoogleやApple IDなどのOIDCアイデンティティを使ってAptosアカウントを作成・認証できます。