01▲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.gkrllmlookup-argumentsprivacyquantizationsnarksumchecktransformerstwitterverifiable-inferencezkzkmlzksecurity0 pts/nonce/3 days ago/1 comment