faculty at @Yale | co-director of @YaleACL | chief scientist at @lagrangedev | researching and teaching cryptography and security
Joined May 2015
- Tweets 746
- Following 188
- Followers 1,469
- Likes 1,610
33 Photos and videos
Charalampos (Babis) Papamanthou retweeted
Jun 3
Finally deepprove is open sourced 🎉 the repo is here github.com/Lagrange-Labs/dee… and you can run your own bench for gemma3 and gpt2 (and llama2 but not optimized). It's quite modular so adding another model is easy ! Reads safetensors, gguf, onnx !
Jun 3
AI doesn’t need to be a black box.
So we opened ours.
DeepProve is now open source. The fastest zkML in the world.
Fork it. Run it. Break it. Build something weird.
→ lagrange.dev/blog/deepprove-…
2
4
7
1,714
Charalampos (Babis) Papamanthou retweeted
Three years ago, we made a bet.
That cryptography could do more than secure rollups.
That it could become part of the trust layer for AI itself.
Today, every line of how we built it is open.
DeepProve is now open source and available to everyone.
8
5
22
3,102
Working with such a top-notch team of researchers and engineers at @lagrangedev is inspirational. Excited to see DeepProve being used in the real world and cannot wait to see what's next! Kudos to our CEO @Ismael_H_R for being a constant source of encouragement from day 1!
Jun 3
AI doesn’t need to be a black box.
So we opened ours.
DeepProve is now open source. The fastest zkML in the world.
Fork it. Run it. Break it. Build something weird.
→ lagrange.dev/blog/deepprove-…
5
393
1/ After 1.5 years of focused work with a dedicated team at @lagrangedev, I am thrilled to announce that our central project, DeepProve, has been accepted at CCS 2026 and is now fully open-source. See paper here eprint.iacr.org/2026/1112 and code here github.com/Lagrange-Labs/dee….
2
9
29
2,511
5/ Performance: DeepProve proves inference at ~174 tokens/min (GPT-2) and ~86 tokens/min (Gemma 3), while verification takes just 1 to 3.7 seconds. A distributed implementation scales throughput substantially further.
1
2
153
6/ None of this would have happened without the researchers and engineers at @lagrangedev who poured themselves into it. Thank you @nikkolasg1, @Ismael_H_R, Tianyi Liu, Nicholas Mainardi, @dipapadopo, Christodoulos Pappas, Shravan Srinivasan, Zack Youell, and @YupengZhang7!
1
163
Amazing work by our @lagrangedev intern Sriram Sridhar from @UCBerkeley!
May 18
The team at Lagrange has gone and done it again!
We're very excited that "Efficiently Provable Approximations for Non-Polynomial Functions" has been accepted to the USENIX Security Symposium.
2
9
1,013
Charalampos (Babis) Papamanthou retweeted
27 May 2017
Looking to learn about lattice-based cryptography? Check out my tutorial and survey: web.eecs.umich.edu/~cpeikert…
15
106
386
Charalampos (Babis) Papamanthou retweeted
Apr 29
I'm brewing a new course component on Crypto <> AI for my fall course: cpsc3640.netlify.app/, featuring several works from IC3.
I would love to incorporate a few talks/interviews with people building in this area. If you are interested, please DM me!
Apr 28
What can AI do for crypto, and what can crypto do for AI?
IC3's @AriJuels joined 1,100 industry leaders and researchers to discuss the science behind these emerging technologies
Thanks to The Programmable Economy: AI & Blockchain Redefining Markets for a fantastic event!
1
5
25
3,017
Intereresting take on “consensuslessness” for payments by @poddotnetwork researcher @giorgos_tsimos. When applications do not require agreement on everything, you can agree faster.
Apr 21
Building decentralized markets requires tackling challenges related to efficiency, real-time latency, market fairness, and censorship-resistance.
Running black-box consensus at each step of the way won’t cut it.
@abresas and @giorgos_tsimos discuss how Pod is utilizing a dual-architecture and enforceable market rules to provide fast and fair markets on decentralized networks on a global scale.
🎙️New episode of Inside the Pod 👇
3
341
It is a pleasure to work with such an amazing team of interns on different aspects of zk-SNARKs at @lagrangedev!
Apr 8
We’re excited to see three papers from our research interns accepted to @ZKProof VIII in Rome.
â—† Dynamic zk-SNARKs
â—† Relaxed Modular PCS from Arbitrary PCS and Applications to SNARKs for Integers
â—† Code-based Scalable Collaborative SNARKs
Work like this pushes forward the foundations of verifiable computation
Congrats to Weijie, Alireza, and Chris.
3
365
Charalampos (Babis) Papamanthou retweeted
Apr 8
Alireza
Alireza, another research intern, had his paper on relaxed modular PCS accepted to @ZKProof in Rome:
"What inspired this work was the gap between proof systems built over finite fields and the fact that real-world statements are often over integers. We tried to bridge that gap."
One more step toward making proving practical for real-world applications.
1
2
7
1,418
Charalampos (Babis) Papamanthou retweeted
Join our next talk by Aadityan Ganesh (@PrincetonCS)!
🪧Title: Characterizing Off-Chain Influence Proof Transaction Fee Mechanisms
đź“…When: 11am ET, Apr 3
📷Livestream: sites.google.com/view/yacl/s…
1
3
230
Charalampos (Babis) Papamanthou retweeted
Mar 23
#award Announcing the 2026 IACR Fellows iacr.org/fellows/
Congratulations to everyone!
9
49
3,484
Exciting event to attend right before Eurocrypt! iopfest.xyz/
1
7
1,153
Congrats to my 7th PhD student, Weijie Wang, on successfully defending "Dynamic Zero-Knowledge Proofs & their Applications"! His work on updatable SNARKs, sparse arguments, and recursion-free IVC will be presented at EUROCRYPT 2026: lnkd.in/eKuVchzA. Bravo Dr. Wang!
2
2
62
2,872
Charalampos (Babis) Papamanthou retweeted
Mar 3
Claude solved one of Donald Knuth's conjectures from writing "The Art of Computer Programming" and he wrote about it.
www-cs-faculty.stanford.edu/…
9
99
439
53,843