Simon Masson

I am working on this task, first in `ark-poly-commit` and then in this repo.

Hi. I was able to make the polynomial commitment work in Lagrange basis, but the integration in PLONK is not as simple as expected (it is actually not possible with...

The deserialization in arkworks is currently very slow because of the subgroup check: ``` test bls12_381::g1::deser ... bench: 190,636 ns/iter (+/- 3,634) test bls12_381::g2::deser ... bench: 630,359 ns/iter (+/- 4,483)...

I implemented the fast subgroup for both G1 and G2, and here are the results: * With the naive subgroup check: ``` test bls12_381::g1::deser ... bench: 222,111 ns/iter (+/- 57,015)...

Benchmarks can be reproducible in the `heliaxdev/curves` repository, branch `simon/fast-subgroup-checks`. ``` cd /tmp git clone [email protected]:heliaxdev/curves.git cd curves/curve-benches/ git checkout simon/fast-subgroup-checks cargo bench -- bls12_381 --exact ``` Next step is...

The subgroup check has been added to `arkworks-rs/{algebra, curves}`. Maybe the square root algorithm can be computed faster (?).