Table 1. Prototype Times and Key Sizes for Predicates verifying different numbers of transactions: Average running times for setup \(\mathcal {G}\), prover \(\mathcal {P}\) and verifier \(\mathcal {V}\) over 10 iterations are shown alongside proving/verification key and proof sizes.
From: Proof of Necessary Work: Succinct State Verification with Fairness Guarantees
Txs | Constraints | Generator | Prover | Verifier | Size | ||
|---|---|---|---|---|---|---|---|
# | # | Avg (s) | Avg (s) | Avg (ms) | pk (GB) | vk (kB) | \(\pi \) (B) |
3 | 3658281 | 53.99 | 24.57 | 16.0 | 0.74 | 0.76 | 373 |
10 | 10071527 | 161.24 | 88.14 | 1.96 | |||
20 | 19233307 | 268.93 | 185.10 | 3.74 | |||
30 | 28395087 | 354.83 | 198.61 | 5.61 | |||
40 | 37556867 | 485.52 | 286.50 | 7.15 | |||
50 | 46718647 | 570.09 | 358.95 | 9.01 | |||