Talk:Non-interactive zero-knowledge proof

This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Computing: Software / CompSci / Security Low‑importance This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing Low This article has been rated as Low-importance on the project's importance scale. This article is supported by WikiProject Software (assessed as Low-importance). This article is supported by WikiProject Computer science (assessed as Low-importance). This article is supported by WikiProject Computer security (assessed as Low-importance). Things you can help WikiProject Computer science with: edit history watch purge Here are some tasks awaiting attention: Article requests : Requested articles/Applied arts and sciences/Computer science, computing, and Internet Cleanup : Computer science articles needing attention Computer science articles needing expert attention Copyedit : Computing Expand : Computer science Infobox : Computer science articles without infoboxes Maintain : Timeline of computing 2020–present Photo : Find pictures for the biographies of computer scientists (see List of computer scientists) Computing articles needing images Stubs : Computer science stubs Unreferenced : WikiProject Computer science/Unreferenced BLPs Project-related : Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}} Cryptography: Computer science Low‑importance This article is within the scope of WikiProject Cryptography, a collaborative effort to improve the coverage of Cryptography on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.CryptographyWikipedia:WikiProject CryptographyTemplate:WikiProject CryptographyCryptography Low This article has been rated as Low-importance on the importance scale. This article is supported by WikiProject Computer science (assessed as Low-importance). Numismatics Low‑importance This article is within the scope of WikiProject Numismatics, a collaborative effort to improve the coverage of numismatics and currencies on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.NumismaticsWikipedia:WikiProject NumismaticsTemplate:WikiProject Numismaticsnumismatic Low This article has been rated as Low-importance on the project's importance scale. Cryptocurrency This article is within the scope of WikiProject Cryptocurrency, a collaborative effort to improve the coverage of cryptocurrency on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.CryptocurrencyWikipedia:WikiProject CryptocurrencyTemplate:WikiProject CryptocurrencyWikiProject Cryptocurrency ??? This article has not yet received a rating on the importance scale.

Page 20 of Definitions and Properties of Zero-Knowledge Proof Systems, Goldreich, Oren, give impossibility results for one shot zero-knowledge protocols in the standard model. This does not hold for the common reference sting model or the random oracle model.

Special Course on Cryptology / Zero Knowledge: Random Oracles and Fiat-Shamir Heuristic http://citeseer.ist.psu.edu/460680.html

Add a paragraph between par 1 and par 2, describing how RO and CRS can be used to turn ZK into NIZK.

par 3 is then about the limitations of NIZK, maybe it is also possible to write about concurrent security, and non malleability.

--Markulf 15:10, 28 June 2007 (UTC)Reply

This page, while interesting, doesn't actually explain how an example of a NIZKP might actually work. This page would be really helped by having a worked example. Mpdehnel (talk) 10:04, 4 August 2015 (UTC)Reply

Why does the introduction specifically mention Bulletproofs? There are tens of NIZK papers published every year. Although a nice result, I don't see it being that influential in the grand scheme of things. Also, is it important which paper introduced the acronym SNARK? — Preceding unsigned comment added by 146.255.183.210 (talk) 19:49, 27 December 2017 (UTC)Reply

The article has a reference to the zCash cryptocurrency but not to other cryptocurrencies (like Monero) that are also based on this technology. The article therefore appears opinionated towards Starkware, zCash ect.. Please make it more neutral. — Preceding unsigned comment added by 141.45.12.194 (talk) 22:45, 11 October 2019 (UTC)Reply

The article currently contains a whole lot of information about proof of work. Although both of these topics both come up in cryptocurrencies, they are actually very different topics. Maybe someone just thought they are the same or similar, because they both contain the word "proof"? In general the article isn't up to date as it doesn't contain any information about Halo (2). --BlauerBaum (talk) 23:46, 15 December 2022 (UTC)Reply

Text or other creative content from this version of zero knowledge proofs was copied or moved into non interactive zero knowledge proofs with this edit on 06:46, 25 February 2023. The former page's history now serves to provide attribution for that content in the latter page, and it must not be deleted as long as the latter page exists.

Touftoufikas (talk) 14:40, 25 February 2023 (UTC)Reply