「今日、ZKには多くの問題があります。」 私たちは@donnoh_eth(@l2beatの研究者)をベルリンのEthproofsサミットに招待し、ZKについて逆張りの視点を述べました。 いくつかの重要なポイント: • 検証者は不透明です。スマートコントラクトは検査できますが、ZK検証者にヒットすると、乱数が表示され、検証者をソースから再現しなければ、実際に何が証明されているのかを知ることはできません。 • 再現性は難しい。多くのプロジェクトでは、検証ツールの再生成に必要な正確なコミット ハッシュやツール バージョンが公開されていません。場合によっては、オンチェーンで何が実行されているかを確認することが事実上不可能です。 • カスタム ツールはリスクを増大させます。各プロジェクトは独自のスタックを構築するため、検証が複雑になり、エコシステム全体で一貫性がなくなります。 • 監査だけでは十分ではありません。監査は、部分的、古い、または修正が見当たらない場合があります。単に「完全に監査済み」と主張するのは、透明性のあるリンクや範囲がなければ誤解を招きます。 ルカの核心的なポイントは、ZKは必ずしも信頼をなくすわけではないということです。代わりに、それはそれをシフトし、課題はその信頼がどこにあるのかを最小限に抑え、明確にすることです。 講演全文をご覧ください。