ccs-hack
ccs-hack copied to clipboard
Tests for plonkish structure
We should test the satisfiability for the plonkish structure in a number of ways
- [ ] Check constraints are satisfied with small poly
- [ ] Check constraints are not satisfied when they shouldn't be
- [ ] Test higher degree polynomials