MACI benchmarks for proof generation

[samajammin]

Motivation

As a user and developers I want to know how much time and cost it takes to use MACI. I should be aware of the efficiency and costs (both time and gas cots) that I could incur on when using MACI (primary tasks - deployment, voting, proving).

Details

Implement benchmarks for the following:

• proof generation
  • Generating proofs of message processing
  • Generating proofs of vote tallying

Pick a machine to run this on, measure time.

What is the final deliverable?

• tools/code that anyone can run & tweak

Nice to have:

• Benchmark different proving systems like Plonk