add generalized barycentric degree check for degree < 2^l - Githubissues

ethereum / research

MIT License

1.81k stars 591 forks source link

add generalized barycentric degree check for degree < 2^l #138

Open qizhou opened 1 year ago

qizhou commented 1 year ago

A generalized check based on Dankrad's note https://notes.ethereum.org/@dankrad/barycentric_low_degree_check with linear complexity.

See https://www.notion.so/Generalized-Low-Degree-Check-for-Degree-2-l-1e2b5c4c5ccc413c81503ff3eb12cb88 for the equations.