Roadmap

[chancharles92]

• [x] Protocol description (1 week)

• [x] Building block multivariate-poly-IOPs (2 weeks)

  • [x] Sumchecks (wrapper of Arkworks) https://github.com/EspressoSystems/hyperplonk/pull/7
  • [x] Zerochecks https://github.com/EspressoSystems/hyperplonk/issues/8
  • [x] #23

• [x] Compose hyperplonk from sum checks and zero checks

  • [x] implement offline phase
  • [x] implement interactive phase
  • [x] implement query phase

• [ ] Constraint system + Arithmetization (2 weeks)

  • [ ] Interfaces: circuit config, gadgets, Arithmetization
  • [ ] Circuit config impl
  • [ ] Arithmetization impl

• [x] Proof system (3 weeks)

  • [x] Interfaces, structs, and transcripts
  • [x] Prover
  • [x] Verifier

• [x] Multilinear polynomial commitment scheme (2 weeks) #22

  • Reference: vRAM: Faster verifiable RAM with program-independent preprocessing, appendix G
  • Syntax: follow arkworks/polycomm

• [x] Virtual Polynomial APIs

  • [x] #17
  • [x] #25

backlogs

• [ ] Building blocks (we are hard coding those blocks for better efficiency; we may want to build an abstraction in future)
  • [x] Product-checks
  • [ ] Lookup-checks

[bbuenz]

Maybe we should add a bullet or subbullet for sum check

[chancharles92]

Maybe we should add a bullet or subbullet for sum check

Yes, added a bullet for the multivariate-poly-IOPs (which includes sumchecks)

[zhenfeizhang]

Updated roadmap.

I think for now we can claim that backend e2e is complete. We now have a PoC that generates proofs and verify them. The reminder are code optimizations and refactors. do you agree? @chancharles92