We propose the first zero-knowledge argument with sub-linear communication complexity for arithmetic circuit satisfiability over a prime (formula presented) whose security is based on the hardness of the short integer solution (SIS) problem. For a circuit with (FORMULA PRESENTED) gates, the communication complexity of our protocol is (formula presented), where (formula presented) is the security parameter. A key component of our construction is a surprisingly simple zero-knowledge proof for pre-images of linear relations whose amortized communication complexity depends only logarithmically on the number of relations being proved. This latter protocol is a substantial improvement, both theoretically and in practice, over the previous results in this line of research of Damgård et al. (CRYPTO 2012), Baum et al. (CRYPTO 2016), Cramer et al. (EUROCRYPT 2017) and del Pino and Lyubashevsky (CRYPTO 2017), and we believe it to be of independent interest.
CITATION STYLE
Baum, C., Bootle, J., Cerulli, A., del Pino, R., Groth, J., & Lyubashevsky, V. (2018). Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10992 LNCS, pp. 669–699). Springer Verlag. https://doi.org/10.1007/978-3-319-96881-0_23
Mendeley helps you to discover research relevant for your work.