lambdaclass / lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
https://lambdaclass.github.io/lambdaworks/
Apache License 2.0
594 stars 126 forks source link

More efficient Montgomery CIOS #758

Open MauroToscano opened 7 months ago

MauroToscano commented 7 months ago

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 commented 7 months ago

This has been done here, https://github.com/lambdaclass/lambdaworks/pull/766, but it didn't provide any measurable speedup. If we manage to make it go faster it can be used