's talk on how one can optimize the shape of their circuit depending on proving time/proof size/verifier time etc
Surprised nobody's talking about this
community has been talking about this a lot, this property is very cool. Will allow some circuits to be optimized for fitting the prover in the browser, at the cost of verification time, etc.