Meta-PlonK : Add Tests and Polish — Fixes #173
- 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 functionget_cs_verification
no longer needs thezero_knowledge
argument because of that). We assume that SRS is big enough to handle any size of T polynomial.
Edited by Anne-Laure