Vitalik Buterin: 快速数学解释： 这是成员资格的盲目证明。我们想证明 `P(z) = y` 而不泄露 `z`（但 `y` 是公开的）。通常，证明是“Q = (P – y) / (X – z)”。在这里，我们改为使用 `Q = (P – y) / (rX – rz)` 来盲化 `z`。 并证明 `z` 是统一的根。 https://t.co/yA7lQNhEAQ 引用@IACR_News 的推文： #ePrint Caulk：次线性时间的查找参数：A Zapico、V Buterin、D Khovratovich、M Maller、A Nitulescu、M Simkin ia.cr/2022/621

Posted on 2022-05-25

原推：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

FTh0xbwUAAEJIQh.png:large

#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