search

pepper-project / pequin

A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
Other
122 stars 46 forks source link

add srand for random input generation #3

Open camparijet opened 7 years ago

camparijet commented 7 years ago

input-generation should use rand after setting seed via srand, otherwise it always generates the same input value set.

I was confused because it was exactly same when I tried to run prover and verifier with different input. I'm not expert of formal verification, thus please correct me if I misunderstand something.