前面那篇关于ZKのアイデアに対して多くのフィードバックをいただきました。皆さんも似たような疑問を持っているとは思いませんでした。正直なところ、技術的理解には近道はなく、時間をかけてじっくり考えることで徐々に理解が深まります。

ZKの分野には現在多くのプロジェクトがあり、公式の宣伝だけを見ると「高性能、低コスト」などのタグ付けがされているだけで、長く聞いていると飽きてしまうこともあります。しかし、これらのプロジェクトの違いを本当に理解するには、実際の技術アーキテクチャから始める必要があります。

例えば、client-side provingのような方案は、計算負荷をクライアント側に移すもので、従来のサーバー側検証の考え方とは全く異なります。最近詳しく調査したところ、異なるZKプロジェクトはこの点で実装の差異がかなり大きいことがわかりました。中にはスループットを重視するもの、証明速度を重視するもの、開発者の使いやすさに工夫を凝らしているものもあります。

そこで問題です：これらのZKプロジェクトをマーケティングのキャッチフレーズではなく、実際の技術的特徴に基づいて分類するにはどうすれば良いでしょうか？これはしっかり整理すべき事柄です。