0age
@0age
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?
5 replies
8 recasts
53 reactions
Nadav
@nadav
@remco from Worldcoin had a cool talk on this in Devcon from a few years ago and prob best source for practical knowledge on zkML / zk neural nets. AFAIK for any model reasonably large or useful by modern standards though TEEs are the closest you can get today — cool stuff from Nous research here
1 reply
0 recast
1 reaction
Nadav
@nadav
determinism without provability is probably under researched, though not sure if that’s remotely feasible given floats are non deterministic
1 reply
0 recast
1 reaction
0age
@0age
yes we had a nice chat on these very topics at devcon! you’d think at least the quantized models could handle determinism, is it really so much to ask to support same-input, same-output?!
0 reply
0 recast
1 reaction
