Hadas Zeilberger

Cryptography Researcher at Yale University

New Haven, Connecticut, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
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.
code7 years of coding experience
job6 years of employment as a software developer
bookBachelor's degree, Mathematics, Bachelor's degree, Mathematics at Columbia University in the City of New York
bookBachelor's degree, Mathematics, Bachelor's degree, Mathematics at Barnard College
bookDoctor of Philosophy - PhD, Cryptography, Doctor of Philosophy - PhD, Cryptography at Yale University
bookHigh School, High School at Princeton High School
languagesHebrew
stackoverflow-logo

Stackoverflow

Stats
751reputation
52kreached
51answers
1question
github-logo-circle

Github Skills (99)

modular10
aplayer10
ethereum10
blockchain10
solidity9
music9
rust9
drm9
smart-contracts9
byte8
secp256k18
base588
javascript8
haskell8
contract8

Programming languages (8)

JavaRustCSolidityTeXJavaScriptHaskellJupyter Notebook

Github contributions (5)

github-logo-circle
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
web3studio-sojourn
Decentralized Off-chain Non-Transferable (assets)
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