[macro issue] implemetation roadmap

[zhenfeizhang]

pre 2/2; end to end demo, part 1

• [ ] zkVM
  • [x] opcode design (week 2/3, Tianyi) #37
  • [x] API design #37
  • [ ] Generate wires in with interpreter (week 4, Yuncong)
  • [x] Use gkr graph API to construct chips (week 4, Tianyi) #37
    • [x] Refactor on the branch singer-dev5 based on simple-frontend.
  • [ ] #40
  • [ ] example (circuit + prover + verifier)
  • [ ] recursive verifier
• [ ] gkr circuit graph
  • [x] API design #23 (week 1/2, ready for review, Wenqing)
  • [x] simple Implementation #35
• [x] Front end ~#4~ #15
• [ ] Back end
  • [x] Goldilocks
  • [x] extension field #9 (week 1)
  • [x] #28
  • [x] https://github.com/zhenfeizhang/Goldilocks/issues/2
  • [x] sum check
  • [x] extension field #10 (week 1)
  • [x] GKR #13 #16 (review and merge, week 1)
  • [x] #29
  • [x] GKR with PCS examples (week 3, Yungcong)
  • [ ] pcs
  • [x] API #5
  • [x] BaseFold code (evaluate, week 1)
  • [x] batching over base field(week 2, yuncong) https://github.com/scroll-tech/singer/pull/18
  • [x] field -> Goldilocks ext
    • [x] allow polynomial to be over both base and extension field? (week 2, yuncong, ready for review ZZ)
  • [ ] integrate PCS into our library (week 5 yuncong); unit tests OK, pending integration

[zhenfeizhang]

end to end demo, part 2

• [x] simple-frontend, gkr-graph https://github.com/scroll-tech/singer/pull/39 (under review)
• [ ] singer circuit refactor
  • [ ] singer/ singer pro update with simple-frontend (under review)
• [ ] prover + verifier + PCS
  • [ ] witness wires-in
  • [ ] implement prover
• [x] sequence to merge:
  • [x] simple-frontend -> pro-dev -> dev5
• [ ] code tuning
  • [x] avoid cloning https://github.com/scroll-tech/singer/pull/51
  • [ ] fix variable in place
  • [ ] check hash function's percentage
  • [ ] avx2 acceleration for (1-p) * x + y https://github.com/zhenfeizhang/Goldilocks/pull/4 and https://github.com/scroll-tech/singer/pull/55

[zhenfeizhang]

post 2/9; zkvm pro version, recursion and paper

• [ ] zkvm pro
  • [x] basic block level of repetition ( tianyi, week 4) on branch singer-pro-dev.
  • [ ] verifier circuit (tianyi, week 5)
  • [ ] example
• [ ] recursion in GKR (1/25 to 2/8, 2 weeks)
  • [ ] extension field circuit (simple-frontend under feats/ext-circuits)
  • [ ] poseidon circuit
  • [ ] sumcheck circuit
• [ ] optimizations
  • [ ] parallel prover (week 5 zz)
• [ ] paper (1/25 to 2/8, 2 weeks)
• [ ]

[zhenfeizhang]

post submission

• [ ] recursion in Plonk
  • [ ] extension field circuit
  • [ ] poseidon circuit
  • [ ] sumcheck circuit
• [ ] additional features
  • [ ] Reed-Solomon code
  • [ ] Virgo (optional)
• [ ] refactoring
  • [ ] #11 (week 1, ZZ)
  • [ ] #12
  • [x] #17 (week 1)
  • [ ] unify transcript, sumcheck and polynomial traits for base fold and our sumcheck
    • [ ] #30 #31
    • [x] #27
    • [ ] use the same MultilinearPolynomial as GKR
    • [ ] sumcheck -> use our sumcheck (optional)
  • [ ] optimizations
  • [ ] justin thaler's trick for extension fields