Quick math explanation:
This is a blinded proof of membership. We want to prove `P(z) = y` without revealing `z` (but `y` is public). Normally, a proof is `Q = (P - y) / (X - z)`. Here, we instead do `Q = (P - y) / (rX - rz)` to blind `z`.
And prove that `z` is a root of unity. https://twitter.com/IACR_News/... https://t.co/H91JYbA60c
快速数学解释：
这是一份盲目的会员证明。我们想证明'P（z）=y'，但不透露'z'（但'y'是公开的）。通常，证明是` Q=（P-y）/（X-z）`。在这里，我们用Q=（P-y）/（rX-rz）`来盲取z。
证明“z”是统一的根。https://twitter.com/IACR_News/...https://t.co/H91JYbA60c