ring.md

ring — R_q element arithmetic the core type: a polynomial of degree < n with coefficients in Goldilocks field, arithmetic modulo x^n + 1. type an R_q element is a vector of N Goldilocks field elements. the ring structure comes from how multiplication wraps: coefficient multiplication is convolution…