ゼロ知識証明は、ある主張を支える私的な情報を隠したまま、その主張が真であると検証者に納得させる暗号技術です。裏付けとなる情報はウィットネスと呼ばれます。主張や指定された公開入力は見える場合があり、「ゼロ知識」は検証者が何も知れないという意味ではありません。
証明が示すこと
証明者はウィットネスから証拠を生成し、検証者が確認します。完全性は、真の主張について正しく作られた証明が受理される性質です。健全性は、偽の主張を真として通す可能性を制限します。ゼロ知識性は、公開された主張を超えるウィットネスの情報が証明から漏れるのを防ぎます。
例えば、署名付きの資格情報が年齢条件を満たすことを、生年月日を明かさずに証明できます。ただし、発行者と証明に組み込まれたルールは依然重要です。ブロックチェーンでは、プライバシーを保つ支払いや外部で行った計算の検証にも使われます。
プライバシーはアプリの設計次第
証明方式によって計算コスト、証明サイズ、初期設定の前提が異なります。信頼できるセットアップが必要な方式も不要な方式もあります。
証明が示せるのは、その方式の前提の下で組み込まれた主張だけです。制約の誤りや実装バグは有効性を損ないます。公開された取引情報やネットワークのメタデータから情報が漏れる場合もあり、ZK技術だけでアプリが匿名になるわけではありません。