Wojciech Żmuda

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...

prover: use Keccak256 implementation form Gnark

1

In `keccak` package add a wrapper converting []frontend.Variable to []uints.U8 expected by NewLegacykeccak256. Use the wrapper in insertion and deletion circuits instead of our Keccak256 implementation. Remove the existing Keccak...

This project was using very old Gnark revision. Bump to the master branch from three days ago. New Gnark is required for further Keccak development.

This PR is a collection of smaller PRs developed in the reilabs/semaphore-mtb fork. Please see each respective PR for details. - https://github.com/reilabs/semaphore-mtb/pull/11 - https://github.com/reilabs/semaphore-mtb/pull/12 - https://github.com/reilabs/semaphore-mtb/pull/13 - https://github.com/reilabs/semaphore-mtb/pull/14 - https://github.com/reilabs/semaphore-mtb/pull/15...