I am a PhD student in the Yale Applied Cryptography Laboratory, advised by Dr. Ben Fisch

About

I aim to improve the efficiency of proof systems so that they enable real-world, everyday applications to be transparent, private, and scalable with cryptographic guarantees. Proof systems have a wide range of potential applications, including verifiable cloud computing, anonymous credentials, and verifiable off-chain compute for blockchains (which enables them to more efficiently scale). 

Specifically, I use error-correcting codes to design proof systems with a better tradeoff between prover costs and verifier costs. I research the connections between error correcting codes and proof systems so that I can design new, more efficient protocols from first principles.  

Previously, I was a cryptographic engineer at Consensys and then SRI International, where I implemented efficient zero-knowledge proof protocols and proof-based applications.  Prior to that, I received a BA in mathematics from Columbia University. 

Contact:

Email: hadas dot zeilberger at yale.edu

Twitter: @idocryptography

Github: hadasz

Bluesky: @hadaszeilberger.bsky.social