Skip to content

roadmap.md

Latest commit

 

History

History
62 lines (47 loc) · 3.75 KB

roadmap.md

File metadata and controls

62 lines (47 loc) · 3.75 KB

Roadmap for the virtual machine

This is a tentative list of features that are going to be implemented in the near future. Soon we will provide rough estimates on the time each task should take to implement. This may change according to the project's needs.

Basic building blocks

The first version is going to use the primitives contained in lambdaworks

Feature Description Status
Documentation Explain how everything works In progress
Field Basic field type First version
Poseidon hash Implement Poseidon-2 hash Planned
Keccak Implement Keccak hash function Planned
CPU FFT Radix-2 Fast-Fourier transform in CPU First version
Basic Merkle commitment Merkle tree First version
Basic FRI FRI proximity test First version
Basic constraints Simple API for defining constraints for AIR First version
Basic AIR Algebraic intermediate representation for computations First version

Executor

Feature Description Status
Documentation Explain how the executor works In progress
Minimal CPU Minimal CPU that can perform basic operations In progress
RISCV64 CPU Minimal version of the CPU with 52 RISCV instructions Planned
RISCV64IM CPU Working executor for RV64 virtual machine Planned
CPU with coprocessors Add coprocessors for special cryptographic operations Planned

Trace generator

Feature Description Status
Documentation Document trace generation and constraints In progress
CPU Implement CPU table with constraints In progress
ALU Implement ALU tables with constraints Not started
Memory Implement memory table with constraints Not started
Syscalls Tables for coprocessors Planned

Proof system

Feature Description Status
Documentation Prepare comprehensive documentation on proof system In progress
Lookup arguments Linking tables via lookup arguments In progress
Multi-table Merkle trees (MTMT) Merkle tree that can be used to commit to polynomials of various sizes In progress
Multi-FRI Perform FRI using MTMT Planned
Adjust parameters Adjust parameters for 128 bits of security Planned

GPU and performance

Feature Description Status
Fields Improve field performance using assembly Planned
GPU-Fast-Fourier transform Implement GPU version of FFT Planned
GPU-Merkle tree Implement GPU version for Merkle trees Planned
Parallel trace generation Use GPU for fast trace generation Planned
GPU-FRI Perform FRI on GPU Planned