- $f=x_1+x_2$ (as for ECs): we want $g_1^{lk}=-g_1^l=g_1^{l+(p-1)/2}$..easy
- $f=x_1+x_2-3$, i.e. we want $g+g^k=3$ (or $g_1^l+g_1^{lk}=3$) for some $g$..hard?
#### Isogenies and DC(L)P
We can further generalize DC(L)P by extending the skalar $k$ to isogenies (including endomorphisms):
- Isogeny DCP: Given a polynomial $f$ and an isogeny $\phi:E_1\to E_2$, find $P\in E_1$, $Q \in E_2$ such that $f(P,Q)=0$
- Isogeny DCLP: Given a polynomial $f$, points $G_1\in E_1, G_2\in E_2$ satisfying $\phi(G_1)=G_2$ where $\phi:E_1 \to E_2$ is an isogeny. Find a scalar $l$ such that $f(lG_1,lG_2)=0$.
