Feature request: read R1CS as serialized by libsnark

[kobigurk]

DIZK is an awesome concept, and I'd really want to try this out for some of the larger constraint systems I work on - some of these are in libsnark.

It would be awesome if we could read in R1CS constraint systems as they are serialized in libsnark, so DIZK could be used with a lot of the existing circuits out there.

[howardwu]

That sounds neat. Do you mean you construct circuits in libsnark (using something like gadgetlib) and would find it useful to export it to DIZK for running the setup and prover?

[kobigurk]

Exactly what I mean. I also mean additionally using libsnark to generate the witness.

[alexpArtos]

We are doing that. We modified ZoKrates to include a JSON output of the R1CS, and then read it back into DIZK. But our work in general is still in a rough state, and not really ready for sharing.

[naure]

You may consider using this format instead, and hopefully support multiple frontends at once: https://github.com/QED-it/gadget_standard