Paillier暗号
ランダムに選んだ n 乗剰余の分布が Z n 2 ∗ {\displaystyle \mathbb {Z} _{n^{2}}^{*}} 上の一様分布と計算量的識別不能である、という仮定を合成数剰余判定仮定 (DCRA) という。厳密には以下のとおり。