Como se sabe que cualquier grupo de orden primo es cíclico, lo que se requiere es encontrar un subgrupo de "E" de orden "q" ("q" primo) para tener un isomorfismo con formula_24 donde el problema del logaritmo discreto sea intratable.