#Zk-SNARKs
Zk-SNARKs (Zero Knowledge Succinct Non-Interactive Argument of Knowledge) は、マサチューセッツ工科大学 (MIT) の暗号学者 Eli Ben-Sasson、Alessandro Chiesa、Eran Tromer、Madars Virza によって開発された暗号技術です。これは、ブロックチェーン ネットワーク上で安全かつプライベートなトランザクションを作成するために使用されます。 Zk-SNARK はゼロ知識証明の一種で、当事者が特定の情報を詳細を明かさずに所有していることを証明できるようにします。このため、参加者間の信頼が不可能または望ましくない分散システムでの使用に最適です。
Zk-SNARKs の核心は、取引記録やその他の情報などの特定のデータ入力から、実際に入力自体を明らかにすることなく、「プルーフ」と呼ばれるデジタル署名を生成するアルゴリズムを使用することによって機能します。データ入力にアクセスできる人なら誰でも証明を検証できますが、内容を見ることはできません。たとえば、一方の当事者は、どのアドレスにそれらのコインが含まれているか、またはそこにどれだけのお金が保管されているかを明らかにすることなく、ビットコインネットワーク上で特定のコインを所有していることを証明できます。そのため、ZK Snarks は、従来の方法では比類のないプライバシー上の利点を提供しながら、ユーザーが自分の証明だけで互いの身元と真正性を確認できるようにします。
プライバシー機能に加えて、ZK Snarks は、トランザクション検証時の計算オーバーヘッドが低いため、従来のブロックチェーン テクノロジーと比較して拡張性も向上します。これにより、RSA や ECC などの公開キー暗号化方式のみに依存するブロックチェーンで可能となるよりも、1 秒あたりのトランザクション数が増加します。さらに、ステートメントの証明では、長距離であっても、必要なデータ入力を提供する以外に検証者と証明者の間で対話が必要ないため、このテクノロジーは、新しいブロックに関するコンセンサス決定を行うために複数のエンティティが同時に検証する必要がある場合に、Schnorr 署名のような対話型プロトコルに比べて大きな利点をもたらします。 Hyperledger Fabric や Ethereum 2.0 の Casper プロトコルのアップグレードなどの台帳システム。
最後に、zk SNARKS を使用してプルーフを生成するために必要なすべてのコンポーネントは、外部ソースを必要とするのではなく、システム自体の内部から生成されるため、これらのプロトコルは、第三者が関与する検証プロセスに関与する必要も信頼される必要もないため、「トラストレス」と呼ばれています。行われる 。
全体として、zk SNARKS は、高レベルの効率で機密情報を安全に共有できる真の自律分散型ネットワークの構築に向けた重要な進歩を表しています。
