1. DizkJava library for distributed zero knowledge proof systems
3. LibfqfftC++ library for Fast Fourier Transforms in finite fields
4. libffC++ library for Finite Fields and Elliptic Curves
5. ecfactorySageMath library for constructing elliptic curves