Translating R1CS to PlonK circuits
Cleaned up and documented version of the R1CS to PlonK circuit translator. Contains a few simple tests which are verified with PlonK, as well as a Pedersen hash test which is transformed into a satisfiable circuit but takes a disproportionately long time to be verified and proven in PlonK and it thus disabled in the test suite.
Left to do:
-
enable the slow test for Pedersen hash
Can be done after merge:
-
remove pin-depends in plonk.opam once ocaml-r1cs is published on opam
Edited by Victor Dumitrescu