# Nova 3m plan

Context: https://hackmd.io/80cPXRc0Sa2MPuYX4Wft8w

Overarching question: What does ZK in 2024 look like?

What can we do in a few months to (a) Qualify potential and reduce uncertainty/make progress on important aspects (b) Create positive feedback loops to get more people working on this stuff

## People

?

## Areas of interests

- Parallel Nova
- Plonkish
- API/Tooling
- Supernova
- Misc
- VM-specific work

### Parallel Nova

- Currently have a PoC
- imrpve this
- make it work with many theeads
- finish poc or re write nova

### research

- Unclear if best approach, before investing further need to qualify. Goblin Plonk(George)
- New paper coming out in May (?) that might impact this

#### nova
- rewrite nova
- onchain verifier

##### implement
- origami
- levs moon moon

#### para,lel nova
- distributed prover implementiation
- emtoy work in leaf nodes
- gobkin blonk (george ?)
- no to 1 folding
- write up

#### super nova
- impmentation
-

##### long term
- latice commitments

### Plonkish

- Long term nice
- Lot of stuff going on and to disentangle
- Cross-terms from new paper might impact this work

### API/Tooling

- Lots of low hanging fruit to make nicer to work with Nova Scotia etc, see above link
- On-chain Groth16 verifier useful for feedback loops
- Nova Repl would be nice

### SuperNova

- PoC exists
- Next steps?

### Misc

- Play with GPU and ASICS more?

### VM specific

- Memory handling
- Improved specs
- Something on LLVM?
- Next steps?

### Benchmarks
- Nova vs other systems for keccak
- Fix tooling to enable benchmarks.
- GPU Prover.
- FPGA prover.
- compare with custom gates conparison
- compare with diffñernt levels of parallelization
- differnt machunes , mobile. briwser gpu

### Educational
- python nova
- super nova.py,
- nova explainer
- nova by hand study group

## Rough prios
- fixing novascotai
- fix and finish parrallel nova
- implment moon moon

## hiring pririties

- ed
- ressearch goblin plonk
- distributed parallel nova
- benchanrks