“ZK will be more useful in AI than crypto” — something I didn’t really believe until recently

But it will be used in ways people didn’t predict (not zkml or identity)

ヽ(⌐■_■)ノ♪♬ @ @gauntlet/🤖Ventures/tldr/Aera \\ ¯\_(ツ)_/¯ Struggling with the nature of randomness \\ main: @gaa \\ /red-bull /defi-research maxi

be honest was this triggered by the tea app

building [redacted] | surfing @ venice, ca | eating @ gjusta / gjelina | “lucky me, lucky mud” 🤠

Building Verifiable Database Infrastructure and Collaboration tools at Provably.

Yup correct and it’s super essential.

Ai responses are non deterministic by their very nature.

And when responses are on private data it’s simply impossible for another another party to verify.

So we are seeing solid demand for agent to agent data collaboration testing right now.

Yeah but that feels more like a "tool call improvement due to ZK" than an "AI model improvement due to ZK"

That’s nice.

But verifiable SQL will be more useful and consequential - why?

It’s super easy to write - just a one or two lines of code. And the remote party can verify logic very easily.

Prediction LLMs will use it a lot more than humans to prove / verify agentic data exchange on private data.