Relocate Univariate Domain, Vanishing Polynomial, Lagrange Interpolation

[weikengchen]

Summary

Relocate Univariate Domain, Vanishing Polynomial, Lagrange Interpolation to ark-poly

Problem Definition

As a result of #53 native implementations of Univariate Domain, Vanishing Polynomial, Lagrange Interpolation in this repo. However, they should actually be at ark-poly.

4fbdc2b

Proposal

Move them to ark-poly and adjust the corresponding constraint structs (if there is any at this moment).

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned

[Pratyush]

ark-poly already includes native variants of these, no? We already have EvaluationDomain, SparsePolynomial, and various FFT algorithms there.