Talk:Paillier cryptosystem

The update to encryption, where $r\; \backslash in\; Z^\{*\}\_\{n^\{2\}\}$, is added due to the discussion here. This is only relevant to small "lecture-sized" keys, e.g., p=11, q=13. With large key sizes, e.g., 1024-bit, the probability of r being a multiple of p or q is negligible. Still, it is important to add this caveat especially for students new to this cryptosystem. See https://crypto.stackexchange.com/a/62378/49011. 100.36.66.167 (talk) 03:47, 17 September 2018 (UTC)

The "simpler variant" may be incorrect regarding $\backslash lambda$. The least common multiple form works fine (use $lcm(x,\; y)\; =\; \backslash frac\{x\backslash cdot\; y\}\{gcd(x,\; y)\}$). Additionally, decryption seems to fail in the cases where p==q. 100.36.66.167 (talk) 19:11, 14 September 2018 (UTC)

I think there may be an error in the description of the Encryption algorithm. Step 2 says $r\backslash in\; \backslash mathbb\; Z^\{*\}\_\{n^\{2\}\}$, but page 7 of the original paper says "select a random r < n", so shouldn't it be $r\backslash in\; \backslash mathbb\; Z^\{*\}\_\{n\}$ -Mike

: Not sure, whether it is an error or an attempt to make the description easier to understand. What is really neccessary is that $r^n$ is a random element of the subgroup of order $\backslash varphi(n)$ of $\backslash mathbb\; Z^\{*\}\_\{n^\{2\}\}$. This can either be achieved by selecting a random element $r\backslash in\backslash mathbb\; Z^\{*\}\_\{n^\{2\}\}$ or by selecting

The description of the key generation algorithm is not correct.

To see this, suppose I chose the primes $p=7$, $q=29$ and compute $n=p*q$.

Then $p$ divides $\backslash varphi(n)$ and there is

no number $g$ such that $\backslash gcd(g,n)=1$ and

$\backslash gcd(L(g^\{\backslash varphi(n)\}\; \backslash mod\; n^2),\; n)=1$

Imraith-Nimphais (talk) 15:00, 7 August 2009 (UTC)

: That's because the pair p=7,q=29 is not an "admissible" combination. To be admissible choices for p, q, must satisfy $\backslash gcd(n,\; \backslash varphi(n))=1$. This criterion appears to have first been explicitly stated in [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.3383]. As the authors point out, "When p,q, are large and randomly chosen, this will be satisfied, except with negligible probability." Primepq (talk) 19:28, 29 August 2009 (UTC)

I think there is an error suggestion to use $\backslash lambda\; =\; \backslash varphi(n)$. This could be correct only if $n$ would be prime, but it is composite, thus proper Carmichael function must be used. — Preceding unsigned comment added by Arnisut (talk • contribs) 22:44, 24 November 2011 (UTC)

"Key generation: Choose two primes p and q such that gcd(pq,(p-1)(q-1))=1. This property is assured if the primes are of equal length."

... what about p=41, q=83? 50.224.1.242 (talk) 19:56, 12 March 2018 (UTC)

... those are unequal (bit) length. 100.36.66.167 (talk) 19:13, 14 September 2018 (UTC)

Heh folks! What's its actual status? Have any breaks been found? What's its likely future? Inquiring minds want to know! ww 16:38, 12 Jun 2004 (UTC)

:here here! 69.203.127.36 05:51, 6 December 2005 (UTC)

::Paillier's security is based on the same assumptions as RSA. JuanXonValdez 22:07, 13 December 2005 (UTC)

:::No, the security is not based on the same assumptions. Both are based on the difficulty of integer factorization, yes. However, RSA is also based on the RSA problem, whereas Paillier is also based on something else called the higher-order residuosity problem (as opposed to quadratic residuosity problem). Lowellian 08:26, 14 January 2006 (UTC)

:::: In the Paillier system we're dealing with the Composite Residuosity problem (CR) and the intractability of distinguishing n-th residues mod n^2, the Decisional Composite Residuosity Assumption, (DCRA). As the paper says, CR is the problem of "deciding n-th residuosity, i.e. distingishing n-th residues from non n-th residues." In this case z is an n-th residue mod n^2 if there is a y such that z = y^n mod n^2 . By the way... the wikipedia description of the scheme is vastly different from how it was defined in the original paper. It's going to have to get corrected. Offsite 16 February 2006

