(1/8) @VitalikButerin 在波哥大 2022：采用多证明机制 (multi-provers) 加固 Rollup 系统 #RollupDay #DevconVI 🧵💥🆙
https://twitter.com/VitalikButerin/status/1579574218970521600
(2/8)北京时间 2022 年 10 月 12 日，Vitalik 参加了由 @Scroll_ZKP 举办的 Rollup Day 活动，这场活动作为波哥大 Devcon VI 的周边活动之一，主要专注于以太坊 Rollup 话题。在 Rollup Day 中，Vitalik 做了一场以多证明机制为主题的演讲 —— Hardening rollups with multi-proofs。
(3/8)Vitalik 认为目前几乎所有 Rollup 解决方案都仍处于使用 “辅助轮 (training wheels)” 的阶段，这意味着现阶段的 rollup 还没实现去信任或者信任最小化。
(4/8)而这些 rollup 仍保留使用 “辅助轮” 的一个很重要的原因就是过于复杂的代码会增加其系统的攻击面。举 PSE 团队所开发的 ZK-EVM 电路为例，它的代码有 34,469 行。
鉴于在中短期之内，rollup 代码很难实现完全没有漏洞，Vitalik 列举了几个替代方案以促进 rollup 更加信任最小化甚至去信任化。
鉴于在中短期之内，rollup 代码很难实现完全没有漏洞，Vitalik 列举了几个替代方案以促进 rollup 更加信任最小化甚至去信任化。
(5/8)方案一：高阈值的治理方案决定对代码的重写 (override)。假设 6/8 多签方案来决定是否对代码中出现的某个 bug 进行重写。这种高阈值的治理方案可以达到一定的信任最少化，但仍存在共谋的风险。
(6/8)方案二：多个证明者 (multi-provers)。借鉴以太坊上的多客户端机制，采用多证明系统 (欺诈证明的多种实现 或者 zkEVM 的多种实现) 可预防网络的宕机情况。
(7/8)方案三：两个证明者 (欺诈证明 vs. zk 证明) 再加上治理小组，2/3机制 (two-provers plus governance tie break)。它的好处有：不必信任治理 (它不能与证明相矛盾)；当一个证明系统出现漏洞，另一个系统不受影响；理想情况下，两个证明程序应该具有非常不同的结构，以最小化同时出现漏洞的机会。
(8/8)最后，Vitalik 表示，ZK-EVM 实现在很长一段时间内很难达到无漏洞的状态，而提供多种证明系统实现能最小化网络出现灾难性后果的机会。
• • •
Missing some Tweet in this thread? You can try to
force a refresh
