HCPP22 | Ariel Gabizon - Zero-knowledge proofs: From novice to master

Zero-knowledge proofs have become a central tool for blockchain privacy and scalability. I will give a few examples of such proofs, starting from toy examples requiring no math, and ending with the state-of-the-art zk-SNARK constructions based on elliptic curve pairings. I will aim to have something for everyone in this talk, regardless of their background.
▲▲▲
The chief scientist at Aztec network. Co-creator of the widely used PlonK zk-SNARK. Participated in the first production deployment of zero-knowledge proofs at Zcash.
▲▲▲
Paralelní Polis is a one-­of-­a-­kind nonprofit organization that brings together art, social sciences, and modern technologies. The ideas of liberty, independence, innovative thinking, and the development of society are the main underlying foundations the whole project is built upon.
The project intends to remain state-free as it operates entirely without government support. Most of the funds come from voluntary contributions of our donors and partly from commercial activities such as running a unique co­working space and the world’s first bitcoin-­only cafe.
It was founded by members of a contemporary-­art group Ztohoven, and Slovak and Czech hacker­spaces. Its main goal is to promote economic, social, and digital freedom. We try to be a vocal voice of liberty in order to shape the public discourse, and ultimately work towards a freer future.