2/X 波哥大首日,V神参与《What to know about Zero Knowledge》(关于零知识证明该知道些什么)圆桌讨论说到,“我认为 ZK 天然是区块链的补充。区块链提供的抗审查特性,是以牺牲掉‘可扩展性’和‘隐私性’为代价的。而 ZK-SNARKs 则是为这两种属性量身订做的技术。”
6/X V神在波哥大还分享了《Hardening rollups with multi-proofs》,采用多证明机制,加强Rollup安全。
方案之一采用欺诈证明加ZK证明,再加上治理小组,形成2/3 机制 (Two-provers plus governance tie break)。不必信任治理(不能与证明相矛盾),当一个证明系统出现漏洞,另一个系统不受影响。