ZK-SNARKについて
初期の暗号通貨ユーザーにとって、プライバシーは想定されていましたが、保証されていませんでした。データサイエンティスト、ハッカー、法執行機関による取り組みにより、仮名データを使用して個人を再識別するのは比較的簡単であることが判明しました。これに対処するために、開発者は、zk-SNARKを支援するZcashのようなプライバシーに重点を置いたコインを作成しました。これらの証明により、当事者は情報を明らかにすることなく、情報の所有を検証することができます。
ゼロ知識証明
ゼロ知識証明を使用すると、一方の当事者が、情報自体を明らかにすることなく、特定の情報を知っていることを別の当事者に証明できます。従来の証明では、一方の当事者が情報に完全にアクセスできる必要があります。対照的に、ゼロ知識証明は開示することなく検証を提供し、プライバシーとセキュリティを強化します。
ZK-SNARKの例
銀行にダイヤル錠付きの金庫があると想像してください。中のメモには、あなただけが知っている署名と名前が印刷されています。友人とそれについて議論するとき、あなたはメモの内容を明らかにせず、それを知っていると主張します。友人が音符に書かれた名前を教えてくれれば、実際の音符を明らかにすることなく、その組み合わせを知っていることを証明することになります。ブロックチェーン上でも、zk-SNARKは同様に機能し、開示することなく知識を証明します。
ZK-SNARKへの批判
批評家は、証明パラメータの作成に使用された秘密鍵に誰かがアクセスすると、偽の証明が生成され、偽造トークンが作成される可能性があると主張しています。これを防ぐために、Zcashは証明プロトコルを複数の関係者に分散させました。さらに、Zcashの初期のブロックには、開発者を補償するために20%の「創設者税」が含まれており、無限にトークンが作成される可能性についての懸念が生じています。2022年のHalo2システムの実装により、信頼設定の必要性がなくなり、プライバシーの問題に対処しました。
ZK-SNARKとZK-STARKの違い
Zk-STARKは、Zero-KnowledgeScalable Transparent Argument of Knowledgeの略です。複数の証人が関与する場合、zk-SNARKよりも効率的です。zk-SNARKには信頼セットアップが必要ですが、zk-STARKには信頼セットアップが必要ないため、よりスケーラブルで透過的になります。
結論
Zk-SNARKは、ブロックチェーン上の情報の安全かつプライベートな検証を提供する暗号証明です。これにより、ユーザーは情報を明らかにすることなくその所有を証明できるようになり、プライバシーとセキュリティが強化されます。zk-SNARKは複雑ではありますが、Zcashのような暗号通貨でユーザーのプライバシーを維持するために非常に重要です。それらの原則を理解することは、ブロックチェーンエコシステムにおけるそれらの重要性を理解するのに役立ちます。
結論
ZK-SNARKは、ブロックチェーンテクノロジーにおけるプライバシーとセキュリティに革命をもたらしました。ゼロ知識証明を有効にすることで、開示することなく情報を検証するトラストレスで安全な方法が提供されます。この進歩は、プライバシーを重視した暗号通貨とより広範なブロックチェーン業界にとって極めて重要であり、安全でプライベートなトランザクションと対話を保証します。
