We are experimenting with DIZK (https://github.com/scipr-lab/dizk), which parallelises the expensive SNARK operations (verification key generation and proof generation) on an AWS cluster. DIZK requires the R1CS as well as the witness as an input.
We would like to use pepper to compile higher level C code into the R1CS and also use pepper's solver to compute the witness.
This PR introduces a way to export the witness information without doing any of the key of proof generation.
We are experimenting with DIZK (https://github.com/scipr-lab/dizk), which parallelises the expensive SNARK operations (verification key generation and proof generation) on an AWS cluster. DIZK requires the R1CS as well as the witness as an input.
We would like to use pepper to compile higher level C code into the R1CS and also use pepper's solver to compute the witness. This PR introduces a way to export the witness information without doing any of the key of proof generation.