原推: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://t.co/yA7lQNhEAQ
#ePrint Caulk: Lookup Arguments in Sublinear Time: A Zapico, V Buterin, D Khovratovich, M Maller, A Nitulescu, M Simkin ia.cr/2022/621
https://twitter.com/VitalikButerin/status/1529100486728486912