Arithmetization

We now look at a second technique to build SNARKs that aims to fix some of the shortcomings in our previous exploration.

A look at the bridge between the representation layer of problems, and the proving layer.