ZK Grants Round Announcement
Unlocking the Power of Zero-Knowledge Proofs: A Comprehensive Review of the ZK Grants Round
The Ethereum Foundation, in collaboration with Aztec, Polygon, Scroll, Taiko, zkSync, has announced the winners of the collaborative ZK grant round. This significant event marks a major milestone in the advancement of zero-knowledge proofs (ZKPs), a crucial component of the Ethereum ecosystem. The selected projects showcase a range of approaches to enhancing the efficiency, security, and applicability of ZKPs across different domains.
Project Showcase
The 25 winners of the ZK grant round demonstrate the diversity and innovation within the ZKP community. From developing security frameworks to creating benchmarking tools for performance and scalability, these projects aim to address key challenges in the field. The grantees include researchers and developers from various organizations and universities, working on both theoretical advancements and practical implementations.
Amit Kumar's Proof Carrying Data from Folding GKR with Protostar
Amit Kumar's project, "Proof Carrying Data from Folding GKR with Protostar," aims to overcome the limitations of current Interactive Verifiable Computation (IVC) schemes. By leveraging the Goldwasser-Kalai-Rothblum (GKR) accumulation scheme, Kumar proposes to reduce the witness size, enhancing computational efficiency. The project also extends IVC into a Proof Carrying Data framework, facilitating parallel folding in a tree structure to streamline verification processes and improve scalability.
Pratyush Mishra's Zippel: A Language and Compiler for Building Proof Systems
Pratyush Mishra's project, "Zippel: A Language and Compiler for Building Correct and Efficient Succinct Proof Systems," proposes a new language and compiler for building correct and efficient succinct proof systems. Zippel allows developers to express protocols in a high-level language close to their mathematical description, automatically managing low-level details like parallelism, memory management, and custom hardware. The compiler also has powerful and fast static analyses that can help developers catch protocol soundness and zero-knowledge bugs.
Julian Sutherland's Lean Extraction of Circuit Constraints from Halo2
Julian Sutherland's project, "Lean Extraction of Circuit Constraints from Halo2," aims to develop a formal verification harness to seamlessly extract constraints from a Halo2 circuit and reason about them in the Lean 4 proof assistant. Sutherland's project has significant progress towards and wishes to extend it to support the full gamut of Halo2 features.
Jordan Coppard's ZK Benchmarks and ZK Treesitter
Jordan Coppard's project, "ZK Benchmarks," aims to create an understandable and accessible repository of benchmarks surrounding the ZK ecosystem. The project focuses on performance benchmarking (prover time, verifier time, proof gate size) for different types of proving systems and their implementations over various computer architectures. Coppard's project also includes "ZK Treesitter," which provides agnostic treesitter grammars for major zero-knowledge circuits languages, Noir and Cairo, maintained over time.
Stanislav Marycev's zkFold Symbolic
Stanislav Marycev's project, "zkFold Symbolic," proposes a programming language for writing zero-knowledge smart contracts. zkFold Symbolic is a high-level functional language, a subset of Haskell, that dramatically reduces the barrier to entry for developers. Smart contracts written in zkFold Symbolic are compiled directly into arithmetic circuits that can be utilized by various zero-knowledge protocols.
Lako Nema's Onboard Users to Verifiable KYC
Lako Nema's project, "Onboard users to verifiable KYC," aims to bring developers to ZK by showcasing how the usual tools interplay. The project creates an open-source end-to-end app on verifiable KYC, based on Noir language, allowing any new developer to launch the app with one command.
Albert Garretta's LatticeFold Implementation and Folding Schemes for FRI-based SNARKs
Albert Garretta's project, "LatticeFold Implementation and Folding Schemes for FRI-based SNARKs," aims to develop and implement a Proof of Concept (PoC) for the LatticeFold folding scheme, benchmarking it against existing schemes like HyperNova. The project also researches methodologies to create a "STARK-friendly" folding scheme based on LatticeFold.
Stefanos Chaliasos' Reproducible ZK Vulnerabilities to Improve Ecosystem's Security
Stefanos Chaliasos' project, "Reproducible ZK Vulnerabilities to Improve Ecosystem's Security," aims to extend previous work on ZK security by developing a comprehensive dataset and framework featuring reproducible ZK exploits. The project will serve as both an educational tool for newcomers and a detailed study base for experts.
Patrick Stiles' Detecting Private Information Leakage in Zero-Knowledge Applications
Patrick Stiles' project, "Detecting Private Information Leakage in Zero-Knowledge Applications," proposes the design and implementation of a static analysis approach enhanced with taint tracking, input generation, and SMT solving to identify and validate instances of private variable information leakage.
Gaylord Warner's Metal Backend for Icicle MSM
Gaylord Warner's project, "Metal Backend for Icicle MSM," aims to support Apple's M series GPU in Icicle by creating a Metal Shader Language backend for Icicle MSM. This will expose gpu performance benefits to all developers in the zk ecosystem that have an Apple device with a M series chip.
Hanze Guo's Benchmarking ZK-circuits Across Multiple SNARKs/STARKs Development Frameworks
Hanze Guo's project, "Benchmarking ZK-circuits Across Multiple SNARKs/STARKs Development Frameworks," aims to comprehensively collect and organize the development tools used in popular ZK Layer 2 projects, modularly compile and integrate common algorithms in the cryptography domain, and comprehensively evaluate popular ZKP development tools across different parameters.
Yu Guo's Comparison of Multilinear Polynomial Commitment Schemes
Yu Guo's project, "Comparison of Multilinear Polynomial Commitment Schemes," aims to provide a comprehensive comparison of different multilinear polynomial commitment schemes, including their efficiency, security assumptions, the cost of supporting zero-knowledge prosperity, batching performance, etc.
Mirror Tang's Salus: A Security Framework for zkSNARKs Development and Audit
Mirror Tang's project, "Salus: A Security Framework for zkSNARKs Development and Audit," aims to develop a comprehensive zkSNARKs security framework for the Ethereum community, culminating in a research paper. The framework will provide developers with theoretical support and practical guidance, including circuit implementation, protocol design, and cryptographic primitives.
Conclusion
The ZK grants round marks a significant milestone in the advancement of zero-knowledge proofs. The selected projects demonstrate the diversity and innovation within the ZKP community, showcasing a range of approaches to enhancing the efficiency, security, and applicability of ZKPs across different domains. As the ZKP ecosystem continues to evolve, it is essential to continue investing in research and development to unlock the full potential of this technology.
Source: https://blog.ethereum.org/en/2024/06/25/zk-grants-round-announce
