This $449,999.00 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research by Yale University to develop an automated framework for parallelizing and optimizing zero-knowledge proof (ZKP) protocols. ZKP protocols allow a party to prove the correctness of a statement without revealing sensitive information, with applications in areas like blockchain privacy and verifiable computation. The project aims to systematize ZKP protocols, develop highly parallel and optimized algorithms, and create a programming framework to enable non-cryptography experts to efficiently implement ZKP applications. This effort is expected to advance the deployability of state-of-the-art ZKP protocols and produce educational materials on formal computing methods and cryptography. The award has an initial term of 4 years, running from October 1, 2023 through September 30, 2027.