search

gnosis / dex-zksnarks

Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
46 stars 7 forks source link

Bellman #21

Closed fleupold closed 5 years ago

fleupold commented 5 years ago

Rust program to read a pepper generated R1CS + witness and prove it using bellman. This is similar to what we are trying to do with the DIZK framework.

fleupold commented 5 years ago

About parallelising the file reading. I have thought about it and put markers in place to see the amount of time spent on just reading the R1CS. I will optimise this if it turns out to be a bottleneck. Apparently rust does some pretty good optimizations under the hood.