Table 4 Proof and CRS lengths of schemes for \(\lambda \approx 128,\kappa =40\)
From: Shorter ZK-SNARKs from square span programs over ideal lattices
Scheme | d | n | Proof Length | CRS Length (Compressed) |
|---|---|---|---|---|
Basic Scheme | \(2^{16}\) | 32 | 121.88KB | 86.25MB |
\(2^{16}\) | 64 | 121.88KB | 171MB | |
\(2^{20}\) | 32 | 130.53KB | 1.41GB | |
\(2^{20}\) | 64 | 126.56KB | 2.77GB | |
Optimized Scheme | \(2^{16}\) | 32 | 14.06KB | 133.99MB |
\(2^{16}\) | 64 | 15.63KB | 246.94MB | |
\(2^{20}\) | 32 | 14.34KB | 1.48GB | |
\(2^{20}\) | 64 | 15.63KB | 2.88GB |