ZK-SNARKs：更新可能なブロックチェーンの設定

導入以来、ゼロ知識証明（ZKP）は、プライバシーと整合性のバランスを必要とする多数の設定の中で、検証可能な外部委託計算から匿名のクレデンシャルに至る潜在的アプリケーションをサポートするために使用されてきました。ZKPを使用すると、一方の当事者は、特定の声明または主張が真実であることを、内容を明らかにすることなく他方に証明できます。さまざまなオンチェーンのユースケースでのZKPの適用は、プライバシー、相互運用性、およびスケーラビリティの問題の解決に貢献します。

本稿では、さまざまなZKPタイプと、その具体的なユースケースを取り上げます。また、ZK-SNARKとそのアプリケーションに関する既知の問題について解説し、ブロックチェーンプロトコルに相当する条件下で安全性を持つブロックチェーンメカニズムを提案します。本稿は、Thomas Kerber、Aggelos Kiayias、Markulf Kohlweissによる研究論文「Mining for Privacy: How to Bootstrap a Snarky Blockchain…