This is the second part in our series about the math behind STARKs (first part here), and it is the first of two posts about arithmetization. Photo by Gayatri Malhotra on Unsplash By the time you complete this post, you should have a good idea of what execution trace and polynomial constraints are, and how a Computational Integrity statement gets transformed into these. We will start with a simple example of a supermarket receipt, and move on to a slightly more complex one, that of Collatz se...
