Skip to content

Commit

Permalink
Change version sequences in the roadmap
Browse files Browse the repository at this point in the history
  • Loading branch information
yoichi-nexus committed Jul 16, 2024
1 parent bd0cf09 commit 452e78e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions docs/pages/specs/roadmap.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -15,10 +15,10 @@ The Nexus zkVM and Nexus Network are both undergoing rapid development.

Contribute or follow along with the latest updates to the system on [Github](https://github.com/nexus-xyz/nexus-zkvm).

### v0.3.0 to Beyond
This documentation is for the Nexus v0.2.0 system. Many improvements to individual components are incoming, to be featured in the Nexus v0.3.0 system and future upgrade cycles beyond. Expected improvements include:
### 3.0 to Beyond
This documentation is for the Nexus 2.0 system. Many improvements to individual components are incoming, to be featured in the Nexus 3.0 system and future upgrade cycles beyond. Expected improvements include:
1. **Prover**: A new (family of) proof systems combining the latest theoretical developments in folding schemes and lookup arguments.
2. **Proof Compression**: A second phase of proof compression, on top of the v0.2.0 $O(log(n))$ proof compression mechanism, which will bring the proof to $O(log(log(n)))$. That is, a proof of a proof of a proof.
2. **Proof Compression**: A second phase of proof compression, on top of the Nexus 2.0 $O(log(n))$ proof compression mechanism, which will bring the proof to $O(log(log(n)))$. That is, a proof of a proof of a proof.
3. **NVM**: A revised NVM architecture, with a simpler ISA and a dedicated compiler toolchain with further prover-related compiler optimizations.
4. **Precompile System**: A library of Nexus precompiles, with in-depth guides showing how to write precompiles in R1CS, Plonkish and AIR.
5. **Memory Checking**: An upgraded memory checking mechanism that is exponentially more performant than Merkle Trees, based on permutation checks and instruction sorting.
Expand Down

0 comments on commit 452e78e

Please sign in to comment.