Update all the proofs once again

LFDT-Lockness / paillier-zk

Zero-knoledge proofs of some paillier cryptosystem properties for use in CGGMP21

Apache License 2.0

0 stars 1 forks source link

Update all the proofs once again #21

Closed survived closed 1 year ago

survived commented 1 year ago

Turns out that we're implicitly supposed to encode/decode integers when we do paillier encryption/decryption. I updated encryption function, added decryption, updated all the proofs and the spec.