Polynomringer forklart av Vadim. Full modul om gitterbaserte SNARK-er her