We should clean and correct comments across gnark. Also, It would be nice in the code generation to use mmcloughlin's mathfmt for equations and bib for Bibtex references.