Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949137963> ?p ?o ?g. }
- W2949137963 abstract "Quasi-adaptive non-interactive zero-knowledge (QA-NIZK) proofs is a recent paradigm, suggested by Jutla and Roy (Asiacrypt ’13), which is motivated by the Groth-Sahai seminal techniques for efficient non-interactive zero-knowledge (NIZK) proofs. In this paradigm, the common reference string may depend on specific language parameters, a fact that allows much shorter proofs in important cases. It even makes certain standard model applications competitive with the Fiat-Shamir heuristic in the Random Oracle idealization. Such QA-NIZK proofs were recently optimized to constant size by Jutla and Roy (Crypto ’14) and Libert et al. (Eurocrypt ’14) for the important case of proving that a vector of group elements belongs to a linear subspace. While the QA-NIZK arguments of Libert et al. provide unbounded simulation-soundness and constant proof length, their simulation-soundness is only loosely related to the underlying assumption (with a gap proportional to the number of adversarial queries) and it is unknown how to alleviate this limitation without sacrificing efficiency. In this paper, we deal with the question of whether we can simultaneously optimize the proof size and the tightness of security reductions, allowing for important applications with tight security (which are typically quite lengthy) to be of shorter size. We resolve this question by designing a novel simulation-sound QA-NIZK argument showing that a vector v ∈ G belongs to a subspace of rank t < n using a constant number of group elements. Unlike previous short QA-NIZK proofs of such statements, the unbounded simulation-soundness of our system is nearly tightly related (i.e., the reduction only loses a factor proportional to the security parameter) to the standard Decision Linear assumption. To show simulation-soundness in the constrained context of tight reductions, we explicitly point at a technique —which may be of independent interest— of hiding the linear span of a vector defined by a signature (which is part of an OR proof). As an application, we design a public-key cryptosystem with almost tight CCA2-security in the multi-challenge, multi-user setting with improved length (asymptotically optimal for long messages). We also adapt our scheme to provide CCA security in the key-dependent message scenario (KDM-CCA2) with ciphertext length reduced by 75% when compared to the best known tightly secure KDM-CCA2 system so far." @default.
- W2949137963 created "2019-06-27" @default.
- W2949137963 creator A5030243906 @default.
- W2949137963 creator A5048787826 @default.
- W2949137963 creator A5070278946 @default.
- W2949137963 creator A5074996766 @default.
- W2949137963 date "2015-11-29" @default.
- W2949137963 modified "2023-09-27" @default.
- W2949137963 title "Compactly Hiding Linear Spans: Tightly Secure Constant-Size Simulation-Sound QA-NIZK Proofs and Applications" @default.
- W2949137963 cites W104181891 @default.
- W2949137963 cites W115773529 @default.
- W2949137963 cites W125097325 @default.
- W2949137963 cites W13114043 @default.
- W2949137963 cites W1484056815 @default.
- W2949137963 cites W1485489906 @default.
- W2949137963 cites W148801026 @default.
- W2949137963 cites W1499934958 @default.
- W2949137963 cites W1505871300 @default.
- W2949137963 cites W1524293366 @default.
- W2949137963 cites W1527414074 @default.
- W2949137963 cites W1529156313 @default.
- W2949137963 cites W1537652141 @default.
- W2949137963 cites W1548963432 @default.
- W2949137963 cites W1563221498 @default.
- W2949137963 cites W1569083856 @default.
- W2949137963 cites W1582357539 @default.
- W2949137963 cites W1589034595 @default.
- W2949137963 cites W1589176872 @default.
- W2949137963 cites W1592092778 @default.
- W2949137963 cites W1604930642 @default.
- W2949137963 cites W1606603454 @default.
- W2949137963 cites W1609923524 @default.
- W2949137963 cites W1669658597 @default.
- W2949137963 cites W1733633233 @default.
- W2949137963 cites W1831244441 @default.
- W2949137963 cites W1867273832 @default.
- W2949137963 cites W1901278359 @default.
- W2949137963 cites W1949164874 @default.
- W2949137963 cites W2026892462 @default.
- W2949137963 cites W2052267638 @default.
- W2949137963 cites W2073210531 @default.
- W2949137963 cites W2079913403 @default.
- W2949137963 cites W2086042811 @default.
- W2949137963 cites W2088548892 @default.
- W2949137963 cites W2097215149 @default.
- W2949137963 cites W2097638666 @default.
- W2949137963 cites W2101803085 @default.
- W2949137963 cites W2122828120 @default.
- W2949137963 cites W2126484007 @default.
- W2949137963 cites W2132022887 @default.
- W2949137963 cites W2132172731 @default.
- W2949137963 cites W2138230193 @default.
- W2949137963 cites W2138805158 @default.
- W2949137963 cites W2141395382 @default.
- W2949137963 cites W2144560442 @default.
- W2949137963 cites W2158276883 @default.
- W2949137963 cites W2159339434 @default.
- W2949137963 cites W2162653919 @default.
- W2949137963 cites W2163542231 @default.
- W2949137963 cites W2165549155 @default.
- W2949137963 cites W2169265599 @default.
- W2949137963 cites W2171480079 @default.
- W2949137963 cites W2172174332 @default.
- W2949137963 cites W2222086599 @default.
- W2949137963 cites W2293212293 @default.
- W2949137963 cites W2404371125 @default.
- W2949137963 cites W27132305 @default.
- W2949137963 cites W578595047 @default.
- W2949137963 cites W66196827 @default.
- W2949137963 cites W835751452 @default.
- W2949137963 cites W2613557339 @default.
- W2949137963 hasPublicationYear "2015" @default.
- W2949137963 type Work @default.
- W2949137963 sameAs 2949137963 @default.
- W2949137963 citedByCount "4" @default.
- W2949137963 countsByYear W29491379632015 @default.
- W2949137963 countsByYear W29491379632016 @default.
- W2949137963 countsByYear W29491379632019 @default.
- W2949137963 crossrefType "proceedings-article" @default.
- W2949137963 hasAuthorship W2949137963A5030243906 @default.
- W2949137963 hasAuthorship W2949137963A5048787826 @default.
- W2949137963 hasAuthorship W2949137963A5070278946 @default.
- W2949137963 hasAuthorship W2949137963A5074996766 @default.
- W2949137963 hasBestOaLocation W29491379631 @default.
- W2949137963 hasConcept C108710211 @default.
- W2949137963 hasConcept C199360897 @default.
- W2949137963 hasConcept C2524010 @default.
- W2949137963 hasConcept C2777027219 @default.
- W2949137963 hasConcept C33923547 @default.
- W2949137963 hasConcept C41008148 @default.
- W2949137963 hasConceptScore W2949137963C108710211 @default.
- W2949137963 hasConceptScore W2949137963C199360897 @default.
- W2949137963 hasConceptScore W2949137963C2524010 @default.
- W2949137963 hasConceptScore W2949137963C2777027219 @default.
- W2949137963 hasConceptScore W2949137963C33923547 @default.
- W2949137963 hasConceptScore W2949137963C41008148 @default.
- W2949137963 hasLocation W29491379631 @default.
- W2949137963 hasLocation W29491379632 @default.
- W2949137963 hasLocation W29491379633 @default.
- W2949137963 hasOpenAccess W2949137963 @default.