Talk:Decisional composite residuosity assumption