semaphore-mtb icon indicating copy to clipboard operation
semaphore-mtb copied to clipboard

Add gadget to polynomial evaluation using barycentric formula

Open wzmuda opened this issue 1 year ago • 0 comments

The new barycentric package adds CalculateBarycentricFormula. The function implements the evaluation of a polynomial in evaluation form at a point outside the domain, using barycentric interpolation. This function follows implementation by Dankrad Feist, as described in his blog post: https://dankradfeist.de/ethereum/2021/06/18/pcs-multiproofs.html.

Another helper package is added - field_utils. It is a place for helper gadgets for field elements manipulations. It contains one function Exp to calculate field element's power of n, where n is an integer (not a field element).

Along the way update Gnark to most recent revision (v0.10.0 with some extra commits up to today) and Go to 1.22.2.

wzmuda avatar May 06 '24 18:05 wzmuda