privacy-scaling-explorations / sonobe

Experimental folding schemes library
https://privacy-scaling-explorations.github.io/sonobe-docs/
MIT License
205 stars 54 forks source link

Implement HyperNova's IVC proof zero-knowledge layer #128

Open dmpierre opened 4 months ago

dmpierre commented 4 months ago

As described in the updated hypernova paper, there exists a zero-knowledge layer for Hypernova's IVC proofs. We would like to implement it for sonobe. It will be more involved than the corresponding work being done for nova.