Poly IOP
-----

Implements the following protocols

- sum checks
- zero checks
- product checks
- permutation checks