Closed weikengchen closed 3 years ago
As the title. This PR uses the new interface for optimization: (1) setting an optimization goal and (2) calling finalize instead of inline_all_lcs before converting the R1CS system to a matrix.
finalize
inline_all_lcs
As the title. This PR uses the new interface for optimization: (1) setting an optimization goal and (2) calling
finalize
instead ofinline_all_lcs
before converting the R1CS system to a matrix.