Hadas Zeilberger
hadaszeilberger.bsky.social
Hadas Zeilberger
@hadaszeilberger.bsky.social
PhD student in Yale Applied Cryptography Lab working on scaling zero-knowledge proofs

www.hadasze.me
X: @idocryptography
Just joined BlueSky!
Super fascinating for cryptographers - some of the attacks out there are beyond what we could imagine
November 7, 2025 at 7:49 AM
Reposted by Hadas Zeilberger
“Every participant who was detained by authorities & had biometrics enabled, said they were violently forced to unlock their phone. […]”
The research is clear: those with biometrics lost the power to resist device searches. Only using passcodes had some ability to refuse, delay, or obscure access.
November 7, 2025 at 7:47 AM
Great blog by @vitalik.ca
exploring how to efficiently prove Poseidon hashes using GKR.
Love the shoutout to multilinear polynomial commitment schemes like Basefold for added efficiency
vitalik.eth.limo/general/2025...
A GKR Tutorial
vitalik.eth.limo
October 20, 2025 at 10:47 PM
Reposted by Hadas Zeilberger
one more election thing this morning: because New York is large, people might lose sight of the Mamdani victory being local politics. but it is, and it points up the potential of local politics to reshape direction, to inspire broadly, to change the story
June 25, 2025 at 10:37 AM
Reposted by Hadas Zeilberger
Our struggles are connected: Palestinians, migrants in LA, families in Tehran, queer folks in Cairo, or Sudanese refugees. The decentered are policed, surveilled, criminalized. Same tools. Same logic. Different uniforms. Identify the decentered, expose the system, break its power. 🔏 1/3
June 13, 2025 at 5:31 PM
Reposted by Hadas Zeilberger
This is the same admin that violently fearmongers about "foreign threats" & boasts abt pouring billions into “advanced tech” for "national security." Subscribe to @micahflee.com and see how the Israeli chat app used by Trump officials was hacked within 15 mins. bsky.app/profile/jose...
Here is a screenshot the hacker provided of their access to TeleMessage's systems. This was a list of Customs and Border Protection officials. I called a bunch of them, confirmed the numbers do belong to CBP officials www.404media.co/the-signal-c...
May 5, 2025 at 12:42 AM
Reposted by Hadas Zeilberger
As immigration controls are violently targeting pro #Palestine students & other migrants, their low-tech tactics remain the most dangerous & authoritarian, Afsaneh Rigot writes.“The oppressed know the oppressor better than it knows itself.” We can outsmart them. the-decenter.ghost.io/dehumanized-...
April 7, 2025 at 8:41 PM
Here’s the link to the paper : eprint.iacr.org/2024/1843

🔑 #academicsky #cryptosky
February 20, 2025 at 4:23 PM
Just updated a result on eprint (2024/1843), improving the query complexity of the BaseFold IOP, while maintaining small soundness error. Also relevant for improving the communication complexity of coding-based SNARKs
#cryptography #zero-knowledge #SNARK
February 20, 2025 at 3:41 PM
Reposted by Hadas Zeilberger
I have work to do but I'm distracted by watching US scientific progress & leadership being irreversibly undermined because a few unelected malcontents are penalizing researchers for following legal requirements set out by congressional orders to augment basic research with benefits to society.
February 12, 2025 at 4:31 PM
Reposted by Hadas Zeilberger
📝 Our proposal for the next-gen voting protocol using zkRollups & homomorphic encryption is live on EthResearch.

Features:
- Receipt-free
- Trustless
- Anonymous
- Gasless for the voters
- Universally verifiable

Check the whitepaper and discuss it with us👇
ethresear.ch/t/vocdoni-pr...
Vocdoni Protocol: Enabling Decentralized Voting for the Masses with ZK Technology
At Vocdoni, we’ve spent the last six years advancing decentralized voting solutions, focusing on bridging web2 applications with web3 technologies. We’ve successfully executed high-stakes voting for o...
ethresear.ch
November 19, 2024 at 3:28 PM