Roadmap(Nescience)

[kaiserd]

Evaluating proof systems and related work

• Document highlighting the differences between various proof systems: (Super)Nova, plonky2, STARKs, halo2, Sangria #197

  • Main document highlighting differences
  • Add halo2 differences and explanation
  • Add different types of recursion
  • Add Arecibo (SuperNova)

• Fair benchmark of proof systems (Implementations) #198

  • Specs for benchmarking plonky2, starky2, halo2 and nova
  • Recursive circuit for Nova (recursively calling Poseidon hashing)
  • Recursive circuit for Halo2 GWC
  • Recursive circuit for Halo2 SHPLONK
  • Recursive circuit for Arecibo
  • Vac research log post on proof system benchmarks
  • Scientific paper on proof system benchmarks

Nescience zkVM

• Update of Nescience - A zkVM leveraging hiding properties #202
• toy zkVM (using proof system with best benchmark results, see above)

Towards the zkVM (more task granularity will be added step by step)

• zkVM formal proposal including architecture, execution trace proof(s) and memory proof(s)
• Proposal for Updating Public State By a Private Execution #203