R1CS file format imported by dvsnark and used by gnark for proving is different

[manishbista28]

Describe the feature

R1CS format imported by dvsnark and used by gnark for proving is different.

Additional context

No response

[mukeshdroid]

Some more context was provided in the previous issue at https://github.com/alpenlabs/gc-verifiability/issues/13

SP1's gnark expects constraints in a format that has all the necessary fields. This is saved in r1cs_cached file. File with a lot of files and headers.

Not all of these fields are required by dvsnark library. This is saved in r1cs_to_dvsnark file. Simple File with few fields.