FROST-GKR folds many Poseidon2b perms into one trace plus two sumchecks, instead of hand-checking each round like it’s 2021.

What gets proven in zkML is mostly inference bookkeeping, with sumcheck/GKR, quantization, KV caches, and prover hacks.