Superprover Infra

Our Superprover has the following proof generation flow -

  1. Generation of plonky2 proofs for individual chains. These machines run in parallel. Hence, when calculating Total Proving Time, we only need the maximum of the times taken by individual chains' machines.

  2. Aggregation of individual plonky2 proofs into a single aggregated plonky2 proof

  3. Reduction of aggregate plonky2 proof to groth16 proof (the final superproof) to further reduce the cost of verifying the proof on-chain.

The Central Machine coordinates all activities as shown in the digram below.

Head over to our github to dive deeper into our stack.

The Superproof Production Line

Last updated