Skip to content

Translating R1CS to PlonK circuits

Victor Dumitrescu requested to merge vdum_r1cs into master

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

Merge request reports