「証明が事実であることを示すが、詳細を一切明かさない」――ゼロ知識証明

▰ ゼロ知識証明とは一体何か？
それは30年以上前に三人の暗号学者によって提案されたもので、多くの人は最初、信じ難い、信じられないと感じたでしょう。なぜなら、普段人に納得させるには事実や根拠を示す必要があり、「騙していない」だけで信じさせることはできないからです。

▰ しかし数学はこんなに神秘的
例を挙げると、あなたが超マイナーな映画の隠し要素を知っていて、それを証明したいけれどもネタバレはしたくない場合、

「映画のあるキャラクターが45分頃に持っているものに特別なマークがついている」と友達に言うことができます。

友達が見て実際にそのマークを確認すれば、あなたが本当に見たことが証明されますが、要素の内容は一切教えません。

これがゼロ知識証明の核心的な論理です：「口で言う」ことを「詳細で検証する」ことに変えることで、「証明したい」ことと「秘密にしたい」ことの両立を一気に解決します。

▰ ただし、この技術には大きな短所もあります：証明の生成には非常に高いコンピュータ性能が必要です。

昔、数学の問題を解くのに10分かかり、絶対に間違いのない検証レポートを作成するには、解き方の各ステップを最小単位に分解して一つ一つ確認しなければならず、その作業量は何十倍にも膨れ上がります。

▰ そこで私は @cysic_xyz というプロジェクトに注目しました。彼らの方向性は非常に正しいと感じています。

みんながGPUを使ってゼロ知識証明を生成している中、GPUは繰り返し作業を並列処理するのに長けているからです。

しかし問題は、GPUはもともとゲーム映像や動画レンダリング用に設計されたものであり、この用途専用ではないという点です。

一方、@cysic_xyzが目指すのは、ゼロ知識証明用の専用チップを設計し、「効率的に証明を生成する」ことを軸にした設計です。

私はこれに遠い未来を見据えた先見の明を感じています。もしこれが実現すれば、ゼロ知識証明のコストは大きく削減され、普及も格段に容易になるでしょう。

実は、ゼロ知識証明は私たちの身近にもうすぐやってきます。例えば、インターネットで水道光熱費を支払うときにデータ漏洩を心配しなくて済む、重要な書類に署名して改ざんを防ぐ、さらにはゲームアカウントの不正検証などにも使われる可能性があります。

そして、@cysic_xyzのハードウェア面での革新は、それを日常生活に浸透させるための重要な一歩となるかもしれません。
#cysic