▲Archetype x zkSecurity - Proof is in the Pudding: zkML blog.zksecurity.xyz What gets proven in zkML is mostly inference bookkeeping, with sumcheck/GKR, quantization, KV caches, and prover hacks.0 pts / by nonce / 3 days ago / 1 comment