Vadimによって説明された多項式リング。 ラティスベースのSNARKに関する完全なモジュールはこちら