We construct non-interactive zero-knowledge arguments for circuit satisfiability with perfect completeness, perfect zero-knowledge and computational soundness. The non-interactive zero-knowledge arguments have sub-linear size and very efficient public verification. The size of the non-interactive zero-knowledge arguments can even be reduced to a constant number of group elements if we allow the common reference string to be large. Our constructions rely on groups with pairings and security is based on two new cryptographic assumptions; we do not use the Fiat-Shamir heuristic or random oracles. © 2010 International Association for Cryptologic Research.
CITATION STYLE
Groth, J. (2010). Short pairing-based non-interactive zero-knowledge arguments. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6477 LNCS, pp. 321–340). Springer Verlag. https://doi.org/10.1007/978-3-642-17373-8_19
Mendeley helps you to discover research relevant for your work.