由Vadim解释的多项式环。 关于基于格的SNARK的完整模块在这里