Announcing the 2024 Academic Grants Round Recipients | Ethereum Foundation Blog
More Efficient and Scalable Post-Quantum Multi-SignaturesDr. Muhammed Esgin, Assoc. Prof. Ron Steinfeld, Assoc. Prof. John Tsz Hon Yuen, Prof. Joseph LiuMonash UniversityThis project develops two post-quantum. . .
More Efficient and Scalable Post-Quantum Multi-SignaturesDr. Muhammed Esgin, Assoc. Prof. Ron Steinfeld, Assoc. Prof. John Tsz Hon Yuen, Prof. Joseph LiuMonash UniversityThis project develops two post-quantum multi-signature schemes, providing diverse security assumptions and tradeoffs. It contributes to enhancing Ethereum's scalability and security through advanced cryptographic methods. Balancing Anonymity and Compliance in Financial and Other TransactionsProf. Anna Lysyanskaya& Scott GriffyBrown UniversityThe research focuses on privacy-preserving blueprints, enhancing security and compliance in financial transactions. It aims to enable anonymous credentials while allowing traceability under specific legal circumstances. Theory and practice of Fiat-ShamirMichele Orrù, Trevor Perrin, Dmitry Khovratovich, Bart Mennink & Mario MarhuendaCNRSThis project bridges theoretical and practical aspects of the Fiat-Shamir transform, focusing on integrating the SAFE API into zk-proof frameworks to enhance their adoption. Formal verification of ZK compilersQinxiang Cao, Yu Yu, Yucong Hu, Zihan Xu, Youwei Zhong & Xiwei WuShanghai Jiao Tong UniversityZero-knowledge proof has become more widely used in blockchain applications. This project plans to formally verify the security guarantees of ZK compilers to enhance their robustness in blockchain environments. Scalable Decentralized Sealed-bid AuctionsPhilipp Jovanovic,Kobi Gurkan, Alireza Kavousi & Andrija NovakovicUCL & Geometry ResearchDigital auction mechanisms require security, privacy, and scalability. This project aims to develop auctions that satisfy these requirements, enabling secure and efficient asset price discovery in online marketplaces. Post-Quantum Signatures with SNARK AggregationMatthieu Rivain&Thibauld FeneuilCryptoExpertsThis project designs and implements SNARK-friendly post-quantum signatures to enable efficient and generic aggregation schemes, enhancing Ethereum’s ecosystem with advanced cryptographic tools. Design of Symmetric Cryptographic PrimitivesLorenzo GrassiPonos TechnologyThis project focuses on designing cryptographic primitives for ZK applications, enabling privacy-preserving computation verification and enhancing the security of Ethereum rollup solutions. Cryptanalysis of Symmetric Cryptographic PrimitivesLorenzo GrassiPonos TechnologyThis project analyzes the efficiency and security of symmetric cryptographic primitives used in ZKPs, contributing to the reliability and scalability of Ethereum-based solutions. ZK-ARCKITProf. Albert Rubio, Asst. Prof. Miguel Isabel & Clara RodriguezUniversidad Complutense de MadridThis project develops tools to analyze, verify, and optimize polynomial constraint systems used in ZK protocols, aiming to enhance their usability and performance. Formal Verification of the c-kzg LibraryDr. Eddy Westbrook,Dr. Than-Hai Tran& Roberto SaltiniGalois & ConsensysThis project supports EIP-4844 (Proto Danksharding) by formally verifying the c-kzg library, a crucial component for Ethereum's scaling advancements. Building Practical and Secure Blockchain-Based AIZhipeng Wang,Jiahao Sun& Sylvie ZhangImperial College London & FLock. ioThis project integrates economic modeling and ZKPs to enhance blockchain-based AI frameworks, ensuring privacy and security in machine learning applications.