Translate the rank-1 constraint system (R1CS) into a dot product constraint system

[NiDimi]

Build a system for expressing and solving dot product constraints. Include functionality to reduce R1CS to dot product constraints. Basically we need to develop an algorithm to convert R1CS into dot product constraints and then solve them.

Paper Reference: Section 5.1: Principal Relation and Section 6: Reducing R1CS to Dot Product Constraints

[NiDimi]

Possibly that won't be necessary as we can assume that they have been already reduced.