arkworks-rs / snark

Interfaces for Relations and SNARKs for these relations
https://www.arkworks.rs
Apache License 2.0
770 stars 207 forks source link

Add optional configurable circuit generator for testing #322

Open tsunrise opened 3 years ago

tsunrise commented 3 years ago

in r1cs crate: I believe it is better to add a circuit generator with configurable number of instance variables, number of witness variables, sparsity, and random source. So, when user is testing their own proof protocols, they do not need to write code to generate circuit again. This circuit generator can be an optional feature.

Should I write a PR to add this feature?