From: Shorter ZK-SNARKs from square span programs over ideal lattices
Scheme | Circuit size | Proof length (KB) | CRS length |
---|---|---|---|
Gennaro et al. (2018) | \(2^{15}\) | 640 | 8.63 MB |
Nitulescu (2019) | \(2^{15}\) | 270 | – |
Naganuma et al. (2020) | \(2^{15}\) | 405 | – |
Chung et al. (2023) | \(2^{15}\) | 319.5 | – |
Ishai et al. (2021) | |||
Shorter proof | \(2^{16}\) | 17.54 | 191MB |
\(2^{20}\) | 18.7 | 5.22GB | |
Shorter CRS | \(2^{16}\) | 22.84 | 104MB |
\(2^{20}\) | 23.83 | 1.9GB | |
Ours | |||
Basic | \(2^{16}\) | 121.88 | 86.25MB |
\(2^{20}\) | 130.53 | 1.41GB | |
Optimized | \(2^{16}\) | 14.06 | 133.99MB |
\(2^{20}\) | 14.34 | 1.48GB |