Hadas Zeilberger is a cryptography researcher and PhD student at Yale with seven years of experience building practical cryptographic systems and proof tools. She applies error-correcting codes to make zero-knowledge proofs more efficient and has implemented IOPP-based polynomial commitments and transformations to non-interactive proofs in defense-funded projects. Her background spans industry research roles at SRI, Connext, and ConsenSys where she developed off-chain verifiable systems, privacy-preserving protocols, and developer tooling for ZK deployment. She has published and co-authored papers on mix-network adversaries and proactive secret sharing, bringing both theory and systems engineering to bear on hard privacy problems. Based in New Haven, she combines deep mathematical training (BA in Mathematics) with hands-on implementation across Haskell, Coq, Python, and production blockchain stacks. An often-overlooked strength is her track record of turning complex cryptographic primitives into usable, non-interactive protocols for real-world deployments.
7 years of coding experience
6 years of employment as a software developer
Bachelor's degree, Mathematics, Bachelor's degree, Mathematics at Columbia University in the City of New York
Bachelor's degree, Mathematics, Bachelor's degree, Mathematics at Barnard College
Doctor of Philosophy - PhD, Cryptography, Doctor of Philosophy - PhD, Cryptography at Yale University
Contributions:47 commits, 9 PRs, 18 pushes in 1 month
ethereumblockchainsubgraphdecentralizederc20
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Hadas Zeilberger - Cryptography Researcher at Yale University