lambdaworks

lambdaworks copied to clipboard

- [x] Implement the 32 bit Mersennes Prime Field, F = 2^31 - 1, with an efficient backend. Bench it against the same field implemented with montgomery backend - [...

MauroToscano

More efficient Montgomery CIOS

1

Implement the more efficient CIOS algorithm from Gnark. Bench with the finite field benches and confirm if there are improvements https://hackmd.io/@gnark/modular_multiplication

MauroToscano

Add point compression to the [Pallas](https://github.com/lambdaclass/lambdaworks/blob/main/math/src/elliptic_curve/short_weierstrass/curves/pallas/curve.rs) and [Vesta](https://github.com/lambdaclass/lambdaworks/blob/main/math/src/elliptic_curve/short_weierstrass/curves/vesta/curve.rs) curves. This can be achieved by having a "compressed" version of both curves together with the affine and projective representations. We will...

mdvillagra

Add prover gnark example

1

# Add prover gnark example

MauroToscano

Cairo Prover should be made compatible with Stone and the Ethereum verifier. Builtins should be proven with more complete layouts For this - [ ] Add a compatible with Stone...

MauroToscano

Add Babybear field to pre defined fields

3

This task consists of three tasks: - [x] Add Babybear field to pre defined fields on : math/src/field/fields/fft_friendly, using the right modulus. - [x] Implement IsPrimeField for BabyBear - [x]...

MauroToscano

- [ ] Add batch inverse for the evaluations of the Z Polynomial. See: [Plonk prover, L356](https://github.com/lambdaclass/lambdaworks/blob/cffa505af7c0c9f73d938577958be20e6b92676a/provers/plonk/src/prover.rs#L356) - [ ] Add rayon to the more expensive iterators

diegokingston

Port cyclone MSM to lambdaworks. You can find the current implementation in the following repository: https://github.com/JumpCrypto/cyclone

MauroToscano

Bls 12 377 currently lacks pairings. Some of the logic is shared with the 12 381. We should look how to generalize it properly or share the logic to have...

MauroToscano

- [ ] Add a flag to run and prove cairo1 programs, using Cairo VM cairo1 proof mode

MauroToscano