rollup: write how to dimension the problem

• common machine for verification vs large machine for proving
• relationship with signature verification cost
• latency and throughput
• parallelizing proof creation and tradeoff between increase in cost for multiple proof verifications and decrease in latency and increase if throughput
• batched signature verification
• batched proof verification
• impact of hashing (Blake or Poseidon) on proof verification time