Las pruebas de conocimiento cero basadas en circuitos han surgido como una solución a la implementación de privacidad en aplicaciones de blockchain, y a los problemas de escalabilidad actuales que sufren las blockchains. Los circuitos de conocimiento cero basados en circuitos más eficientes utilizan una curva elíptica amigable para emparejamientos para generar y validar pruebas. En particular, los circuitos se construyen conectando cables que transportan elementos de un campo primo grande, cuyo orden está determinado por el número de elementos de la curva elíptica amigable para emparejamientos. En este contexto, es importante generar una curva interna utilizando este campo, porque permite crear circuitos que pueden verificar primitivas de criptografía de clave pública, como firmas digitales y esquemas de cifrado. Con este propósito, en este artículo, presentamos un algoritmo determinista para generar curvas elípticas de Edwards retorcidas definidas sobre un campo primo dado. También proporcionamos un algoritmo para verificar la resistencia de este tipo de curva contra los ataques de seguridad más comunes. Además, utilizamos nuestros algoritmos para generar Baby Jubjub, una curva que se puede utilizar para implementar criptografía de curva elíptica en circuitos que pueden validarse en la blockchain de Ethereum.