ZK Proofs Aggregation by leveraging Type-1 ZK-EVM

# ZK Proofs Aggregation by leveraging Type-1 ZK-EVM ## Notice This proposal is still actively updating, you can get the newest info from: https://hackmd.io/5k-K7wwDR6SnbPbQB1UjZA?both ## Project Abstract A new paradigm of ZK Proofs Aggregation Chain by leveraging Type-1 ZK-EVM. ZK Proofs supplier just need to deploy their solidity/yul code of proof verification and submit their proofs to the, and the proof will be validated by the corresponding smart contract on the ZK-EVM network. Our goal will be achieved by the dependency of Type-1 ZKEVM(Polygon ZK-EVM, Scroll, etc.) ## Objectives Our worldview of web3 is highly aligned with Ethereum. ZK will be the END GAME of scaling Ethereum. So this grant will not only financially support the accomplish of our project, but also greatly encourage us in spirit. Definition and measurement of success for this project: - At least one project of ZK-DAPP, or ZK-Rollup will greatly reduce the overhead of proof verification by submitting the ZK Proofs to this proof aggregation network. - The overhead of Proof verification achieves at least a 10X reduction. ## Outcomes Our design will easily support beyond variety of different ZK Proofs Systems and ZK frameworks (gnark, Halo2-KZG, STARK-Stone, etc.) In the Ethereum ecosystem, most of the popular ZK development kits support automatically generating the verification of the corresponding proof’s smart contract. Our proof aggregation network will be friendly to the developers, they don’t need to figure out the layout of the proof. ## Grant Scope Our research will cover: the internal structure and mechanism of Type1 ZK-EVM, we will first research Polygon‘s ZK-EVM, then the Scroll’s. The grant can support our research & develop work of this system. Also it can help us pay for the hardware resources. ## Project Team This is a side project, I'm a experienced ZK Applied Engineer. Totally 5 memebers. Other memebers are anonymous from community. ## Background Our open-sourced project links: - Demo Videos: https://www.youtube.com/watch?v=6wbJKf-viVo - Technical Docs: https://zerokpunk.github.io/zkdocs/docs/category/proof-aggregator - Smart contract: https://github.com/ZeroKPunk/ZKProofAggregator-Contracts - SDK : https://github.com/ZeroKPunk/ZKProofAggregator-SDK - RPC Service: https://github.com/ZeroKPunk/ZKProofAggregator-RPC ## Methodology our based research material are - Polygon’s ZK-EVM technical docs: https://github.com/0xPolygonHermez/zkevm-techdocs - Polygon’s zkevm-prover source code: https://github.com/0xPolygonHermez/zkevm-prover ## Timeline Milestone 1: provide the full detail document for the technical design. Including: - background - high-level architecture - circuit design - smart contract design Milestone 2: provide a useable and deployable RPC service Milestone 3: High degree of completion and strict constraints of ZK circuit service ## Budget The total budget we apply is $10,000, - $4000 for research and development. - $6000 for hardware costs.