CoinPostで今最も読まれています

個人情報管理のカギとなる「ゼロ知識証明」とは|XSL Labs寄稿

画像はShutterstockのライセンス許諾により使用

ゼロ知識証明(ゼロ・ナレッジ・プルーフ)

巨大デジタル企業にとって、個人情報は極めて重要なものとして考えられています。GAFAM及びソーシャルメディアのユーザーの個人情報を不適切に乱用されたり、マーケティング戦略のため第三者へ情報を売ったりすることによる利益は数百億円を突破しています。*1

世界中の皆さんの個人情報が利用されています。そして、パワフルなツールが開発されているため、個人情報の収集・分析をすることがとても容易になっています。

個人情報で利益を出す企業の「データビジネス」よりも、2018年の選挙コンサルティング会社の英ケンブリッジ・アナリティカによる、フェイスブック利用者のデータの不正共有についてのスキャンダルは、民主主義を危険にさらすということを示しました。

Web広告の分野では、データを収集・分析します。これは「顧客体験を向上させる」ためとしていますが、実際は個人情報の取扱いが適切であるか、誰がどんな目的のために取り扱うかは謎です。

2018年5月25日から施行された「RGPD」(EU一般データ保護規則)は、データ収集を行う際、ユーザーから明確な同意を得ることを目的とした管理規則で、2021年の3月にフランス政府はこの規制を導入しました。

さらに、中央サーバーにある中央集権型のデータはハッカーにとても狙われやすいです。毎日のようにハッキングされ、ダークウェブでは個人情報などの違法取引(売買)が横行しています。*2

XSLラボは、本人が個人情報を取り扱うことができるソリューションを提供します。ゼロ知識証明プロトコル(ゼロ・ナレッジ・プルーフまたは「ZKP」)は、重要な情報を伝えず、真実であることのみを証明できる仕組みです。ZKP技術は個人情報についてのトラブルを解説するソリューションだと考えています。

ゼロ知識証明の歴史

ある人(証明者「prover」または「holder」)が別の人(検証者、承認者「verifier」)に対する対話というプロトコルです。与えられた情報が「真実であるステートメント」ということを証明する手法で、このステートメント以外の情報を相手に伝えません。

80年代にGoldwasser、MicaliとRackoffにより*3「ゼロ知識対話証明」という概念が示されました。ZKPは両当事者での「相互作用」として、証明を提供して検証されるシステムです。さらに、ステートメントを納得させたい証明者と証明の正しさを確かめる検証者が存在し、納得させる暗号プロトコルです。

ZKPは完全性、健全性、ゼロ知識性という、三つの不可欠な性質を満たしています。

完全性→真であることを確認する検証者は、証明する証明者のステートメントが真であるならば、「真実である」ことが必ず分かります。

健全性→証明者のステートメントが偽であるなら、検証者は高い確率でそれが偽であると見抜けます。(ですので、基本的にズルすることはできません)

ゼロ知識性→証明者のステートメントが真であるなら、検証者は「真である」以外の何の知識も得られず、これ以外の情報は提示されることはありません。

ゼロ知識対話証明(ZKIP)プロトコルは、Σプロトコル(シグマ、sigma)とよく呼ばれ、この技術を構成する3つの要素を満たしています。

信頼性→証明者(holder)は検証者(verifier)へ情報が「真実」であることを証明できると約束。

チャレンジ→検証者(verifier)からの応答。

返答→証明者(holder)によるこのチャレンジへの応答。

「アリババの洞窟」の比喩

知識なしの証明を提示する仕組み(ゼロ知識証明-ZKP)を理解するため、「アリババと40人の盗賊」という有名な物語に基づいた「How to explain Zero-Knowledge Protocols to your Children」*4(子供にゼロ知識証明プロトコルを簡単に説明する)を紹介します。

主人公のアリババは財布を盗まれ、泥棒が洞窟に逃げた。洞窟は円状になっており、二つの道2(A左とB右)がある。アリババは洞窟まで泥棒を追いかけたが、泥棒が右に行ったか、左に行ったか、アリババは分からない。左に行ってみたら、袋小路だ。右に行ったってことね!とアリババは思う。しかし、右の道を歩いたら、また袋小路になってしまった。

