Các vành đa thức được giải thích bởi Vadim. Toàn bộ mô-đun về SNARKs dựa trên lưới ở đây