Use Data.Vector.Vector in Vector n

zkFold / zkfold-base

ZkFold's Base library

https://zkfold.io

MIT License

17 stars 7 forks source link

Use Data.Vector.Vector in Vector n #279

Closed echatav closed 2 months ago

echatav commented 2 months ago

Resolves #262

vlasin commented 2 months ago

Data.Vector.Vector is used directly in univariate polynomials. If we could use it through ZkFold.Base.Data.Vector, it might clean up the code over there. Maybe in a future PR?