Polynomiální okruhy vysvětlil Vadim. Celý modul na mřížkových SNARKech zde