Полиномиальные кольца, объясненные Вадимом. Полный модуль по SNARK'ам на основе решеток здесь