Increase the stability of the prover to allow for 200 tps. #1
Description
Improve the cpp code similar to HarryR/ethsnarks#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
- Improve cpp code so that it runs closer to 20 million constraints
- 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.
- improve the efficency of the underlieing snarks so that we have fewer constraints. Right now it is VERY in efficient.