kayabaNerve / full-chain-membership-proofs

18 stars 1 forks source link

Fast implementation of Tevador curve cycle #13

Open kayabaNerve opened 1 year ago

kayabaNerve commented 1 year ago

This library has a lib, tevone, implementing tevador's first efficient curve cycle. It used crypto-bigint's Residue type, which is at least an order of magnitude slower than tailored field arithmetic. It also completely ignores the fast reduction technique which is why this curve cycle was chosen in the first place.

We do need to confirm we want to use the first choice, which requires evaluation of #11 prior.

kayabaNerve commented 1 year ago

Practically, despite technically implementing the curve cycle, it's not implemented.