数日経って、ある泥棒はもう一回アリババの財布を盗んで、同じく洞窟に逃げたが、また消えてしまった。そして一か月後、とうとうアリババは、毎回泥棒と違う道を選んでしまうなんて偶然じゃない!と思うようになった。アリババは洞窟に隠れて泥棒を待ち、そしてアリババは信じられないものを目にした。洞窟内に呪文を唱えると通れる、 2つの通路をつなぐ隠しドアがあったのだ。

では、今、「アリス」と「ボブ」というキャラクターを創造してみましょう。

そして、魔法の言葉で開けられるドアがあって、外につながっています。ボブは、アリスに魔法の言葉を教えずに、魔法の言葉を知っていることを、アリスに証明したいと考えています。(情報を開示せず、知っていることだけをアリスに証明したいとのことです)。

このため、下記のステップが必要になります:

ステップ1: アリスはなにも見ずに、アリスは洞窟の外で待っている。ボブはAかB道を使って洞窟の中に入って、ドアの前で待っている。

ステップ2: アリスは道にある二股の前まで行って、コインを指で弾く。結果によって、要求した道、「A」また「B」を、ボブに叫んで伝える。

ステップ3: アリスが要求した道からボブが戻ってくるか確認し、要求通りであれば検証できるとのことです。

Zero Knowledge Proof

そうすると、ボブが魔法の言葉を本当に知っているなら、アリスが選んだ道から戻ってくるはずです。しかし、もし魔法の言葉が分からないのであれば、1回目で成功する確率は50%になります。数回試してみたら、たとえば20回、成功する確率は(1/(2^20)) * 100 %になってしまいます。100万分の1回以下しか成功する可能性がありません。

つまり、このシナリオでは、1回だけでボブは魔法の言葉が分かることは信じがたいですが、数回やってもボブは間違えないなら、魔法の言葉が分かっていると確率的に判断することができます。

他のシナリオも想像してみましょう。ボブは1回のみで魔法の言葉を知っていることをアリスに証明したいです。最初からアリスは道にある二股の前で待っていて、ボブはA道から出て、B道から戻ってきます。これが意味するのは、魔法の言葉 を知っているということです。

ちなみに、このシナリオをアリスまた第三者・誰でも「保存」することができます。このため、ボブが魔法の言葉を知っていることが誰でも分かってしまいます。

最初のシナリオでは、ゼロ知識対話証明「ZKIP」(Zero-Knowledge Interactive Proof)ケースといいます。二人でのゲームのように、HolderがVerifierにProofを提示して検証する際、ZKPプロトコルを使います。理解しましたでしょうか。

データ保護とZKP

2018年9月に公開されたレポートにおいて、フランス共和国データ保護機関(CNIL)は、RGPD (EU一般データ保護規則)の条件をブロックチェーンに適用することはできないと述べました。*5 その理由は、ブロックチェーンの特徴はデータの「不可逆性」です。

つまり、ブロックチェーンに保存されているデータを変更・削除することができません。たしかに、ブロックチェーンは偽造・改変が不可能だけでなく、削除も不可能です。そうなると、データへのアクセス権および「データポータビリティ」権を共有・管理することができますが、データを訂正・削除する権利を付与することは無理です。仏CNILは「本人よりリクエストされても、ブロックチェーンでの登録された情報を改変・削除することは不可能です」と述べました。このため、暗号化されていない個人情報をブロックチェーン技術により登録しないこと、としています。

たとえば、全ての伝統的なトランザクション(ビットコインなど)の取引は、基本的にパブリックブロックチェーンの仕組みを採用しています。ブロックチェーンでのユーザーの資産残高を確認することができるし、本名ではなくユーザー名を使うので、プライバシーが守られていると感じるユーザーが多いかもしれませんが、実は、ユーザー名から個人情報を調べることが可能ですので、保護されているとは言えないかもしれません。*6

