Arithmetization¶

The language that we use to express circuits for a particular proof system.

Usually, an arithmetization will define circuits in terms of polynomial constraints on variables over a field.