[Documentation] provide examples of how to load the r1cs file with spartan or bulletproofs

iden3 / circom

zkSnark circuit compiler

GNU General Public License v3.0

1.29k stars 246 forks source link

[Documentation] provide examples of how to load the r1cs file with spartan or bulletproofs #13

Open dvc94ch opened 2 years ago

Popog commented 2 years ago

Does circom even support curve25519? There's a lot of hard-coded bn254 constants. I tried changing all the constants I could find and recompiling, but I still can't get spartan to even check satisfiability.