would love to learn more about the latest with deterministic / provable LLMs (is zkML the term?)

LLMs as reproducible compilers, compression algos, embedded in smart contracts, proof that handlers aren’t larping as agents, etc etc

who’s got the inside scoop here & can share some info to enlighten the rest of us?

imho today's "onchain agents" are more thought experiment than innovation until we have real zkML

prev: /nook, protocol @ opensea, co-author seaport & stuff.
professional @slokh and @0xalexander fanboy

You don't think there are any use cases for using zktls to verify that a response did in fact come from open ai? Obviously you can't secure a rollup with that trust assumption but it generally feels extremely useful to me

My little experiment I am building on the side does this to handle moderation. Anybody can submit a proposal to the DAO but to submit one they must prove that they did a specific prompt to open ai and the response came from open ai

ah yeah that's a good point / use case – long-term decentralized LLMs will need the zk sauce and i think are a good end-goal but zktls is a good middle ground in the meantime