File Download
There are no files associated with this item.
Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1007/978-3-030-26948-7_6
- Scopus: eid_2-s2.0-85071761153
- WOS: WOS:000517101200006
- Find via
Supplementary
- Citations:
- Appears in Collections:
Conference Paper: Efficient Lattice-Based Zero-Knowledge Arguments with Standard Soundness: Construction and Applications
Title | Efficient Lattice-Based Zero-Knowledge Arguments with Standard Soundness: Construction and Applications |
---|---|
Authors | |
Issue Date | 2019 |
Citation | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, v. 11692 LNCS, p. 147-175 How to Cite? |
Abstract | © 2019, International Association for Cryptologic Research. We provide new zero-knowledge argument of knowledge systems that work directly for a wide class of language, namely, ones involving the satisfiability of matrix-vector relations and integer relations commonly found in constructions of lattice-based cryptography. Prior to this work, practical arguments for lattice-based relations either have a constant soundness error$$(2/3)$$, or consider a weaker form of soundness, namely, extraction only guarantees that the prover is in possession of a witness that “approximates” the actual witness. Our systems do not suffer from these limitations. The core of our new argument systems is an efficient zero-knowledge argument of knowledge of a solution to a system of linear equations, where variables of this solution satisfy a set of quadratic constraints. This argument enjoys standard soundness, a small soundness error$$(1/poly)$$, and a complexity linear in the size of the solution. Using our core argument system, we construct highly efficient argument systems for a variety of statements relevant to lattices, including linear equations with short solutions and matrix-vector relations with hidden matrices. Based on our argument systems, we present several new constructions of common privacy-preserving primitives in the standard lattice setting, including a group signature, a ring signature, an electronic cash system, and a range proof protocol. Our new constructions are one to three orders of magnitude more efficient than the state of the art (in standard lattice). This illustrates the efficiency and expressiveness of our argument system. |
Persistent Identifier | http://hdl.handle.net/10722/280499 |
ISSN | 2023 SCImago Journal Rankings: 0.606 |
ISI Accession Number ID |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Yang, Rupeng | - |
dc.contributor.author | Au, Man Ho | - |
dc.contributor.author | Zhang, Zhenfei | - |
dc.contributor.author | Xu, Qiuliang | - |
dc.contributor.author | Yu, Zuoxia | - |
dc.contributor.author | Whyte, William | - |
dc.date.accessioned | 2020-02-17T14:34:11Z | - |
dc.date.available | 2020-02-17T14:34:11Z | - |
dc.date.issued | 2019 | - |
dc.identifier.citation | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, v. 11692 LNCS, p. 147-175 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/10722/280499 | - |
dc.description.abstract | © 2019, International Association for Cryptologic Research. We provide new zero-knowledge argument of knowledge systems that work directly for a wide class of language, namely, ones involving the satisfiability of matrix-vector relations and integer relations commonly found in constructions of lattice-based cryptography. Prior to this work, practical arguments for lattice-based relations either have a constant soundness error$$(2/3)$$, or consider a weaker form of soundness, namely, extraction only guarantees that the prover is in possession of a witness that “approximates” the actual witness. Our systems do not suffer from these limitations. The core of our new argument systems is an efficient zero-knowledge argument of knowledge of a solution to a system of linear equations, where variables of this solution satisfy a set of quadratic constraints. This argument enjoys standard soundness, a small soundness error$$(1/poly)$$, and a complexity linear in the size of the solution. Using our core argument system, we construct highly efficient argument systems for a variety of statements relevant to lattices, including linear equations with short solutions and matrix-vector relations with hidden matrices. Based on our argument systems, we present several new constructions of common privacy-preserving primitives in the standard lattice setting, including a group signature, a ring signature, an electronic cash system, and a range proof protocol. Our new constructions are one to three orders of magnitude more efficient than the state of the art (in standard lattice). This illustrates the efficiency and expressiveness of our argument system. | - |
dc.language | eng | - |
dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | - |
dc.title | Efficient Lattice-Based Zero-Knowledge Arguments with Standard Soundness: Construction and Applications | - |
dc.type | Conference_Paper | - |
dc.description.nature | link_to_subscribed_fulltext | - |
dc.identifier.doi | 10.1007/978-3-030-26948-7_6 | - |
dc.identifier.scopus | eid_2-s2.0-85071761153 | - |
dc.identifier.volume | 11692 LNCS | - |
dc.identifier.spage | 147 | - |
dc.identifier.epage | 175 | - |
dc.identifier.eissn | 1611-3349 | - |
dc.identifier.isi | WOS:000517101200006 | - |
dc.identifier.issnl | 0302-9743 | - |