This enables some small performance increase for smaller proofs (up to approximately 75%). Additionally this enables the prover and verifier to agree on which components may or may not be interesting by specifying a bounds of zero.
OpenCL implementation of curve25519 operations
* Speed up scalar inversion, move linear relation to criterion benchmark