ZK-SNARKs:更新可能なブロックチェーンの設定
ZK-SNARKsは、プライバシー、相互運用性、スケーラビリティのアプリケーションを持つ、ブロックチェーンと分散型台帳の「アーミーナイフ」として実証されています
2022年 9月 1日 17 分で読めます
導入以来、ゼロ知識証明(ZKP)は、プライバシーと整合性のバランスを必要とする多数の設定の中で、検証可能な外部委託計算から匿名のクレデンシャルに至る潜在的アプリケーションをサポートするために使用されてきました。ZKPを使用すると、一方の当事者は、特定の声明または主張が真実であることを、内容を明らかにすることなく他方に証明できます。さまざまなオンチェーンのユースケースでのZKPの適用は、プライバシー、相互運用性、およびスケーラビリティの問題の解決に貢献します。
本稿では、さまざまなZKPタイプと、その具体的なユースケースを取り上げます。また、ZK-SNARKとそのアプリケーションに関する既知の問題について解説し、ブロックチェーンプロトコルに相当する条件下で安全性を持つブロックチェーンメカニズムを提案します。本稿は、Thomas Kerber、Aggelos Kiayias、Markulf Kohlweissによる研究論文「Mining for Privacy: How to Bootstrap a Snarky Blockchain…
最新の記事
Input | Output chief scientist receives prestigious Lovelace computing award 筆者: Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections 筆者: Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples 筆者: James Chapman
26 November 2024