IOSG：Security vs Trustlessness，ZK协议在机制上该如何取舍？

近日，zkSync和Polygon都推出了各自的zkEVM，掀起了一波行业的热潮。与此同时，社区对于zkEVM的安全性和去中心化也有了很多讨论。IOSG在前不久刚结束的ETHDenver期间，举办了一场以安全为主题的活动（Stay SAFU, Security Day），有幸邀请到了在零知识证明领域的头部项目参与讨论，他们分享了零知识证明协议在机制设计和工程建构上的安全原则与新颖方案，以及在设计过程中的种种权衡。以下为各位嘉宾分享的insight原文，参与者为：