Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
https://github.com/baro77/ZKbasicsCS
argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp
Last synced: 3 months ago
JSON representation
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
- Host: GitHub
- URL: https://github.com/baro77/ZKbasicsCS
- Owner: baro77
- Created: 2022-06-20T11:53:46.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2023-09-24T17:47:07.000Z (over 1 year ago)
- Last Synced: 2024-08-03T18:15:59.553Z (6 months ago)
- Topics: argument, completeness, fiat-shamir, nizk, proof, proof-of-knowledge, prover, simulator, soundness, verifier, zero-knowledge, zkp
- Homepage: https://www.bybaro.it/tss
- Size: 854 KB
- Stars: 117
- Watchers: 1
- Forks: 6
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-zero-knowledge-proofs - ZK Basics Cheatsheet - a "for (not too much) dummies" poster, trying to not miss core concepts despite the simplified approach and topics selection (General introduction)
README
# ZK Basics Cheatsheet
```
This cheatsheet is part of "The Salmon Series", check it out @ https://www.bybaro.it/tss
```
After [Monero Addresses Cheatsheet](https://github.com/baro77/MoneroAddressesCS), [Rings Cheatsheet](https://github.com/baro77/RingsCS) and [Monero RingCT Cheatsheet](https://github.com/baro77/RctCS) the intention was to write the next one about Bulletproof (the "_to be continued..._" of the third infographic).
However very soon it has been clear that **Zero Knowledge Proofs theory** is mandatory to have a comprehensive understanding about how BP works (apart from being a very interesting field by itself, laying foundations for many cool techs): so here it is the [present poster](https://github.com/baro77/ZKbasicsCS/blob/main/ZKbasicsCheatsheet20220621.pdf).
I have tried to not miss the basic core concepts despite the simplified approach and topics selection, stressing ideas more than formalism: the merit of this cheatsheet, if any, is trying to represent an at-hand, concise, first bridge between theoretical foundations and applications developers approaching this world (not necessarily cryptography professionals). Of course this kind of resource cannot be a rigorous reference, but authoritative sources that I have consulted are listed, to let the interested reader dig deeper: definitely not an easy task, but worth the study these books require.
The cheatsheet is also published on [Library section of Monero's official site](https://www.getmonero.org/library/) since August 23rd, 2022 and listed on [MatterLabs's "Awesome zero knowledge proofs (zkp)" GitHub repo](https://github.com/matter-labs/awesome-zero-knowledge-proofs) since September 12th, 2022.
Since March 24th, 2023 [the cheatsheet source file (Word's .docx format)](https://github.com/baro77/ZKbasicsCS/blob/main/ZKbasicsCheatsheet20220621.docx) is also available: if you want to translate it ([Russian](https://github.com/baro77/ZKbasicsCS/tree/main/translations/ru) already available by [v1docq47](https://github.com/v1docq47)), or use it in any derivative work please [contact me](https://github.com/baro77).
### Version History
[20220621](https://github.com/baro77/ZKbasicsCS/blob/main/ZKbasicsCheatsheet20220621.pdf) - First issue