ZKP Tips

Let $Ep$ be an elliptic curve over a finite field $\mathbb{F}p$, where $p$ is a prime. We denote this by $Ep / \mathbb{F}p$. and we denote the group of points of $Ep$ over $\mathbb{F}p$, with order $q=# E\left(\mathbb{F}p\right)$. For this curve, we call $\mathbb{F}p$ the “base field” and $\mathbb{F}_q$ the “scalar field”.

test inline math $ \pi $

$$ \begin{align*} y &\approx f_\theta \circ g_\phi (y) \\ x &\approx g_\phi \circ f_\theta (x) \\ \end{align*} $$