Beriane et al. proposed an optimization method for zk-Rollup architecture backend verification in their paper, using polynomial aggregation and scalar decomposition techniques to significantly reduce on-chain verification costs. Beriane 等人在论文中提出了一种优化zk-Rollup架构后端验证的方法,通过多项式聚合和标量分解等技术显著降低了链上验证成本。
Notes
Proposes optimizations for high on-chain verification costs in zk-Rollups
Key optimization: Reduces G1 exponentiations from 40 to 31, saving 108k Gas per verification
Replaces FFT with dynamic barycentric interpolation, cutting Gas by 92-95% for sparse polynomials
Introduces proof aggregation to minimize precompile calls while maintaining 128-bit security
Experimental results: Total verification cost reduced from 857.2k to 748.45k Gas
Optimizations are compatible with Pectra upgrade and provide blueprint for efficient on-chain verification