Special thanks to arnaucube**,* Brecht Devos, Barak, Benedikt Bünz, Binyi Chen, and Ben Wan for review.*TL;DRThe goal, the whole zk industry is working on, – is to (i) decrease the proof generation cost as much as possible while (ii) preserving proof as small as possible and (iii) verification as efficient as possible. It’s possible through prover optimisation or, as an alternative, one can compress the data the prover proves.Huge work was done on folding scheme techniques within the last sev...
