Module kimchi::snarky::cvar

Enums

• FieldVar
  A circuit variable represents a field element in the circuit. Note that a FieldVar currently represents a small AST that can hide nested additions and multiplications of FieldVars. The reason behind this decision is that converting additions and multiplications directly into constraints is not optimal. So we most often wait until some additions have been accumulated before reducing them down to constraints.

Type Definitions

• ScaledCVar
• Term