Increase the stability of the prover to allow for 200 tps.

[barryWhiteHat]

Improve the cpp code similar to https://github.com/HarryR/ethsnarks/issues/3 and run it on Enterprise hardware.

Seems like are limited to 20 million constraints on traditional hardware. See the introduction https://eprint.iacr.org/2018/691.pdf

This leaves us with 3 approaches

1. Improve cpp code so that it runs closer to 20 million constraints
2. use https://github.com/scipr-lab/dizk and try and push these proofs to the cloud. This would mean we can make proofs about billions of constraints.
3. improve the efficency of the underlieing snarks so that we have fewer constraints. Right now it is VERY in efficient.