<-- - sets signal values === - creates constraints Must be rank-1 (R1CS) one side - linear other side - quadratic <== - sets signal values and creates constraints