Centralized Notes

Let’s dive into argument systems - particularly SNARKs. Taking a Peek First let’s get an overview of how SNARKs work at a high level. We will identify different components involved when performing a SNARK but keep them abstract for now. Arithmetic Circuits An arithmetic circuit is essentially a computation graph of a formula. Let’s assume we want to compute \(x_1 (x_1 + x_2 + 1) (x_2 -1)\). Now, the computation graph gives us the recipe to compute this formula. [Read More]