Charalampos (Babis) Papamanthou
@chbpap
Followers
1K
Following
2K
Media
31
Statuses
720
faculty at @Yale | co-director of @YaleACL | chief scientist at @lagrangedev | researching and teaching cryptography and security
New Haven, CT
Joined May 2015
Excited to share our recent work with @afallah94 and Mike Jordan addressing the practical challenges of implementing fairness-accuracy tradeoffs from data. Check out Alireza’s excellent summary here:
🧵1/ How should we balance accuracy and fairness when one predictive model has to serve multiple demographic groups? In our new paper with @annieulichney and Mike Jordan, “The Statistical Fairness-Accuracy Frontier”, we turn the fairness-accuracy frontier into a practical,
1
3
15
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!
Apply to the Lagrange Internship Program → https://t.co/sHMFEf6fbo At Lagrange, research interns take their ideas from theory to deployment, working alongside world-renown researchers from Yale and beyond Join us in building the future of cryptography 🚀
1
2
7
A detailed live thread on RobertoFest by @alinush407!
At RobertoFest today, celebrating Roberto Tamassia’s 40 years of contributions to authenticated data structures (and more!) Updates incoming!👇
1
0
5
ChatGPT Pro is becoming a valuable co-pilot for mathematical research. I expect AI interactive chat interfaces will become ubiquitous for both research and teaching.
I used ChatGPT to solve an open problem in convex optimization. *Part I* (1/N)
1
1
55
My outstanding PhD student Somiya Chhillar presented a cool attack @acm_ccs on a popular k-anonymization library. For the first time in over 20 years of cryptanalyzing k-anonymity, we showed that no auxiliary information is needed to breach privacy! https://t.co/ABPOJRUuCB
0
3
12
An exciting milestone for AI in science: Our C2S-Scale 27B foundation model, built with @Yale and based on Gemma, generated a novel hypothesis about cancer cellular behavior, which scientists experimentally validated in living cells. With more preclinical and clinical tests,
557
3K
22K
Great to see growing interest and progress around dynamic zk-SNARKs!
Excited to share our new paper: https://t.co/EIsfIsZAW4! We made Groth16 dynamic - proofs can now be efficiently updated when the witness changes slightly. Amazing that after 10 years, we still have new insights of Groth16 and Pinocchio. Joint work with two brilliant new students
0
0
2
Absolutely! Please reach out to my yale email.
1
0
1
The new version of our paper led by my amazing @YaleACL @YaleCSDept PhD student @wwj2358 is available here: https://t.co/3r3Oi2JN3j.
0
0
1
(i) reducing the Dynaverse proof size from O(sqrt{n}) to O(1), without black-box use of zk-SNARKs (achieving concrete efficiency); and (ii) eliminating black-box zk-SNARKs from our Dynalog construction, while retaining polylogarithmic complexities and universality.
1
0
1
We introduce Aero—a sparse universal zk-SNARK with prover complexity k*log^2 k, where k is the number of non-zero entries in the input. Beyond constructing sparse zk-SNARKs from dynamic ones, we also substantially improve our previous results on dynamic zk-SNARKs by:
1
0
1
Sparse zk-SNARKs are zk-SNARKs whose prover complexity depends only on the Hamming weight of the input, rather than its total size. In the new version of our dynamic zk-SNARKs paper, we explore connections between dynamic and sparse zk-SNARKs.
3
0
5
We are all very excited to meet up in Providence, @BrownUniversity, to honor the legacy of our advisor, Roberto Tamassia! A remarkable 40-year career of excellence! Big shoutout to our three sponsors: @lagrangedev, @TSawyerSoftware, and @BrownCSDept !!! https://t.co/MDAx6qWpui
0
0
5
"Fast retrieved, well displayed, all secured!" Excited for this event celebrating the remarkable scientific contributions of my @BrownCSDept advisor, Roberto Tamassia. A stellar lineup of computer scientists will gather to honor his impact---check it out!
0
0
3
If you missed today's great talk by @rel_zeta_tech (@aztecnetwork), be sure to check out the recording! https://t.co/3Gew60NkWJ
0
2
12
Join us tomorrow for a talk by @rel_zeta_tech (@aztecnetwork)! 🪧Title: Revisiting the IPA-sumcheck connection 📅When: 1pm ET, Sep 10 📷Livestream: https://t.co/cfbjEvqM5E
6
5
37
Do *you* know how to build cryptographic multilinear maps? (Just checking.)
Dan asking all of us to not stop and work on multilinear maps, which are now at least 23-years old! "I'm almost convinced someone on the planet knows the answer, and we haven't found that person yet."
1
3
15
Looking forward to the dynamic zk-SNARKs talk at SBC 2025!
Big news: Lagrange’s core research on Dynamic zk‑SNARKs (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) will be presented at the Science of Blockchain Conference (SBC) 2025 on August 4th. Here’s why it matters—for AI, crypto, and the future of verifiable compute: 🧵
0
1
11
🚨 BREAKING: Sui Research just dropped a major breakthrough in quantum transition of "some" blockchains. Unfortunately it works for Sui, Solana, Near, Cosmos and other EdDSA-based chains, but not for Bitcoin and Ethereum 😢 Here is the paper: https://t.co/XdsC90zQi9 *Afaik this
156
245
1K