How far is ZKP from compute verification in high-stakes environments?
A baseline overhead measurement and the hash-problem This is an exploration into the current state of ZKP for LLM inference to use in a high-stakes environment like international agreements. It’s the first post in a current project I’m working on that will result in a paper that goes into all...
Oct 177