Open ebfull opened 8 years ago
The user may want to synthesize the constraint system and pass it to the r1cs proving routines, instead of serializing the constraint system into the proving key, which leads to both higher disk usage and memory usage when it is loaded into memory.
The user may want to synthesize the constraint system and pass it to the r1cs proving routines, instead of serializing the constraint system into the proving key, which leads to both higher disk usage and memory usage when it is loaded into memory.