Criptographic libraries

Hi everyone, I’m looking for packages to implement one zero-knowledge proof, some packages to work with elliptic curves, and one to make the protocol non-interactive.