Daniel Marin
Daniel Marin
A full description of the Nexus PCD Prover PDC: - [ ] A description of Binary-Tree Parallel Nova PDC with CycleFold - [x] Recursion overhead and benchmark results - [x]...
We need a full description of the Nexus Proof Compression sequence: - Architecture - Theoretical prover costs - Concrete prover costs - Links to the sections in the code with...
A full description of the Nexus Phase 2 Nova Proof compression mechanism
A full description of the Nexus IVC Prover for HyperNova IVC: - [ ] A description of HyperNova IVC and CycleFold - [ ] Recursion overhead and benchmarks - [...
A full detailed description of the Nexus 2.0 IVC Memory Checking System - [ ] Description - [ ] Detailed Comparison with Nexus 1.0 Memory Checking System - [ ]...
The clean command should delete all public parameter files and run [`cargo clean`](https://doc.rust-lang.org/cargo/commands/cargo-clean.html) under the hood to remove compilation targets as well.
The README should specify the codebase structure, how to find our folding scheme implementations, compression schemes, etc.
A full description of the Nexus IVC Prover for SuperNova with CycleFold IVC: - [ ] A description of SuperNova non-uniform IVC and CycleFold - [ ] Recursion overhead and...
The README must be in sync with the QuickStart in the docs.
Self-explanatory. Developers should be able to use Nexus Nova just as they would use Microsoft Nova