Prototype optimizations for increasing Cardano transactions proof generation throughput

[jpraynaud]

Why

We want to assess current performances of the proof generation route of the aggregator at mainnet scale and prototype a first round of optimizations which will help us evaluate what's the gap between current and expected performances before we rollout the feature in production.

How

Assess current performances and prototype implementations for increasing the throughput.

What

• Assess current throughput
• Protoype first rounds of optimizations

[jpraynaud]

Results

proofs throuput req/s	1 tx to certify	5 txs to certify
No proof generation reference	1,250	1,250
No optimization	1	0.5
1 pooled Merkle map	65	15
100 pooled Merkle map	450	100
100 pooled Merkle map + parallel computation sub Merkle trees	450	100

Running on Linux / 8 cores / 64 GB RAM / 2 TB SSD