search

arkworks-rs / r1cs-std

R1CS constraints for bits, fields, and elliptic curves
https://www.arkworks.rs
Apache License 2.0
137 stars 59 forks source link

Relocate Univariate Domain, Vanishing Polynomial, Lagrange Interpolation #105

Open weikengchen opened 2 years ago

weikengchen commented 2 years ago

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

Pratyush commented 2 years ago

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