Closed maurges closed 1 year ago
Looks like you have tests that fail with some probability @d86leader ?
Oh crap. A good incentive to migrate to rand_dev sooner
Now clippy fails with this error: https://rust-lang.github.io/rust-clippy/master/index.html#uninlined_format_args
But I printf-style separation of arguments and format =(
This proof is also necessary for cggmp. I decided to add it here since it uses some of the same structures as others here, and is tangentally related to paillier moduluses.
This proof uses a different api for Data and PrivateData which I found more convenient in cggmp. I think I will rewrite all other proofs in the future to use the same api.
Also slight refactor of tests in all modules related to Aux generation.