I want to try this deterministic variant of Paillier system.

Original definition E(m) = g^m.r^n mod (n^2)

What happens when we set r=1?

We are assuming that g != 1 mod n .. thus the order of g > n

Is this variant secure?

: It is not semantically secure, because a plaintext always encrypts to the same ciphertext (given the same key). The main property of probabilistic encryption (e.g. Paillier's) is that given the same plaintext and the same key, it will encrypt randomly to one of potentially a bajillion ciphertexts (excuse the made-up number). Though the original Paillier system is IND-CPA secure, it is still not IND-CCA2 secure. Check out the notion of ciphertext indistinguishability. Offsite 21:15, 20 March 2006 (UTC)

: Besides not being semantically secure, it is trivially insecure since if E(m) = g^m mod n^2, then the public function L(E(m))/L(g) returns the plaintext m. You can turn the Paillier cryptosystem into a deterministic scheme with some provable security though. Basically the idea is, at the time of key-generation, set e = g*r^n mod n^2 for some secret r, and add e to the public key. Then encryption can be done E(m) = e^m mod n^2. If this is instantiated with the Damgaard-Jurik variant of Paillier, this was shown to achieve a form of security for deterministic encryption. See [http://eprint.iacr.org/2008/352] which appeared in CRYPTO 2008 for a full description of the scheme and the security achieved. Beamishboy (talk) 21:20, 7 February 2009 (UTC)

It says that this algorithm can be used in an election where a user select 1 or 0 as a vote. But what happens if the user selects 2 instead ? or 5000 for what it matters ? I seen nothing forbidding it. How can an official check this is not what happened ? --Iv (talk) 13:41, 19 March 2010 (UTC)

:Interesting question. According to [http://web.mit.edu/6.857/OldStuff/Fall02/handouts/L15-voting.pdf these lecture notes], the voter must submit zero-knowledge proofs of his/her votes. -- intgr [talk] 18:26, 19 March 2010 (UTC)

Hello fellow Wikipedians,

I have just added archive links to {{plural:1|one external link|1 external links}} on Paillier cryptosystem. Please take a moment to review [https://en.wikipedia.org/w/index.php?diff=prev&oldid=707357652 my edit]. If necessary, add {{tlx|cbignore}} after the link to keep me from modifying it. Alternatively, you can add {{tlx|nobots|deny{{=}}InternetArchiveBot}} to keep me off the page altogether. I made the following changes:

• Added archive http://web.archive.org/web/20160106172152/http://www.rsasecurity.com/rsalabs/cryptobytes/CryptoBytes_January_2002_final.pdf to http://www.rsasecurity.com/rsalabs/cryptobytes/CryptoBytes_January_2002_final.pdf

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{tlx|Sourcecheck}}).

{{sourcecheck|checked=false}}

Cheers.—^{cyberbot II}_{Talk to my owner:Online} 11:15, 28 February 2016 (UTC)

Is it really necessary to write the random number r explicitly as an argument of encryption function?

For instance, the expression

:: $D(E(m\_1,\; r\_1)\backslash cdot\; E(m\_2,\; r\_2)\backslash bmod\; n^2)\; =\; m\_1\; +\; m\_2\; \backslash bmod\; n.\; \backslash ,$

could be simplified to

:: $D(E(m\_1)\backslash cdot\; E(m\_2)\backslash bmod\; n^2)\; =\; m\_1\; +\; m\_2\; \backslash bmod\; n.\; \backslash ,$

since the description of the encryption function makes it clear that the random number r is sampled when a message will be encrypted.

Lp.vitor (talk) 20:00, 29 August 2016 (UTC)

It seems to me that there is a mixup between "plaintext" and "ciphertext" in the section "Homomorphic multiplication of plaintexts". I think that the sentence should read: "A ciphertext raised to the power of another ciphertext will decrypt to the product of the two plaintexts". Moreover I think "encrypted plaintext" is really a weird formulation anyway, it should be "ciphertext". Ho33e5 (talk) 22:07, 20 September 2016 (UTC)

:Edit: my first remark is false, there is no mixup. But there is still the weird "encrypted plaintext". --Ho33e5 (talk) 10:19, 12 January 2017 (UTC)