Hadas Zeilberger is a Cryptography Researcher at Yale University since July 2022, specializing in enhancing the efficiency of zero-knowledge proof protocols for practical applications. Previously, as a Computer Scientist II at SRI International from September 2020 to March 2022, Hadas developed cryptographic protocols for DARPA, implementing an interactive oracle proof-of-proximity and a polynomial commitment scheme for the SIEVE program. Experience also includes serving as a Blockchain Researcher and Developer at ConsenSys from September 2018 to August 2020, where Hadas led the development of off-chain verifiable systems and built tools for zero-knowledge proof deployment. Hadas holds a Bachelor's degree in Mathematics from Columbia University and a Doctor of Philosophy (PhD) from Yale University.