Polynomial Rings explained by Vadim. Full Module on Lattice-based SNARKs here