由Vadim解釋的多項式環。 這裡有完整的基於格的SNARK模組