semaphore-mtb
semaphore-mtb copied to clipboard
Add gadget to polynomial evaluation using barycentric formula
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.