在zkRollup以及zkEVM赛道所遇到的几乎所有难题，其本质都是算法问题。ZKP硬件加速之所以屡屡被提及，主要原因是当下算法普遍较慢。为了避免落入“算法不够，硬件来凑”的尴尬境地，我们应该从本质算法上解决问题。设计出一种精妙绝伦的递证明方案是解决这个问题的关键。
随着智能合约的不断发展，越来越多的web3应用逐步问世，以太坊等传统Layer1交易量迅速攀升并随时可能发生拥堵。如何在保证能获取Layer1提供的安全性的同时获得更高的效率成为了亟需解决的问题。
对于以太坊而言，zkRollup使用零知识证明算法作为底层构件，将原本需要在Layer1上执行的高昂的计算搬到链下，并向链上提供执行正确性的证明。该赛道主要有StarkWare、zkSync、Scroll以及Fox Tech等项目。
您已阅读11%（347字），剩余89%（2840字）包含更多重要信息，订阅以继续探索完整内容，并享受更多专属服务。