What gets proven in zkML is mostly inference bookkeeping, with sumcheck/GKR, quantization, KV caches, and prover hacks.
trending3
01 02 Preprint on sparse arguments of knowledge, where prover cost tracks nonzero witness entries and lookup arguments do the heavy lifting.03 Sunshine Systems: Enabling Privacy-Preserving Compliance with Freedom of Information Laws eprint.iacr.orgZK FOIA for agencies to prove they didn't “forget” documents, with lookup arguments and a cheap prototype.