なぜZKがエンドゲームなのか？ @gevulot_networkの視点から探ってみましょう。[はい、Gevulot Devnetは現在稼働中です！]

感謝を捧げます：@teemupai @NorbertVadas @HeslinKim @niluokay @Henrixbor

Gevulot：分散型ZK証明システムのためのレイヤー1ブロックチェーン

このスレッドでは、まずZKプロバーの概要を説明し、その後分散型ZKプロバーソリューションとGevulotについて掘り下げます。スレッドは4つの主要なセクションに構成されています：

- ZKの非常に簡単な紹介
- 中央集権的な証明インフラ
- 分散型証明インフラ
- Gevulot

まず、中央集権的な証明インフラにおける課題を説明し、それがどのように分散化の試みに繋がるかを探ります。最後に、分散型ZK証明システム専用に設計されたレイヤー1ブロックチェーンとしてのGevulotという興味深い分散型プロバーソリューションを紹介します。

1/
ZKの非常に簡単な紹介

ゼロ知識証明は、プロバーと検証者の2者を関与させます。プロバーの目標は、ステートメントについての情報を明らかにすることなく、検証者にその真実を納得させることです。ステートメントの正当性を確認するための証明を構築するには、 significantな計算リソースが必要です。しかし、ZKPの利点は、証明が簡潔であり、直接的にステートメントを計算するのとは異なり、効率的に検証できる点にあります。

2/
ゼロ知識は、その簡潔さ、スケーラビリティ、信頼の最小化、整合性、プライバシーのためにブロックチェーンで活用されています。例えば：
- Zk-rollupsは、証明を検証する方がすべての状態遷移を再実行するよりも効率的であるため、スケーリングのためにゼロ知識を使用します。

- Mina Protocolのような再帰的ブロックチェーンは、その整合性を損なうことなくブロックチェーンの状態を再帰的に圧縮することで、簡潔さのためにゼロ知識証明を活用します。

- ZKブリッジは、ZK証明を使用して信頼の最小化された方法でクロスチェーンの相互作用を可能にします。

- ZK証明は、Zcash、Aztec、Aleo、Ironfishなどのプロジェクトでプライバシーのために使用されています。

3/
中央集権的な証明インフラ

ZK rollupsに焦点を当ててみましょう。これらはゼロ知識証明を利用したよく知られたソリューションです。一般的に、ほとんどのZK rollupsは中央集権的なプロバーに依存しており、単一のエンティティが基盤となるZK証明インフラを管理します。この中央集権的アプローチにはいくつかの利点があります：

- プロジェクトがインフラを完全に制御できるため、メンテナンスが容易です。
- 複数のプロバーのためのシステムやインセンティブを設計する必要がなく、複雑さが低減します。