Zero-knowledge implementation gap

[huitseeker]

As outlined in the Lurk audit report, the variants of the IPA and Spartan in the repository do not provide zero-knowledge (unlike the sum-check in the original Spartan repository).

In particular, the IPA needs to be updated to use blinding commitments and the sum-check inside Spartan needs to be made hiding.

At a more abstract level, Hyrax offers a blueprint on how to make the sum-check zero-knowledge.

[huitseeker]

microsoft/Spartan2#1 Looks super nice! (edit: nothing to see in this particular instance)

[ekrembal]

Hello,

I'm wondering about the current status of this issue. Has there been any progress on this issue, and is there a timeline for addressing it?

Thank you for the update.

[srinathsetty]

A cleaner solution to this problem is in the HyperNova paper, specifically in Appendix D.4

[srinathsetty]

This one is addressed in #330