## Zk-Snark とは何ですか?
Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (ZK-SNARK) は、実際のデータを明らかにすることなく、二者が特定の情報についての知識を証明できる暗号化の一種です。これは、Zero-knowledge Succinct Non-interactive ARgument of Knowledge の略です。言い換えれば、これは、一方の当事者が、自分たちが何を知っているかを正確に明らかにすることなく、自分たちが何かを知っていることを証明する効率的な方法です。 Zk-Snarks は、2006 年に MIT と IBM の暗号学者によって初めて開発され、それ以来、ビットコインやイーサリアムなどの暗号通貨が関与する取引中のプライバシーを確保する手段としてますます普及してきました。
## Zk-Snark はどのように機能しますか?
ZK SNARK の核心は、検証そのもの以外の追加情報を開示することなく、特定のデータまたはプログラムに関する記述を検証するために使用できる暗号証明を 2 者間で提供することによって機能します。このプロセスは、両当事者が公開鍵と秘密鍵のペアを作成し、オープン チャネル上でそれらを交換することから始まります。次に、秘密鍵を使用して「ゼロ知識」証明を生成し、一方の当事者が特定の事実を隠しながら、他方の当事者が特定の事実を知っていることを確認できるようにします。
この検証プロセスの背後にある基礎的な数学には、多項式コミットメントおよびゼロ知識証明と組み合わせた楕円曲線暗号を使用して、簡潔な非対話型引数 (SNARG) を作成することが含まれます。これらのツールを使用すると、マイナー、ノード、ウォレットを含むトランザクションのすべての参加者が、イーサリアムやビットコインなどのブロックチェーン ネットワーク内で実行を成功させるために厳密に必要とされる以上の機密情報やデータにアクセスする必要なく、保有資産や行動に関する互いの主張を独立して検証できます。現金。
## Zk Snarks を使用する利点と欠点?
zk snarks を使用する主な利点は、イーサリアムやビットコイン キャッシュなどのブロックチェーン上で暗号通貨取引を行う際に、ユーザーのプライバシーをより高いレベルで提供できることです。これは、これらのネットワークのコンセンサス ルールセット内で最初に合意された内容を超えて、取引に関する追加の詳細を明らかにする必要がないためです。 。さらに、これらのプロトコルは、高度に最適化された使用アルゴリズムにより、スマート コントラクトの検証に必要な計算能力も大幅に削減します。このため、複数の関係者が関与する大規模な dApp を扱う場合、従来の方法よりも適しています。ただし、zksnark テクノロジーに関連する潜在的な欠点の 1 つは、その複雑さにあります。複雑な内部動作を考えると、多くの開発者は、ピア間でトラストレス システムを構築する非常に便利なツールであるにもかかわらず、内部でどのように動作するかを理解するのが難しいと感じるかもしれません。
