zkSNARK: notation improvement

docs/projects/zksnark.md

@@ -12,8 +12,8 @@ tags:
 
 Алиса и Боб были друзьями с детства, но обстоятельства разлучили их. Однако они
 договорились, что если судьба сведёт их снова, Алиса сможет узнать Боба по
-коэффициентам многочлена $P(x) : \mathbb{Z}_p \to \mathbb{Z}_p$ достаточно
-большой степени $N$, о которых они договорились заранее.
+коэффициентам многочлена $P \in \mathbb{Z}_p[x]$ достаточно большой степени $N$,
+о которых они договорились заранее.
 
 Шли года, и вот Алиса встретила красивого статного мужчину, отдалённо
 напоминающего её друга из детства (назовём этого мужчину Боб II). Она хочет