Matches in SemOpenAlex for { <https://semopenalex.org/work/W3030889631> ?p ?o ?g. }
- W3030889631 startingPage "754" @default.
- W3030889631 abstract "As recent studies show, the notions of program obfuscation and zero knowledge are intimately connected. In this work, we explore this connection further, and prove the following general result. If there exists differing input obfuscation (diO) for the class of all polynomial time Turing machines, then there exists a four message, fully concurrent zero-knowledge proof system for all languages in NP with negligible soundness error. This result is constructive: given diO, our reduction yields an explicit protocol along with an explicit simulator that is “straight line” and runs in strict polynomial time. Our reduction relies on a new non-black-box simulation technique which does not use the PCP theorem. In addition to assuming diO, our reduction also assumes (standard and polynomial time) cryptographic assumptions such as collision-resistant hash functions. The round complexity of our protocol also sheds new light on the exact round complexity of concurrent zero-knowledge. It shows, for the first time, that in the realm of non-black-box simulation, concurrent zero-knowledge may not necessarily require more rounds than stand alone zero-knowledge!" @default.
- W3030889631 created "2020-06-05" @default.
- W3030889631 creator A5023747811 @default.
- W3030889631 creator A5061205746 @default.
- W3030889631 creator A5087900012 @default.
- W3030889631 date "2013-01-01" @default.
- W3030889631 modified "2023-09-27" @default.
- W3030889631 title "Obfuscation-based Non-black-box Simulation and Four Message Concurrent Zero Knowledge for NP." @default.
- W3030889631 cites W103647506 @default.
- W3030889631 cites W108539253 @default.
- W3030889631 cites W1484557542 @default.
- W3030889631 cites W1501386175 @default.
- W3030889631 cites W1502416796 @default.
- W3030889631 cites W150803724 @default.
- W3030889631 cites W1509316335 @default.
- W3030889631 cites W1519095911 @default.
- W3030889631 cites W1522706628 @default.
- W3030889631 cites W1525737403 @default.
- W3030889631 cites W1528853875 @default.
- W3030889631 cites W1544854318 @default.
- W3030889631 cites W1548130906 @default.
- W3030889631 cites W1554429124 @default.
- W3030889631 cites W1554705736 @default.
- W3030889631 cites W1561122377 @default.
- W3030889631 cites W1567827377 @default.
- W3030889631 cites W1577917216 @default.
- W3030889631 cites W1581161155 @default.
- W3030889631 cites W1593059878 @default.
- W3030889631 cites W1594985992 @default.
- W3030889631 cites W161286168 @default.
- W3030889631 cites W1621317130 @default.
- W3030889631 cites W1626447266 @default.
- W3030889631 cites W1631229389 @default.
- W3030889631 cites W184028394 @default.
- W3030889631 cites W1884286281 @default.
- W3030889631 cites W1971291564 @default.
- W3030889631 cites W1979215153 @default.
- W3030889631 cites W1984153141 @default.
- W3030889631 cites W1987890787 @default.
- W3030889631 cites W1992282993 @default.
- W3030889631 cites W1995926987 @default.
- W3030889631 cites W1996171547 @default.
- W3030889631 cites W2021733015 @default.
- W3030889631 cites W2028554387 @default.
- W3030889631 cites W2031533839 @default.
- W3030889631 cites W2054904172 @default.
- W3030889631 cites W2064265141 @default.
- W3030889631 cites W2065722310 @default.
- W3030889631 cites W2067596507 @default.
- W3030889631 cites W2077140897 @default.
- W3030889631 cites W2080860101 @default.
- W3030889631 cites W2096626008 @default.
- W3030889631 cites W2097724213 @default.
- W3030889631 cites W2098104887 @default.
- W3030889631 cites W2098121410 @default.
- W3030889631 cites W2102526737 @default.
- W3030889631 cites W2103230338 @default.
- W3030889631 cites W2111749650 @default.
- W3030889631 cites W2111786286 @default.
- W3030889631 cites W2126661026 @default.
- W3030889631 cites W2129086113 @default.
- W3030889631 cites W2134645244 @default.
- W3030889631 cites W2136012769 @default.
- W3030889631 cites W2137883105 @default.
- W3030889631 cites W2142968417 @default.
- W3030889631 cites W2143716337 @default.
- W3030889631 cites W2144238522 @default.
- W3030889631 cites W2144613321 @default.
- W3030889631 cites W2144752539 @default.
- W3030889631 cites W2146856790 @default.
- W3030889631 cites W2148888468 @default.
- W3030889631 cites W2152144666 @default.
- W3030889631 cites W2153825963 @default.
- W3030889631 cites W2158285139 @default.
- W3030889631 cites W2158889011 @default.
- W3030889631 cites W2159460804 @default.
- W3030889631 cites W2160693197 @default.
- W3030889631 cites W2161196440 @default.
- W3030889631 cites W2166561215 @default.
- W3030889631 cites W2182494219 @default.
- W3030889631 cites W2184303230 @default.
- W3030889631 cites W2185867391 @default.
- W3030889631 cites W2189089163 @default.
- W3030889631 cites W2221582088 @default.
- W3030889631 cites W2293021588 @default.
- W3030889631 cites W23115244 @default.
- W3030889631 cites W2396182136 @default.
- W3030889631 cites W2950447367 @default.
- W3030889631 cites W2950622176 @default.
- W3030889631 cites W2952572136 @default.
- W3030889631 cites W3029058895 @default.
- W3030889631 cites W3029925747 @default.
- W3030889631 cites W3194605683 @default.
- W3030889631 cites W2051250911 @default.
- W3030889631 cites W2612546616 @default.
- W3030889631 cites W2613408230 @default.
- W3030889631 hasPublicationYear "2013" @default.
- W3030889631 type Work @default.
- W3030889631 sameAs 3030889631 @default.