“We Need To Go Deeper” StarkWare StarkWare StarkWare · Follow Published in StarkWare · 11 min read · Mar 14, 2019 275 8 This is the third post in our STARK Math series, if you haven’t read the first and the second posts, we recommend you do so before reading on. Fair warning: this one is a bit mathier than its predecessors. Photo by Iswanto Arif on Unsplash Recap In the previous post we introduced arithmetization — the process of transforming a Computational Integrity (CI) statement into chec...
