Joined May 2022
- Tweets 3,289
- Following 88
- Followers 100,540
- Likes 2,124
843 Photos and videos
Pinned Tweet
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-…
1
11
65
305,711
Jun 12
For decades, digital systems were built on trust.
We trusted servers to run the right code.
We trusted networks to relay accurate information.
We trusted platforms to verify identity and content.
In an AI-driven world, trust is no longer enough.
We are moving from trust-based systems to proof-based systems. Get on the train or miss the right stop.
👇
lagrange.dev/deepprove
10
29
1,266
LAGRANGE retweeted
Jun 10
🔴 AMA: Allora x @lagrangedev
Thursday, June 11 · 3PM EST / 20:00 UTC
Allora's Head of GTM @MichaelZski will sit down with @BrianNovell from Lagrange labs to break down how ZK coprocessors make AI verifiable, and what it takes to prove an Allora inference end to end.
Got questions about verifiable ML? Join us here tomorrow.
9
3
30
2,888
LAGRANGE 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,708
Jun 9
“60× faster zkML” sounds like something marketing would say.
Unfortunately for marketing, the benchmarks are public.
Fork it. Run them. Beat us if you can.
→ lagrange.dev/blog/deepprove-…
4
2
14
881
LAGRANGE retweeted
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
LAGRANGE retweeted
Jun 3
Thrilled to announce that DeepProve is now open source.
Engineers, researchers and enthusiasts will now have access to the fastest zkML proof system.
The black box is open.
Build with it and feel free to reach out if you have any questions.
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
3
10
1,750
LAGRANGE 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
Jun 4
Yesterday we open-sourced DeepProve.
Today, the proofs keep running:
12M proofs generated 3M AI inferences verified 200 integrations across the Lagrange
network
Open code. Real proofs. Even agents.
→ lagrange.dev/blog/deepprove-…
10
19
38
2,884
Jun 4
Don’t trust it.
Prove it.
DeepProve is now open to everyone.
→ lagrange.dev/blog/deepprove-…
1
5
39
499,209
LAGRANGE retweeted
Jun 3
Trusting AI Agents: Mistake or Necessity? 🤔
AI After Dark is back with @LagrangeDev and @AIVM_Network!
We're discussing identity, reputation, and what it takes to verify agents as they become part of the economy.
🕑 14:00 UTC
📅 Thursday, June 4th
📌 x.com/i/spaces/1nGeLLZlebRKX…
238
52
392
157,592
Jun 3
Tomorrow, the black box opens.
Then it belongs to everyone.
2
4
15
2,082
Jun 2
12,000,000 proofs.
Most of them happened quietly.
That changes soon.
1
1
11
1,034
May 28
There’s a growing gap in modern infrastructure:
Autonomous systems can act.
But they often cannot prove they acted correctly.
Verifiability needs to be provable.
We’re building over here 🚧
Keep your eyes peeled.
4
3
14
1,885
May 27
Everyone talks about speed in autonomous systems.
But speed isn’t what breaks things.
It’s acting fast on incomplete, inconsistent, or wrong information.
In real-world environments, correctness is the bottleneck.
We’re just starting to feel it.
Full piece: lagrange.dev/blog/autonomous…
1
5
73
1,200,522
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.
13
7
31
4,617
May 13
A new capability is emerging in computing:
Systems can produce cryptographic proof that a computation executed correctly.
The result is no longer “trust me.”
It’s “verify this.”
Verification > Trust.
15
3
21
2,796