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

Improve efficiency of find_residue #24

Closed jkatzDfns closed 1 year ago

jkatzDfns commented 1 year ago

Efficiency of the find_residue function in common/sqrt.rs (and the way that function is called by paillier_blum_modulus) can be improved. Remember the goal is to find bits a_i, b_i such that (-1)^{a_i} w^{b_i} y_i is a quadratic residue. This can be done as follows:

jkatzDfns commented 1 year ago

I wanted to write the code more clearly and efficiently