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…