semaphore-mtb

semaphore-mtb copied to clipboard

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

wzmuda

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

wzmuda

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.

wzmuda

kustosz

Bumps [golang.org/x/crypto](https://github.com/golang/crypto) from 0.10.0 to 0.17.0. Commits 9d2ee97 ssh: implement strict KEX protocol changes 4e5a261 ssh: close net.Conn on all NewServerConn errors 152cdb1 x509roots/fallback: update bundle fdfe1f8 ssh: defer channel...

dependabot[bot]

Build a separately deployable service with a single endpoint allowing the caller to request the proof of insertion for a given batch. Open API schema should be provided as part...

kustosz

Tune batch sizes

1

The proving service should provide different batch size endpoints, such that different service loads can be serviced without undue delay vs. wasting prover time. Should be done in anticipation of...

kustosz

TBD, need to decide the approach.

kustosz

Create a circuit for member deletes

1

Create a circuit that allows deleting (zeroing out) already inserted tree members. Most of the exisitng circuit for inserts can be reused with minor modifications.

kustosz

While we don't want one instance to support multiple batch sizes, we need to do some work and deploy multiple instances: - [ ] Add an endpoint to the prover...

iamrecursion