Hossein Hafezi @RandomString00
PhD @ University of Cambridge, previously at NYU hosseinhafezi.com Cambridge, UK Joined June 2018-
Tweets477
-
Followers294
-
Following167
-
Likes43K
@GiacomoFenzi @zeroknowledgefm @IACReurocrypt I'm down to watch Bayern vs PSG on the night of the 6th too :D
🔥🔥🔥 Get ready for #ZKProof 2026! Speaker: Hossein Hafezi @RandomString00 from @nyuniversity Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more. For more details - link in the first comment
@ar4nar من با اینکه اقامت اسپانیا دارم، دو هفته پیش لب مرز EU از UK ده دقیقه ازم سوال های چرت پرت میپرسیدن…
Announcing the preliminary program for Cedarcrypt — our inaugural applied cryptography summer school and conference, July 13–16, 2026 at the American University of Beirut - Mediterraneo in Paphos, Cyprus! We've put together a program we're genuinely proud of — a pedagogical progression from accessible foundations to state-of-the-art constructions, featuring lectures, hands-on workshops, and research talks from leading voices across academia and industry. The program spans everything from accessible foundations to cutting-edge research: Bart Preneel (KU Leuven) opens with a keynote, followed by deep dives into FHE with Emad Heydari Beni (Nokia Bell Labs), state-of-the-art hash-based SNARKs with Giacomo Fenzi (EPFL), and Zero-Knowledge Proofs with Tarek Galal (TU Berlin). Practitioners will hear from Zeke Hunter-Green how The Guardian built their anonymous whistleblowing system (CoverDrop + MLS), and a host of other guest speakers who will help attendees learn post-quantum migration strategies across lattices, isogenies, and codes, and get hands-on with threshold signing, MPC engineering, and constant-time programming — all in four days on the Mediterranean coast. Organized in collaboration with the IACR, and hosted on Cyprus's Mediterranean coast — a UNESCO World Heritage city where you can step from a workshop on threshold signing straight to a seaside taverna. Thanks to our generous sponsors — Electi, PQShield, Symbolic Software, Zama, and several anonymous donors — we're offering FULL SCHOLARSHIPS (travel + lodging) to students and early-career researchers, awarded on a rolling basis until funds are exhausted. Graduate students, early-career researchers, and practitioners in applied cryptography: we built this for you! Join us this July in sunny Paphos! Let's make this an inaugural event to remember!
@AbdelStark Groth16 has a statistical zero-knowledge; even if you break the soundness with a Q-machine later, the historical proofs still do not reveal anything about the past.
As a recent PC chair, I can confirm that this will be a real problem in a few months.
We may be entering a death spiral in academic peer review. x.com/lzhou1110/stat…
Kinda reflects the state of the job market everywhere:
350 applicants for a PhD position in theoretical physics. It grows every time. Not just in Leuven, but everywhere.
@archi_tradition Madrid forever!
Hi everyone! 👋 We're running a brief anonymous survey on how cryptographers and security researchers view the potential quantum threat, for a research project. We'd really appreciate your input! forms.gle/6wDL65dRPb5JSu… Thanks so much! 🙏
@wadg Thanks! I haven't looked into Kimchi before, but this applies to any proof system whose cost is dominated by MSMs over a fixed base (so not Bulletproof-style systems). It works for Plonk and HyperPlonk (with KZG), Nova, HyperNova, KZH-fold, Groth, etc.
1) We present the first truly private, single-server zkSNARK delegation scheme for well-known group-based zkSNARKs such as Groth16, Plonk, and Nova. Our core idea is to delegate the prover’s most expensive computation—namely, the MSM—to a single server.
@MMJahanara Let me know!! What ultimately matters is the computational power of the server/client, e.g. with a single-threaded client we saw up to a 40× speedup. Also with GPU-accelerated hardware, the server could be another 5× faster...
@thefrozenfire We had the network bandwidth in our protocol considered, but right we ignored costs such as serialisation, thanks for the suggestion!
2) While we maintain strong privacy guarantees. Unlike all prior works (including multi-server settings), our proofs are unlinkable to the client–server interaction, making the scheme suitable for privacy-critical applications, such as Zcash.
This new paper looks very cool. I was never a fan of delegation schemes requiring you to secret share the witness between servers. Here there is a nice idea of how to privatey delegate an MSM to one server using the learning parity with noise assumption. eprint.iacr.org/2025/2113.pdf
@alinush But, we've found a gap in research for efficient schemes supporing large unstructured tables. Schemes like CQ require a significant amount of preprocessing, i.e. impractical for tables larger than 2^30. Fortunately, most tables in practice are structured and decomposable though
@alinush Honestly, I'd say it really depends on the underlying table, whether you, e.g. if it's a structure table, then you can decompose it into smaller tables, then table-dependent approaches like plookup would be okay!
(1) In this paper, we provide a unified framework for lookup table arguments, considering some overlooked aspects such as projectiveness and different modes of compatibility with proof systems.
@thee_harbinger لوکیشن دقیق ش کجاست؟
(4) We also provide an excellent survey of existing techniques categorised into four families: (i) multi-hash based ones, (ii) logup based (iii) subvector extraction (matrix-vector) and (iv) polynomial processing.
(3) We point out some important gaps, such as a lack of a lookup scheme with moderate preprocessing and efficiency for unstructured tables, etc.
Shayn @Shaaayyn
224 Followers 222 Following
Nimo 💎 @NimoCryptoX
114 Followers 375 Following Crypto investor & airdrop hunter 🪂 Sharing alpha, gems & free crypto 💎 Follow and stay early 🚀
ماهی رنگی @mahirangi
1K Followers 299 Following عاشق ابرا یا شایدم تو ابرا. کاش میشد زندگی رو سفر کرد یا شایدم سفر رو زندگی.
اشک ششم @Ashke6sheshom
231 Followers 781 Following
Rasoul @rasoul2x
212 Followers 759 Following Exploring future with Tech | Decoding Financial Markets with Data | Learning Timeless lessons from History
Nadim Kobeissi @kaepora
26K Followers 148 Following Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia.
Helger Lipmaa | 🇺�... @HLipmaa
1K Followers 414 Following Cryptographer (University of Tartu, Estonia). Zero-knowledge, zk-SNARKs.
Carlo Modica @carlo_cretino50
482 Followers 1K Following Cryptography engineering, privacy first. Always side questing Used to be into quantum computing. https://t.co/7FXXcJHcJD ex: @0xLita, @anoma, @QuantinuumQC
square 🟥 @chloeallegra228
3K Followers 4K Following {geometry, abstraction, logic, cryptography} 🇨🇺🇳🇱
Liyi Zhou @lzhou1110
2K Followers 476 Following Views my own. Former student of @HatforceSec. Lecturer (Assistant Professor) @ USyd
Andrew Miller @socrates1024
23K Followers 5K Following interim manager @ teleport computer 🛡️ dstack integrations 🏫 https://t.co/LZtbefGx8o
sivat.eth @0xSiva
544 Followers 4K Following 1st principles thinker 🧬I ❤️ math, cs 🧮| code 🦀🛠| eth Ξ, applied cryptography 🗝: ecc ➠ pqc⏳, zk proofs 🪄↔️🧾 Timeline: high SNR cryptography, eth📝🔑⛓🌐
hi high youp 🐬 (�... @hiyeop_
89 Followers 376 Following in a world of worries, be a warrior | shitpost account
BARAA FROM GAZA ✌�... @itisberro
1K Followers 3K Following First a human being, then a mother, teacher, trainer, cultured and free woman, sharing our her daily reality.
0xPamanSam I Evm 🐬 @0xdhyzal
627 Followers 2K Following vibing with the proof culture 🌐 sound ideas, sound minds • @SoundnessLabs
Twinyk /soundnesslabs... @Twinyk2
1K Followers 4K Following cryptocurrency/web3/vendor/cos am a favoured child(#)
preciousweb3🔶 @preciouschigo9
2K Followers 3K Following Community manager + Elite moderator + Cryptographer = NO LIMIT https://t.co/NmD9giMzyG
Raju Maity @maity15132
7K Followers 8K Following Ambassador @QwertiAI Top Contributor in @SoundnessLabs❤️ @RialoHQ❤️ @FlutonIO❤️ @RAFA_AI❤️
alin.apt @alinush
40K Followers 343 Following i put the “crypto” in “cryptocurrency.” head of cryptography at @aptoslabs | math, research, engineering 💍 + 👶 + 🏍️ = ❤️
thisvishalsingh 🪐 ... @thisvishalsingh
3K Followers 2K Following securing onchain cryptography next billion dollar & making security accessible to any developer, intern @Zippel_Labs. https://t.co/JXIUM0ZHdW
Brandon Scott Arbuthn... @brando_sui
473 Followers 1K Following Software Engineer on the side 🛡⚔️ Everything is computer—iusd.eth 🇺🇸🇵🇱🇦🇷
Lucian3 @RedLucian3
487 Followers 901 Following Building narratives & alpha around Crypto 🌐 Not financial advice 🌿 Early zk adopter | Exploring modular infra
𝐒𝐰𝐞𝐞𝐭�... @Sweety4384
397 Followers 2K Following Contributor: Anoma- Acolyte Sentient - Artist Seismic- Mag 1
Biswa FF @drag4_t
7K Followers 8K Following Learning Web3 & Blockchain Development • Pushing the Future of Crypto Ambassador @QwertiAI Contributing @axisrobotics
Xaclovis 🏴☠�... @xaclovis
180 Followers 1K Following Nunca esqueça que o Momento ou lugar mais importante é AGORA | Seja grat@ por tudo | Seja o Bem | Aprenda Algo Novo.
Priyaj (✱,✱) @anjandas1412369
1K Followers 2K Following
Paiko_ @MrPaiko
1K Followers 1K Following
Isabel Foxen Duke⚡�... @isabelfoxenduke
16K Followers 2K Following MFTV & Bitcoin Rails | coauthor BIP 360 | Head of @MARAFoundation_ @MARA
Arman Kolozyan @arman_kolozyan
57 Followers 171 Following
Mike Connor @mike_connor
1K Followers 893 Following cto @aztecFND. Exploring private smart contracts since 2018. Thinking about @aztecnetwork @NoirLang.
Helger Lipmaa | 🇺�... @HLipmaa
1K Followers 414 Following Cryptographer (University of Tartu, Estonia). Zero-knowledge, zk-SNARKs.
Guru Vamsi Policharla @guruvamsip
470 Followers 323 Following researcher @commonwarexyz previously @UCBerkeley @iitbombay
Nadim Kobeissi @kaepora
26K Followers 148 Following Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia.
No Context Brits @NoContextBrits
1.8M Followers 0 Following A mordant celebration of British mediocrity according to the Washington Post. Contains sarcasm, irony and context.
Yupeng Zhang @YupengZhang7
2K Followers 276 Following Assistant Professor @ECEILLINOIS University of Illinois Urbana-Champaign
بهمن كلباسى @bbckalbasi
281K Followers 3K Following خبرنگار بى بى سى فارسى در نيويورک. اینجا فقط به فارسی تویت می کنم. براى تويت هام به انگلیسی اين اكانت را دنبال كنيد: BahmanKalbasi@
Vinod Vaikuntanathan @Vinod_MIT
2K Followers 75 Following Cryptographer, Professor at @MITEECS and co-founder of @DualityTech.
Nigel Smart @SmartCryptology
6K Followers 421 Following Interested in cryptography and computing on encrypted data in particular Citizen of Nowhere @[email protected] @smartcryptology.bsky.social
Kostas Kryptos @kostascrypto
29K Followers 39 Following 🔮 a cyborg since 2009, cryptographer & ethical hacker, raised by Satoshi Nakamoto; ex-Meta lead researcher, co-founder/chief cryptographer of @Mysten_Labs 24/7
George Danezis @GDanezis
11K Followers 2K Following Prof. of Security and Privacy Engineering at UCL & Chief Scientist @mysten_labs. Interested in decentralization, privacy, systems, and machine learning.
Ertem Nusret Tas @ErtemNusretTas
1K Followers 503 Following I am a post-doc Research Associate at a16z Crypto Research.
Ignacio Manzur @nachitomanzur
100 Followers 89 Following Part III in Pure Mathematics at the University of Cambridge (June 2022). Ex cryptography researcher @nethermindeth. PhD candidate in Computer Science at @EPFL.
Rocky @rockycrypt
809 Followers 571 Following co-founder @SoundnessLabs — sound quantum-proof digital wealth
Cambridge University @Cambridge_Uni
866K Followers 2K Following Research, news, events and student stories from the University of Cambridge
Bryan Ford @brynosaurus
3K Followers 410 Following Monsieur le Professaurus de l'Info-Cyber Blahdeeblah, EPFL
Wilmer Daza @wadg
189 Followers 333 Following I am computer science engineer, building something new on #ZPK #RWA #httpz 🪶 #tokenization #identity #KYC. Passionate about life and Jesus ❤️🔥
Varun Thakore @varunthakore
165 Followers 398 Following engineer @zksecurityXYZ, mtech ee @iitbombay
Wei Dai @_weidai
18K Followers 678 Following Research Partner @1kxnetwork. CS PhD @UCSanDiego. Alpha in highlights. Personal opinion, not investment advice.
David Wong @cryptodavidw
18K Followers 3K Following security @zksecurityXYZ & advisor @archetypeVC, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
weijie.eth @weijie_eth
3K Followers 3K Following Hiring at @renegade_fi. cryptography engineer and researcher. prev. @BainCapCrypto, @__geometry__, @PrivacyEthereum, @Consensys
Will Diamond @wdiamond_econ
4K Followers 2K Following Associate Professor of Finance, @UWMadison. I study safe assets, banking , central bank policy- tools to prevent financial crises and clean up after them.
Rami Khalil @ramikhalil
1K Followers 2K Following Principal Research Engineer @boundless_xyz | Computing PhD @imperialcollege
Ethan Buchman (🐝,�... @buchmanster
36K Followers 8K Following Internet Biophysicist. CEO @cyclesmoney, @informalinc. Co-founder @cosmos. Respect the Graph.
Justin Martin @thefrozenfire
778 Followers 2K Following Cryptographic locksmith. Fashioning arithmetic keys and the locks they fit in.
Kasra Abbaszadeh @KasraAbz
56 Followers 87 Following
Ron Rothblum @ronrothblum
2K Followers 446 Following
Daira-Emma Hopwood ze... @feministPLT
4K Followers 1K Following Trans queer auDHD. "I want freedom, the right to self-expression, everybody's right to beautiful, radiant things."
Claudio Orlandi @claudiorlandi
3K Followers 962 Following Professor in #Cryptography at @AarhusUni: #MultipartyComputation #ZeroKnowledge #Blockchain @ConcordiumNet @partisiampc Originally from Florence, Italy.
Ben Diamond @benediamond
534 Followers 104 Following Using computing to advance research-level algebraic geometry @mathematics_inc.
alin.apt @alinush
40K Followers 343 Following i put the “crypto” in “cryptocurrency.” head of cryptography at @aptoslabs | math, research, engineering 💍 + 👶 + 🏍️ = ❤️
Gazelle @qatkkalhori
29 Followers 203 Following Researcher in applied cryptography ( mostly interested in zk) at DISCRYPT, interested in Bitcoin and eager to learn almost everything
Chris Peikert @ChrisPeikert
6K Followers 57 Following Cryptographer (lattices/post-quantum), Professor @UMichCSE, CS(cientific)O @AlgorandFoundation, PhD @MIT_CSAIL. Previously @gatech_scs. Here I speak for myself.
Riad | co-founder at ... @kwantam
161 Followers 71 Following Lasso / Brakedown / Hyrax / BLS sigs std / RFC9380 / etc. Mastodon: @[email protected]
Mahsa Bastankhah @MBastankhah
180 Followers 122 Following PhD student @Princeton. Working on Reinforcement Learning
Ngoc Khanh Nguyen @KhanhCrypto
713 Followers 181 Following Lecturer (Assistant Professor) in Cryptography at King's College London, interested in post-quantum cryptography and zero-knowledge proofs.
Mahimna Kelkar @_mahimna
1K Followers 160 Following Cryptography, Blockchain Security | Incoming Assistant Professor @PurdueCS (Fall 2026) | Research Scientist @Offchain | CS PhD @CornellCIS

































