scroll-prover
作为Scroll Layer 2扩容方案的核心组件，scroll-prover实现了高效的零知识证明生成。其多级电路约束系统涵盖块级、批次级和聚合级证明，配合完善的测试套件、二进制工具和验证器合约生成功能，为开发者提供了全面的零知识证明解决方案。该项目现已在Scroll主网运行，并不断优化以满足扩展性需求。
