Anéis polinomiais explicados por Vadim. Módulo completo sobre SNARKs baseados em rede aqui