LFDT-Lockness / paillier-zk

Zero-knoledge proofs of some paillier cryptosystem properties for use in CGGMP21
Apache License 2.0
1 stars 1 forks source link

Forbid using with openssl backend #9

Closed maurges closed 1 year ago

maurges commented 1 year ago

Since openssl silently ignores the provided random number generator, the deterministic challenges and commitments break, which breaks the proofs. For this reason openssl is not provided as a backend option. Still, someone could bypass this with cargo flags, so the better option would be to forbid the openssl backend completely some other way: by using compile_error! if it's possible to detect statically, and by panic! if not.