clookup/TODO.md

Clookup

TODO

• Setup
  • table interpolation
• Witness and domain transformation
  • witness interpolation
  • sigma function calculation
• public coin protocol
  • c(x) -> h(x)
• polynomial commitment scheme
  • from plonkish
  • from arkworks

---

• sumcheck protocol for composite function
  • parallelization by MapReduce / sumcheck parallelization for each round
• prover
  • witness & dt - c(x) & h(x) - sumcheck - proof

---

Research

• PC for multivariate polynomial