匿名性が高い仮想通貨「Zcash」(ジー・キャッシュ)のプロジェクトは、暗号理論の非対話ゼロ知識証明(NIZK)を用いてパブリックブロックチェーン上で取引のプライバシーを保護するプロジェクトです。このように、すべてのデータが隠れています。*7

このプロジェクトは「zk-SNARKs」と関連しています。「zk-SNARKs」は、ブロックチェーンでの秘匿化やイーサリアムのスケーリング問題のソリューションとして考えられています。(英:「Zero-Knowledge Succinct Non-Interactive Argument of Knowledge」:「ゼロ知識」(Zero-Knowledge)、「簡潔」(Succinct)、「非対話型」(Non-interactive)、「知識の議論」(ARgument of Knowledge))

簡単に言うと、知識なしで非常に小さい証明(1つのメッセージのみ)を生成し、証明において証明者と検証者の間での対話をする必要がない仕組みです。

JPモルガン及びINGグループなども、この「ゼロ知識証明」の仕組みを取引のプライバシーを確保するために興味を示しています。*8

まず、ZKPの2つのプロトコル:ぜロ知識対話証明「ZKIP」(Zero-Knowledge Interactive Proof)および非対話ゼロ知識証明「NIZK」(Non-Interactive Zero-Knowledge Proof)の違いを説明します。ZKIPプロトコルというのは、証明者と検証者の間で何度も対話をする必要がありますが、NPIKプロトコルの方は、1つのステートメントで証明し、すべての検証者はアクセス可能です。

XSL Labsでの「SDIソリューション」は、ZKPの仕組みと同じように働く予定です。

典型的な例を挙げましょう。年齢確認の場合、本当の年齢の証明を提出する必要もなく、「未成年者ではない」証明を提出したら十分です。このため、本人の生年月日及び本当の年齢は誰にも分かりません。さらに、身分証や免許証に記載されている重要な個人情報を提示する必要ありません。もっと簡単なケースを見てみましょう。預金残高を明らかにせず、十分なお金を持っているかどうかのみを開示することは可能です(「Yao’s Millionnaire Problem」*9は、ZKPソリューションのおかげで解決できます)。

つまり、ZKP技術は、データの安全保障の問題およびRGPDの厳しい規則に関しての将来の有望なソリューションだと考えています。ゼロ知識証明の仕組みは、さまざまな業界にて少しづつ活用され、現在、金融機関はすでにこのテクノロジーを活用しています。個人情報の保護、認証、電子投票などのために、そろそろアプリもZKPを利用するでしょう。ZKPの使用はこれから広く採用され、未来、標準的な機能として使われると信じています、XSL Labは、インターネットの信頼性に貢献し、インターネットの新しい使い方に革命を起こすというミッションを遂行しています。

(1) https://washingtonmonthly.com/magazine/july-august-2019/what-your-data-is-really-worth-to-facebook/

(2) https://www.futura-sciences.com/tech/actualites/cybersecurite-vaut-votre-profil-facebook-twitter-dark-web-81572/

(3) https://core.ac.uk/download/pdf/194164868.pdf

(4) http://pages.cs.wisc.edu/~mkowalcz/628.pdf

(5) https://www.cnil.fr/sites/default/files/atoms/files/la_blockchain.pdf

(6) https://orbilu.uni.lu/bitstream/10993/18679/1/Ccsfp614s-biryukovATS.pdf

(7) https://z.cash/technology/zksnarks/

(8) https://www.ing.com/Newsroom/News/Blockchain-innovation-improves-data-privacy-for-clients.htm

(9) https://research.cs.wisc.edu/areas/sec/yao1982-ocr.pdf

