Scroll Tech aims to build an EVM-compatible zk-Rollup with a strong proving network. After months of exploration, we have made great technical progress. In this post, we’d like to share our progress and updates. We also present an overview of the problems to help everyone onboard.
Our Goals
We set the following goals.
- **Scroll will build a fully EVM-compatible zk-Rollup.**We will support the direct verification of a Ethereum block through one succinct proof. The basic idea is to verify the consistency and integrity of each opcode in EVM execution trace. This way, L1 smart contracts can be seamlessly migrated to Scroll. Instead of using new zk-friendly primitives, we will build reversely — we will support native EVM using customized optimizations. This brings us huge advantage to be compatible with all existing Ethereum infrastructures without any modification!
- **Scroll will enable and standardize Layer-2 proof outsourcing.**We have designed a robust outsource mechanism which can incentivize rollers to generate zero-knowledge proofs for us. We will standardize such scheme to fit into a broader spectrum of general off-chain computations. This will open a new proof market. Another direct influence for developers is that they can deploy complicated contracts in Scroll without considering the gas limit. A lot of new applications can be enabled off-chain with proofs committed on-chain. Our team has also built the fastest GPU and ASIC prover in the world to support this. In the long term, we plan to achieve full decentralization and reduce the influence of MEV.
- **Scroll will upgrade to a new proof system.**As proposed five months ago, Scroll will adopt a new hierarchical zero-knowledge proof system. The first layer will be prover efficient (customized circuit optimization and hardware efficient proving algorithm). The second layer will be verifier efficient (succinct proof and EVM-friendly verification algorithm). Compared to all existing solutions, it has potential to support program even larger than EVM and more features like privacy.
We will elaborate more for each one in the following articles. Each bullet-point will link to an article. If the link is not there, then it means “coming soon”!
zkEVM
Layer-2 Proof Outsourcing
- Introduction to Layer-2 proof outsourcing
- More technical details of Layer-2 proof outsourcing
New proof system
- Introduction to proof system upgrade
- More technical details of the trade-offs between different proof systems
Scroll Tech 旨在构建具有强大证明网络的 EVM 兼容 zk-Rollup。经过几个月的探索，我们取得了很大的技术进步。在这篇文章中，我们想分享我们的进展和更新。我们还概述了这些问题，以帮助船上的每个人。
我们的目标
我们设定了以下目标。
- **Scroll 将构建一个完全兼容 EVM 的 zk-Rollup。**我们将通过一个简洁的证明来支持对以太坊区块的直接验证。基本思想是验证 EVM 执行跟踪中每个操作码的一致性和完整性。这样，L1 智能合约就可以无缝迁移到 Scroll。我们将反向构建，而不是使用新的 zk 友好原语——我们将使用自定义优化来支持原生 EVM。这给我们带来了巨大的优势，无需任何修改即可与所有现有的以太坊基础设施兼容！
- **Scroll 将启用和标准化第 2 层证明外包。**我们设计了一个强大的外包机制，可以激励滚子为我们生成零知识证明。我们将对此类方案进行标准化，以适应更广泛的一般链下计算。这将打开一个新的证明市场。对开发者的另一个直接影响是他们可以在 Scroll 中部署复杂的合约，而无需考虑 gas 限制。许多新应用程序可以通过链上提交的证明在链下启用。我们的团队还构建了世界上最快的 GPU 和 ASIC 证明器来支持这一点。从长远来看，我们计划实现完全去中心化并减少 MEV 的影响。
- **Scroll 将升级到新的证明系统。**正如五个月前提出的那样，Scroll 将采用新的分层零知识证明系统。第一层将证明高效（定制电路优化和硬件高效证明算法）。第二层将是验证者高效的（简洁的证明和 EVM 友好的验证算法）。与所有现有解决方案相比，它有可能支持比 EVM 更大的程序和更多功能，如隐私。
我们将在接下来的文章中对每一个进行详细说明。每个要点将链接到一篇文章。如果链接不存在，则表示“即将推出”！
zkEVM
第 2 层证明外包
新的证明系统
- 证明系统升级介绍
- 不同证明系统之间权衡的更多技术细节