Dimitris Papadopoulos

Most zk systems become inefficient when math stops being polynomial. Real systems aren’t purely polynomial. They rely on: sin, exp, sigmoid or erf Today we’re introducing research that makes non-polynomial functions efficient to prove in zk-SNARKs. The result: • Up to 256× lower error • Up to 20× better prover performance If we want verifiable AI in the real world, we must be able to prove the math real systems actually use. Hard math just became provable. Full paper ↓

Excited our paper "dynamic zk-SNARKs" will appear in EUROCRYPT 2026: eprint.iacr.org/2024/1566. Recently we also proposed dynamic zk-SNARKs in the designated verifier setting: eprint.iacr.org/2026/144. Currently working on dynamic zk-SNARKs applications. More news to folllow!

Really excited about the upcoming @lagrangedev internship program. Over the last two years we have worked with some amazing interns! Looking forward to reviewing new applications for the 2026 cohort, and do reach out if you have any questions!

OPINION: Zero-knowledge proofs add a crucial integrity layer to AI moderation, enabling companies to verify decisions without exposing sensitive data or proprietary models. Written by @Ismael_H_R coindesk.com/opinion/2025/0…

Introducing Dynamic zk-SNARKs—a breakthrough from the Lagrange research team Weijie Wang, @chbpap, @s_shravan, and @dipapadopo Dynamic zk-SNARKs mark a major step forward in making real-time, updatable cryptographic proofs a reality Here’s what that means and why it matters 🧵

Excited about Dynalog, our brand-new dynamic zk-SNARK with *polylog* updates and log or O(1) proofs. Polylog updates support large Hamming distance between source/target, e.g., n/polylog. Dynalog uses LSM trees & maintainable vector commitments. See eprint.iacr.org/2024/1566.

Our paper on efficiently updating ZKPs or, dynamic zk-SNARKs, has been accepted for presentation at the Science of Blockchain Conference! Grateful to @lagrangedev for inspiring and supporting this research. Looking forward to further advancing this line of work.

What a day 💪💪💪

Very excited for this release - using specialized proof systems tailored for ML models is giving incredible performance boosts ! For the technically inclined, here’s a TLDR of what happens under the hood:

Proud of the @lagrangedev research team for another fantastic paper. Dynamic zk-SNARKs are a new generation of fully updatable proofs. Credit to our amazing researchers Weijie Wang, @chbpap, @s_shravan and @dipapadopo!

Wow. Super exciting news today. The cryptographic VRF that we designed with Leo Reyzin, @dipapadopo and @fcelda designed and standardized via the IETF has been deployed in WhatsApp as part of key transparency. 🎉 engineering.fb.com/2023/04/13/sec…

Just in: about 80% of the IACR members support the creation of the IACR Communications in Cryptology new journal! 👏 Full results and elected directors are available at vote.heliosvoting.org/helios/e/IACR2…

Dynamic searchable encryption with optimal search time in the presence of deletes + forward/backward privacy + faster in practice? DONE! My student @OItsMAK2 presents our work (eprint.iacr.org/2022/648) today at 2:15pm at @USENIXSecurity (joint work w/ J.Chamani + @dipapadopo)

@senykam @MongoDB Congratulations!

When I started doing research in encrypted search 20 years ago, I made a commitment that I would see it through. In 2021 our company Aroki Sys. was acquired by @MongoDB and today I’m excited to announce that we’re releasing encrypted search in MongoDB: mongodb.com/blog/post/mong…

@FBaldimtsi @NSF @GMUCompSci Congratulations!!! Very well deserved 🙂

Really happy about my Career award and grateful to ⁦@NSF⁩, my mentors, my colleagues at ⁦@GMUCompSci⁩ and beyond and my amazing students! Looking forward to exciting research and educating more and more on crypto within and beyond CS boundaries cec.gmu.edu/news/2022-05/f…

OK speak up my #cybersecurity folks. Which of you broke Overleaf right before the @USENIXSecurity deadline??? :)

Recent @MonashUni #Cybersecurity Seminar by @YupengZhang7 is available to watch online. Excellent summary of zero-knowledge proofs and their applications to #MachineLearning! @MonashInfotech monash.edu/it/ssc/cyberse…

Just presented our paper "SEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage" @USENIXSecurity'20 (joint work with @dipapadopo, @chbpap and @shintre_saurabh). You can find the paper, presentation video and slides here usenix.org/conference/use…

@bigflywth Not certain yet... Last year we started with on-site but had to switch to online pretty soon afterward

@dipapadopo Hi professor, I will be on the market, and I am interested in the position! Will the interviews be virtual or physical?

At HKUST CSE we are hiring at multiple faculty positions, including in the areas of Security and Privacy. If you plan to be in the job market this year, do let us know!