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