Implement HyperNova's IVC proof zero-knowledge layer
- Dominant language
- Rust
- Stars
- 285
- Forks
- 97
- PR merge metrics
- No merged PRs in 30d
Description
As described in the [updated hypernova paper](https://eprint.iacr.org/2023/573), 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](https://github.com/privacy-scaling-explorations/sonobe/issues/125) being done for nova.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reading the updated HyperNova paper and the corresponding Nova work in issue #125, then inspect how Sonobe currently represents HyperNova's IVC proofs. Done means Sonobe implements the paper's zero-knowledge layer for HyperNova proofs, with behavior validated against the project's existing proof workflows.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- cryptography
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100