Charalampos (Babis) Papamanthou

@chbpap

professor of computer science at @Yale | co-director of @YaleACL | chief scientist at @lagrangedev | researching and teaching cryptography and security

New Haven, CT Katılım Mayıs 2015

190 Takip Edilen1.5K Takipçiler

Charalampos (Babis) Papamanthou@chbpap·15h

Brand new work at @lagrangedev! We introduce a coordination library for low-compute nodes via local blockchains linked into a cross-chain DAG. Every node can locally query both what it knows and what any peer subset agrees on. We support crash-fault & plan to explore Byzantine.

LAGRANGE@lagrangedev

In a real fight, no single drone sees everything. Sensors disagree. Maps drift. Each one thinks it knows what's happening, and they're all a little wrong. Halo pulls them into one shared picture the whole swarm acts on together. Not a vote. One converged view of what's true. One swarm. One shared picture.

English

868

Charalampos (Babis) Papamanthou@chbpap·4 Tem

14/ We are innovating updatable/distributed proofs, verifiable AI and verifiable data, feeding production systems like DeepProve. Looking forward to more innovation in research/engineering at @lagrangedev! Happy 4th!

English

272

Charalampos (Babis) Papamanthou@chbpap·4 Tem

13/ Finally, verifiable data infrastructure: Perseus--- Verifiable SQL via Decomposition (in preparation). Run SQL over untrusted databases and get a proof the answer is correct.

English

313

Charalampos (Babis) Papamanthou@chbpap·4 Tem

1/ At @lagrangedev, we have been working on ZK since 2022. Our team has published or submitted 12 papers at the top venues in cryptography and security: CCS, IEEE S&P, EUROCRYPT, CRYPTO, USENIX Security, FC, SBC. Here is my summary.

English

3.1K

Charalampos (Babis) Papamanthou@chbpap·3 Tem

8/ Looking forward to @USENIXSecurity 2026 in August and to the presentation in Baltimore!

English

424

Charalampos (Babis) Papamanthou@chbpap·3 Tem

7/ This work lies at the foundation of @lagrangedev's DeepProve system and will be appearing at USENIX Security 2026: eprint.iacr.org/2025/2326.pdf. Led by Sriram Sridhar from UC Berkeley during Lagrange's 2025 internship program, joint with @dipapadopo and @s_shravan.

English

289

Charalampos (Babis) Papamanthou@chbpap·3 Tem

1/ Super excited to share a recent @lagrangedev research highlight: ZKPs face challenges with computations involving non-polynomial functions, e.g., sin(x), exp(x) appearing in ML and DeFi applications, for example. We introduce a framework that improves the SOTA on this front.

English

2.1K

Keşfet

@lagrangedev @USENIXSecurity @dipapadopo @s_shravan @elonmusk @BarackObama @taylorswift13 @cristiano