Too Long; Didn't Read
This is a followup to Part 1 and Part 2 of this series of posts on quadratic arithmetic programs. We use MIMC as the example because it is both (i) simple to understand and (ii) interesting enough to be useful in real life. This article absolutely expects you to know how modular arithmetic and prime fields work, and be comfortable with the concepts of polynomials, interpolation and evaluation. The code is very suboptimal (it’s written in Python, what did you expect)