「マイナンバーカード、大丈夫？」
「また新しいサービスに個人情報を登録か…」

私たちの生活がデジタルになるほど、こんな不安はつきまといます。便利さとプライバシーは、どちらかを諦めなければいけないのでしょうか？

もし、その常識を根底から覆す技術があるとしたら…？

インターネット登場以来の革命になる可能性を秘めた、とんでもない技術が日本から生まれようとしています。

その名は「AMATELUS（アマテラス）」。

この記事では、このAMATELUSが一体何者で、私たちの未来をどう変えるのか、世界一わかりやすく解説します。

1. AMATELUSって、そもそも何？

一言でいうと、AMATELUSは「あなただけの『デジタル身分証』を、究極のプライバシーを守りながら使えるようにする技術」です。

…と言われても、ピンとこないですよね。身近な例で考えてみましょう。

コンビニでお酒を買うとき、年齢確認で免許証を見せたとします。店員さんは「20歳以上か」を知りたいだけなのに、あなたの名前、住所、生年月日、顔写真まで全部見えてしまいます。個人情報のダダ漏れです。

AMATELUSが普及した世界では、こうなります。

スマホを「ピッ」。画面には「20歳以上です」の表示。これだけでOK。

店員さんには「20歳以上である」という事実だけが伝わり、あなたの名前も住所も一切伝わりません。

AMATELUSは、このような「証明したいことだけを、安全に証明できる」仕組みを、行政手続きや金融、医療など、社会のあらゆる場面で使えるようにすることを目指しています。

2. 「数学が証明した」って、どういうこと？

AMATELUSの最大の特徴は、その安全性が「形式的証明」という手法で、数学的に保証されていることです。

「形式的証明」なんて聞くと難しそうですが、「完璧な建物の設計図」に例えるとイメージしやすくなります。

• 普通のセキュリティ対策

  1. 「この鍵はピッキングに強いです」「この壁は頑丈です」と、部分的な安全性をアピールするようなものです。でも、もしかしたら建物の全体設計そのものに思わぬ欠陥があるかもしれません。

• AMATELUSの「形式的証明」

  1. 建物の「設計図そのもの」を数学の言葉で厳密にチェックし、「この設計図に従って作る限り、構造上の欠陥で建物が崩れることは絶対にありえない」と証明するようなものです。

AMATELUSはこの「形式的証明」によって、主に以下のことを保証しています。

• 仕組み（設計図）に穴がないこと: 他人になりすましたり、資格を偽造したりするような「プロトコルの論理的な欠陥」が存在しないこと。

• 個人情報が紐づかないこと: A店で使ったあなたと、B市役所で手続きしたあなたが、裏側で結びつけられない（名寄せされない）こと。

• 情報が漏れないこと: 「20歳以上」を証明するときに、それ以外の情報（例えば「性別」や「本当は45歳である」など）が一切漏れないこと。

もちろん、これはあくまで「設計図」の話。どんなに完璧な設計図でも、手抜き工事（プログラムのバグ）や、人智を超えた大災害（電磁パルスにより広範囲で全ての電子機器が同時に故障、異星文明の超高性能コンピュータによる暗号解読）のリスクがゼロになるわけではありません。

それでも、「設計図の段階では、欠陥は数学的に存在しない」と証明されているのは、これまでの技術とは信頼性のレベルが桁違いに高いことを意味するのです。

3. ただの技術の寄せ集めじゃない「3つの革新」

「でも、似たような技術は今までもあったんじゃ？」と思うかもしれません。AMATELUSは、既存の最先端技術を組み合わせていますが、その「組み合わせ方」がまさに革命的なのです。

革新性①：誰にも頼らない「自己完結型」ID

今のIDシステムの多くは、GoogleやApple、あるいはブロックチェーンといった「どこかの誰か」が管理するサーバーやインターネットに依存しています。もしそのサーバーがダウンしたり、Wi-Fiに接続できなくなったら、私たちのIDは使えなくなってしまいます。

一方、AMATELUSは特定の企業やインフラに頼りません。あなたのスマホの中だけで「私は私です」と証明が完結します。これは、災害時やネットが不安定な場所でも使える、驚くほど頑丈な仕組みです。

革新性②：プライバシーと「万が一の監査」の神業的両立

AMATELUSは、普段はあなたのプライバシーを徹底的に守ります。誰がどこでIDを使ったか、誰も追跡できません。

しかし、国家資格を濫用したり不正な取り引きが強く疑われて裁判所から令状を発行された場合にのみ、捜査機関が「特定のオンライン手続きの記録だけ」を追跡できるような仕組みも用意されています。

「完全な匿名性」と「社会秩序を守るための最低限の追跡可能性」。この矛盾するような２つを、数学的な裏付けのもとで見事に両立させているのが、AMATELUSの本当にすごいところです。

革新性③：失効確認に依存しない堅牢性

例えば、失効した免許証が使われないように、警察は失効情報をデータベースで管理しています。つまり、確認にはインターネットによるデータベースへのアクセスが必須です。

AMATELUSのデジタル証明書は、災害でインターネットが使えなくなって失効リストをデータベースから取得できない状況になっても、スマホにバッテリーさえ残っていればその数学的な安全性を保ったまま使える（引っ越し前に発行された紙の住民票でも証明書としての正当性があることと同じ）ように設計されています。これもまた、システム全体の頑丈さに繋がっています。

4. なぜ「インターネット以来の革命」なのか？

このAMATELUSが社会に普及すると、私たちの生活はどう変わるのでしょうか。

インターネットは、「情報」の革命でした。

誰もが自由に情報にアクセスし、発信できる世界が生まれました。

AMATELUSが起こすのは、「信頼」の革命です。

誰もが「自分であること」「資格があること」を、プライバシーを守りながら、安全かつ自由に証明できるようになります。「信頼」を証明するためのコストや手間が、劇的に下がるのです。

＜AMATELUSが実現する未来＞

• 行政: あらゆる行政手続きがスマホで一瞬。市役所はあなたの個人情報を最小限しか扱わずに済むので、情報漏洩リスクも激減します。

• 医療: 救急搬送時、意識がなくてもスマホが「アレルギー」「服薬記録」「血液型」「病歴」「緊急連絡先」「保険資格」のうち、そのときの処置に必要な情報だけを医療関係者の専用端末に自動で提示。「うつ病の既往」や「HIV感染歴」など救命判断に関係ないプライベートな情報は秘密のままです。

• 経済: 酒たばこの購入、銀行口座開設、契約書へのサイン、ローン審査、シェアオフィスやカーシェアの資格と本人確認。すべてがオンラインでもオフラインでもプライバシーを守りながらスムーズになります。

インターネットが現代社会の「情報のインフラ」になったように、AMATELUSは未来社会の「信頼のインフラ」になる可能性を秘めています。

それは、個人と社会、個人と国家の関係性を根本から変えてしまうほどの、大きなインパクトを持つでしょう。

まとめ

AMATELUSのすごさをまとめると、こうなります。

• 究極のプライバシーを持つ、あなただけのデジタル身分証。

• その安全性は「設計図レベルで完璧」だと数学が証明済み。

• 社会の「信頼」のあり方を塗り替える、インターネット級の可能性。

あなたの生活が、そして社会の常識が、大きく変わる日がすぐそこまで来ているのかもしれません。

論文：AMATELUSプロトコルの論理的完全性に関する形式的証明