Hadas Zeilberger
Cryptography Researcher at Yale University
New Haven, Connecticut, United States
Summary
🤩
Rockstar🎓
Top SchoolHadas 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.
8 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 YorkBachelor's degree, Mathematics, Bachelor's degree, Mathematics at Barnard CollegeDoctor of Philosophy - PhD, Cryptography, Doctor of Philosophy - PhD, Cryptography at Yale UniversityHigh School, High School at Princeton High School
Hebrew
Stackoverflow
751reputation
52kreached
51answers
1question
Github Skills (72)
drm10
modular10
code-reuse9
music9
rust9
smart-contracts9
virtual-machine9
blockchain9
ethereum9
devkit9
risc-v9
web3js8
solidity8
javascript8
haskell8
Programming languages (8)
Github contributions (5)
hadasz/plonkish_basefold
Jan 2024 - May 2025
Contributions:3 reviews, 6 PRs, 25 pushes in 1 year 3 months
Consensys/react-native-sssa
Nov 2018 - Mar 2019
Shamir's secret sharing algorithm for react-native
Contributions:29 commits, 7 pushes, 4 branches in 4 months
react-nativeweb3studio-sojourn
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.