注:零知识证明(Zero-KnowledgeProof,简称ZKP)是一种密码学概念,它允许一个证明者向验证者证明某个陈述为真,而无需透露任何关于该陈述的其他信息。简而言之,零知识证明可以让一个人证明他拥有某种信息,而不需要透露这个信息本身。2.3 ZK与OP的比较分析ZK和OP各有各的特点,我从下面5个不同角度对他们进行了分析,以供各位根据自己的倾向去评判: 验证方式:
- OP是通过欺诈证明(fraud proofs)验证交易,先假设交易默认是有效的,除非有人提交证据证明某笔交易无效。这需要链下用户和节点持续监测,以确保RollupOperator没有作恶;
- ZK是通过零知识证明(例如zk-SNARKs或zk-STARKs)验证交易,由ZK生成一个简洁的证明来确保批次中的交易有效性,无需逐一检查每笔交易;
- OP默认假设交易有效,可能存在一定的安全风险,需要链下用户和节点积极监测交易以确保安全性;
- ZK基于零知识证明的验证方式,为其提供了较高的安全性,因为它需要生成一个证明来确保交易有效;
- OP具有较快的链下交易处理速度,但因为需要等待欺诈证明的挑战周期m链上验证可能需要更长时间;
- ZK生成零知识证明需要一定的计算资源,但链上验证速度较快,一旦证明生成主链就可以快速验证;
- OP完全兼容EVM,众多DAPP可以直接迁移,计算复杂度低,适用于通用的智能合约执行和复杂计算;
- ZK技术仍然处于发展中,目前在通用智能合约和复杂计算方面的应用受到一定限制;
- OP具有较低的链下交易成本;
- ZK生成零知识证明需要一定的计算资源,可能导致较高的链下交易成本;
- StarkWare首个提出用递归技术纵向拓展以太主网,提出了Layer3;
- 去中心化的排序器Madara;
- 动态可升级NFT标准StarkSheet;
- 首个完整提出Uniswap V4 hooks落地方案的Ekubo(目前Ekubo正在帮助Uniswap完善V4版本);
- 全链游戏、全链游戏引擎;