Announcing the 2024 Academic Grants Round Recipients

More Efficient and Scalable Post-Quantum Multi-SignaturesDr. Muhammed Esgin, Assoc. Prof. Ron Steinfeld, Assoc. Prof. John Tsz Hon Yuen, Prof. Joseph LiuMonash UniversityThis task develops 2 post-quantum multi-signature schemes, providing divers information assumptions and tradeoffs. It contributes to enhancing Ethereum's scalability and information done precocious cryptographic methods.Balancing Anonymity and Compliance successful Financial and Other TransactionsProf. Anna Lysyanskaya & Scott GriffyBrown UniversityThe probe focuses connected privacy-preserving blueprints, enhancing information and compliance successful fiscal transactions. It aims to alteration anonymous credentials portion allowing traceability nether circumstantial ineligible circumstances.Theory and signifier of Fiat-ShamirMichele Orrù, Trevor Perrin, Dmitry Khovratovich, Bart Mennink & Mario MarhuendaCNRSThis task bridges theoretical and applicable aspects of the Fiat-Shamir transform, focusing connected integrating the SAFE API into zk-proof frameworks to heighten their adoption.Formal verification of ZK compilersQinxiang Cao, Yu Yu, Yucong Hu, Zihan Xu, Youwei Zhong & Xiwei WuShanghai Jiao Tong UniversityZero-knowledge impervious has go much wide utilized successful blockchain applications. This task plans to formally verify the information guarantees of ZK compilers to heighten their robustness successful blockchain environments.Scalable Decentralized Sealed-bid AuctionsPhilipp Jovanovic, Kobi Gurkan, Alireza Kavousi & Andrija NovakovicUCL & Geometry ResearchDigital auction mechanisms necessitate security, privacy, and scalability. This task aims to make auctions that fulfill these requirements, enabling unafraid and businesslike plus terms find successful online marketplaces.Post-Quantum Signatures with SNARK AggregationMatthieu Rivain & Thibauld FeneuilCryptoExpertsThis task designs and implements SNARK-friendly post-quantum signatures to alteration businesslike and generic aggregation schemes, enhancing Ethereum’s ecosystem with precocious cryptographic tools.Design of Symmetric Cryptographic PrimitivesLorenzo GrassiPonos TechnologyThis task focuses connected designing cryptographic primitives for ZK applications, enabling privacy-preserving computation verification and enhancing the information of Ethereum rollup solutions.Cryptanalysis of Symmetric Cryptographic PrimitivesLorenzo GrassiPonos TechnologyThis task analyzes the ratio and information of symmetric cryptographic primitives utilized successful ZKPs, contributing to the reliability and scalability of Ethereum-based solutions.ZK-ARCKITProf. Albert Rubio, Asst. Prof. Miguel Isabel & Clara RodriguezUniversidad Complutense de MadridThis task develops tools to analyze, verify, and optimize polynomial constraint systems utilized successful ZK protocols, aiming to heighten their usability and performance.Formal Verification of the c-kzg LibraryDr. Eddy Westbrook, Dr. Than-Hai Tran & Roberto SaltiniGalois & ConsensysThis task supports EIP-4844 (Proto Danksharding) by formally verifying the c-kzg library, a important constituent for Ethereum's scaling advancements.Building Practical and Secure Blockchain-Based AIZhipeng Wang, Jiahao Sun & Sylvie ZhangImperial College London & FLock.ioThis task integrates economical modeling and ZKPs to heighten blockchain-based AI frameworks, ensuring privateness and information successful instrumentality learning applications.