In a specific Paillier implementation, why is r prime? I have a question about an implementation of the Paillier cryptosystem.

In the description of Paillier above, encryption of a plaintext message $m$ on $\mathbb {Z}_{n^{2}}$,  $0\leq m&lt;n$, proceeds by choosing a random number $r$ such that  $0 &lt; r &lt; n$ and computing the ciphertext as $c=g^{m}\cdot r^{n}{\bmod n}^{2}$ for generator $g$.

However, in one open source Paillier implementation in Python, the encryption function creates $r$ as a prime number, making for slow encryptions. 

I am curious about why $r$ is made prime in that implementation, when no such restriction exists in the public algorithm description.   Could it be that it is a mathematical shortcut, or a compensation for some other shortcut, perhaps as the generator g is "hard coded" to $n+1$, rather than chosen by random/trial testing?  

Is there any risk in changing the implementation to make $r$ random but not necessarily prime?

I mean no discredit to the author of the code.  It is robust code and has served me quite well.  I want to understand the reasons why the restriction.  Thanks!
Is there any risk in changing the implementation to make $r$ random but not necessarily prime?


None [1].  Consider the case where you encrypt two values, forming the ciphertexts $g^m r^n$ and $g^{m'} {r'}^n$, and then you homomophically add them (by multiplying the two ciphertexts).

That results in the ciphertext $g^{m + m'} (r \cdot r')^n$.

As a result, $r \cdot r'$ may not be prime [2]; if this were a security risk, that means that you really couldn't use homomorphic addition (or, actually, Paillier at all, as an attacker could take your ciphertext, add an encrypted 0, and generate another ciphertext that encrypts the same plaintext, but with a likely composite $r$).

Hence, there is no drawback for choosing a composite $r$



[1]: Other than the risk inherent with modifying any cryptosoftware and accidentally breaking something you didn't intend...

[2]: Actually, it might happen to be, as it's actually $r \cdot r' \bmod n$, and that value just might happen to be a prime within $\mathbb{Z}$