随着以太坊朝着确立 ZK 客户端的方向发展，zkVM 的治理将会是什么样子？ 🟢 在 ZK 之家 @eth_proofs 峰会上，这个小组讨论了多证明者安全性、形式验证和开放证明市场如何挑战当今的治理模型，因为 zkVM 正逐步接近 L1 的确立。 演讲者探讨了以太坊如何在不破坏共识的情况下升级证明者和验证者 - 在快速变化的 ZK 领域中平衡去中心化、性能和集体控制。 演讲嘉宾： 🔹 @alexanderlhicks，@ethereumfndn 的研究员 🔹 @mpfzajac，@NethermindEth 的研究主管 🔹 @zkLumi，@arbitrum 的高级产品经理 🔹 @alicelingl，@HouseofZK 的主持人 也可以在 YouTube 上观看 ▶️

在我们@eth_proofs峰会期间的"治理、可升级性和共识影响"小组讨论中的关键要点👇 1️⃣ zkVM治理是不可避免的 • L1的纳入提出了关键问题：谁批准升级，验证者/证明者的变更如何治理？ • 以太坊现有的AllCoreDevs流程可能需要调整，以应对ZK特有的复杂性。 2️⃣ 多证明者系统提升安全性 • 混合模型（ZK + 证明 + 欺诈证明）可以防止故障电路或恶意升级。 • 多证明者设计即使在证明者失败时也有助于保持活跃性。 3️⃣ 正式验证变得必要 • 每一次变更 - 电路、验证者或证明系统 - 都必须重新验证其正确性。 • 增加了成本和时间，但确保了L1规模的技术完整性。 4️⃣ 开放的zkVM生态系统挑战标准化 • 设计空间仍然广阔，可能永远不会有一个权威的zkVM。 • @ethereum可能会选择在客户端级别灵活选择验证者，这增加了协调的复杂性。 5️⃣ 集中化风险 • 实时证明资源密集，限制了参与者的数量。 • 如果没有新的激励模型或协议调整，区块生产可能会集中在资金充足的证明者手中。