Cosmos IBCがSP1証明を用いてEthereum上の合意を検証する方法を調査していました。 ZK証明そのものよりも、私がより関心を持っているのは、検証者を誰が制御しているかです。 数学的に妥当な証明を持つことはできますが、ライトクライアントのアップグレードや信頼される検証鍵を変更する権限を持つ人がいる場合、それはまったく別のセキュリティの問題になります。 Ethereumのデプロイでは、タイムロックされた管理制御を伴う4-of-7マルチシグが使用されています。 ここで、これらの管理者が実際に何を変更できるのか、アップグレードを通じて悪意のある検証者が導入される可能性があるのか、そしてタイムロック中にはユーザーが実際に何ができるのかを正確に追跡したいと思っています。 ZKは、特定の計算が正しく実行されたことを証明します。 しかし、どの計算を検証するかを制御する人々がそれを変更できないことを証明するものではありません。 私が掘り下げたいのは、その部分です。