Skip to content

Meta-PlonK : Add Tests and Polish — Fixes #173

Anne-Laure requested to merge al@aggregation into master
  • Adds PlonK/Main’s tests in Meta-PlonK
  • Fix Meta-PlonK when no arith selector is used in the circuit & when no gate with composition is used
  • Have a fixed number of T polynomials (set to 3) ; nb_t is no longer guessed in Meta-PlonK (note that the function get_cs_verification no longer needs the zero_knowledge argument because of that). We assume that SRS is big enough to handle any size of T polynomial.
Edited by Anne-Laure

Merge request reports