ZK Basics Cheatsheet

This cheatsheet is part of "The Salmon Series", check it out @ https://www.bybaro.it/tss

After Monero Addresses Cheatsheet, Rings Cheatsheet and Monero RingCT Cheatsheet 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.

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 since August 23rd, 2022 and listed on MatterLabs's "Awesome zero knowledge proofs (zkp)" GitHub repo since September 12th, 2022.

Since March 24th, 2023 the cheatsheet source file (Word's .docx format) is also available: if you want to translate it (Russian already available by v1docq47), or use it in any derivative work please contact me.

Version History

20220621 - First issue