『超早割』終了まで
0
0時間
0
0
さらに!! CoinPost読者限定割引コード提供中!
クリックしてコードをコピー
CoinPost App DL
注目・速報 相場分析 動画解説 新着一覧
06/12 水曜日
18:42
OP Mainnet、ステージ1にランクアップ - Fault Proof実装でL2をリード
OP Mainnetがステージ1に到達し、Fault Proofを実装してセキュリティを強化しました。イーサリアムL2の中でもステージ2獲得に向けて一歩リードしている状況
18:11
バイナンス、アルトコイン5銘柄(通貨ペア)を6月14日に上場廃止へ
大手暗号資産(仮想通貨)取引所バイナンスは、アルトコイン5銘柄(5つの通貨ペア)の上場廃止を発表した。6月14日 UTC3:00(日本時間12:00)を以て売買できなくなる。
16:40
WebX2024、最大55%OFFの超早割チケット販売終了まであと2日
国内最大手暗号資産(仮想通貨)メディアCoinPostが企画・運営するWeb3カンファレンス「WebX2024」。超早期割のセール期限まであと2日。
16:09
Animoca Brands JapanがNFTローンチパッド「SORAH」を開始へ キャプ翼NFTなど発売
Animoca Brands JapanがNFTローンチパッド「SORAH」を2024年6月18日に開始。第一弾は『Captain Tsubasa Team Collection』など3つのコレクションを発売予定。NFT初心者も安心のインターフェース採用。
13:55
EUイノベーションハブ報告書、匿名銘柄や仮想通貨ミキサーで犯罪捜査が困難に
欧州連合域内安全保障イノベーションハブは、初の暗号化レポートを公開。暗仮想通貨に関するセクションでは、犯罪収益のマネロンに仮想通貨が広く使用されていると指摘し、ゼロ知識証明とレイヤー2ソリューションが普及すると、資金の追跡がより困難になると懸念を表明した。
13:20
韓国ビッサム、仮想通貨「ICP」新規上場予定
リスティングの対象仮想通貨銘柄は、DFINITYの「ICP(インターネット・コンピューター)」で、韓国ウォンとの通貨ペアで韓国時間12日17時より提供を始める。
13:05
リップル社、スタンダード・カストディの買収完了 米ドルステーブルコイン発行へ
米リップル社は、スタンダード・カストディの買収を完了したと発表した。今年後半に米ドル建てステーブルコインの発行を目指す。
12:10
ビットコイン66000ドルまで続落、CPIとFOMCを間近に控えリスク回避売り先行か
暗号資産(仮想通貨)相場では、重要指標のCPIとFOMC及びパウエル議長記者会見を控える中、ビットコインは66000ドルまで続落した。リスク回避売りが先行しており、アルト相場からの資金抜けが目立つ。
11:20
トランプ氏、ビットコインマイニングの支持を表明 企業CEOらと面会
共和党の有力大統領候補であるドナルド・トランプ氏は12日、仮想通貨ビットコイン採掘の支持を表明し、首都DCでビットコインマガジンのDavid Bailey CEOや米上場のマイニング大手のCEOらと会談。
10:45
ポリゴン、970億円規模の助成金プログラム開始
仮想通貨ポリゴンの開発者を支援するため、Polygon Labsは970億円規模の助成金プログラムを発表。プログラムの概要や特化する領域を説明している。
09:45
「ビットコインは大幅に過小評価」米著名投資家ビル・ミラー氏見解
米国の著名投資家ビル・ミラー氏は、仮想通貨ビットコインは依然として大幅に過小評価されているとの見解を発表した。
08:45
ステーブルコイン発行企業テザー、今後1年間10億ドル超の投資見通し
同社はすでにステーブルコインの発行で保有している米国債から巨額の利益を出しており、24年1Q(1月から3月)では約14兆円の米国債保有だった。
07:45
カナダ上場企業DeFi Technologies、ビットコイン財務戦略採用 
東証上場のメタプラネットは11日新たに2億5000万円相当のビットコインを購入することを報告した。合計141 BTCの保有数となった。
07:10
「仮想通貨投資家はFOMCに注目を」レポート
仮想通貨相場における米FOMCの重要性などを記載したレポートをK33リサーチが公開。ビットコインやイーサリアムの相場に言及している。
06:30
バイナンスラボ、Zircuit(ザーキット)に出資
Zircuitネットワークは現在35億ドル以上のステーク資産をホストしており、「Build to Earn」プログラムには1,100件以上の申し込みがあった。

通貨データ

グローバル情報
一覧
プロジェクト
アナウンス
上場/ペア