feat(bivariate): approximant-basis and hybrid interpolation for GS decoder - #255

Closed

olympichek wants to merge 10 commits into

Verified-zkEVM:mainfrom

formal-land:gs-approximant

Commits on Jun 12, 2026

Implement approximant-basis interpolation
olympichek
committed
f6dafd7
Improve Lee-O'Sullivan performance (faster Mulders-Storjohann)
olympichek
committed
fbd8f3d
Approximant interpolation stall fix
olympichek
committed
a82f653
Finish proofs of approximant interpolation correctness
olympichek
committed
620d778
Approximant interpolation performance improvement
olympichek
committed
944d6fe
Faste divisibility check, larger bench to compare Lee and approximant
olympichek
committed
cf09670
Add hybrid Lee-approximant interpoaltion
olympichek
committed
e8c1e2e
Adapt rebased branch to master base
olympichek
committed
ea89570
Clean up comments across the branch
olympichek
committed
bff6bcc
Add literature references to the approximant backend
olympichek
committed
191da6b