For a threshold network, do you choose G1 or G2 as the public key ?
Because we need to have both (signing + encryption), we found a way to reconcile the tension, and express the threshold pubkey under G1 and G2 at same time.
Finally deepprove is open sourced 🎉 the repo is here github.com/Lagrange-Labs/… 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 !
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…
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:
Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference.
We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before.
The future of AI is ZK. The future of humanity is Lagrange:
Great to see the ecosystem grow but bad benchmarking is kind of tired and sloppy.
We went through your benchmarking code @lagrangedev and it looks like you’re artificially handicapping @ezklxyz proving times by fixing the number of rows in our circuits to a very large number.
Introducing DeepProve—Lagrange’s zkML Library—a breakthrough in verifiable AI inference.
We can now verify AI decisions instead of blindly trusting black-box models. And we can do it up to 158x faster than ever before.
The future of AI is ZK. The future of humanity is Lagrange: