[macro issue] implemetation roadmap

[zhenfeizhang]

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

• zkVM
  • opcode design (week 2/3, Tianyi) Singer instruction and chip circuit design #37
  • API design Singer instruction and chip circuit design #37
  • Generate wires in with interpreter (week 4, Yuncong)
  • Use gkr graph API to construct chips (week 4, Tianyi) Singer instruction and chip circuit design #37
    • Refactor on the branch singer-dev5 based on simple-frontend.
  • zkvm opcode tests (wenqing, week 4) #40
  • example (circuit + prover + verifier)
  • recursive verifier
• gkr circuit graph
  • API design GKR graph API #23 (week 1/2, ready for review, Wenqing)
  • simple Implementation Implement gkr-graph #35
• Front end Tianyi's develop #4 Frontend #15
• Back end
  • Goldilocks
    • extension field Goldilock extension field does not support field inversion #9 (week 1)
    • mul Ext by Base Field (week 2, ZZ) #28
    • impl TryInto for ext fields zhenfeizhang/Goldilocks#2
  • sum check
    • extension field sumcheck cannot use goldilocks extension field as the challenges #10 (week 1)
  • GKR gkr #13 implement GKR #16 (review and merge, week 1)
    • GKR over ext Field (week 2, ZZ) #29
    • GKR with PCS examples (week 3, Yungcong)
  • pcs
    • API Add MPCS API. #5
    • BaseFold code (evaluate, week 1)
    • batching over base field(week 2, yuncong) Transplant from Basefold. #18
    • field -> Goldilocks ext
      • 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

• simple-frontend, gkr-graph refactoring simpling frontend #39 (under review)
• singer circuit refactor
  • singer/ singer pro update with simple-frontend (under review)
• prover + verifier + PCS
  • witness wires-in
  • implement prover
• sequence to merge:
• simple-frontend -> pro-dev -> dev5
• code tuning
  • avoid cloning [fix] performance tuning #51
  • fix variable in place
  • check hash function's percentage
  • avx2 acceleration for (1-p) * x + y implement avx2 for core subroutine during mle evals zhenfeizhang/Goldilocks#4 and Avx2 acceleration #55

[zhenfeizhang]

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

• zkvm pro
  • 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
  • error propagation  #11 (week 1, ZZ)
  • define univariate polynomials #12
  • type safety #17 (week 1)
  • unify transcript, sumcheck and polynomial traits for base fold and our sumcheck
    • transcript -> use our transcript #30 30 transcript use our transcript #31
    • try to use our transcript for basefold code to identify missing APIs (week 2, ZZ) #27
    • use the same MultilinearPolynomial as GKR
    • sumcheck -> use our sumcheck (optional)
  • optimizations
    • justin thaler's trick for extension fields