for i := range u { var uHat nttElement for j := range r { // Note that i and j are inverted, as we need the transposed of A. uHat = polyAdd(uHat, nttMul(ex.a[j*k1024+i], r[j])) } u[i] = polyAdd(e1[i], inverseNTT(uHat)) } μ := ringDecodeAndDecompr(m) var vNTT nttElement // t⊺ ◦ r for i := range ex.t { vNTT = polyAdd(vNTT, nttMul(ex.t[i], r[i])) } v := polyAdd(polyAdd(inverseNTT(vNTT), e2), μ) c := cc[:0] for _, f := range u { c = ringCompressAndEncod(c, f) } c = ringCompressAndEncod(c, v) return c...

// NTT⁻¹(AT ◦ r) + e1 for i := range u { u[i] = e1[i] for j := range r { // Note that i and j are inverted, as we need the transposed of A. u[i] = polyAdd(u[i], inverseNTT(nttMul(ex.a[j*k1024+i], r[j]))) } } μ := ringDecodeAndDecompr(m) var vNTT nttElement // t⊺ ◦ r for i := range ex.t { vNTT = polyAdd(vNTT, nttMul(ex.t[i], r[i])) } v := polyAdd(polyAdd(inverseNTT(vNTT), e2), μ) c := cc[:0] for _, f := range u { c = ringCompressAndEncod(c, f) } c = ringCompressAndEncod(c, v) return c } // Decapsulate...