ZK Study Group Session 5: Groth16 & Plonk

Hi everyone! Welcome to our Zero Knowledge Study Group event, where we will be diving into the exciting world of zero-knowledge proofs.

This is the fifth session of the study group series, where we dive deeper into ZK-SNARKS, trying to understand the Groth16 and Plonk proof system! This session will utilise knowledge from all the previous sessions, so remember to do some revision before coming!

The core materials:
All of Moonmath (We already went through some for our previous sessions): https://leastauthority.com/community-matters/moonmath-manual/

Groth16

• The Mathematics behind zkSNARKS https://www.youtube.com/watch?v=iRQw2RpQAVc
• Pinocchio Protocol: https://www.zeroknowledgeblog.com/index.php/the-pinocchio-protocol
• Groth16 Explaination: https://www.youtube.com/watch?v=VQyDSxB9Bls

Plonk

• Plonk, explained by David Wong: https://www.youtube.com/watch?v=RUZcam_jrz0&list=PLBJMt6zV1c7Gh9Utg-Vng2V6EYVidTFCC
• Plonk, ZK Whiteboard https://www.youtube.com/watch?v=Uldlq35Se3k

Supplementary materials

• Vitalik's Articles on Zk-SNARK
• https://vitalik.ca/general/2016/12/10/qap.html
• https://vitalik.ca/general/2017/01/14/exploring_ecp.html
• https://vitalik.ca/general/2017/02/01/zk_snarks.html
• Groth16 Rust code examples: https://github.com/arkworks-rs/groth16 Groth16 paper: https://eprint.iacr.org/2016/260.pdf
• Plonk paper: https://eprint.iacr.org/2019/953.pdf
• Plonk Rust Code examples: https://github.com/dusk-network/plonk - Plonk, explained by Vitalik: https://vitalik.ca/general/2019/09/22/plonk.html
• Plonk, explaination wtih graphics:
• 1. https://xiaohuiliu.medium.com/how-plonk-works-part-1-bc8050f4805e
• 2. https://xiaohuiliu.medium.com/how-plonk-works-part-2-1072dcd7634a

If you're interested, fill up the forms for the event!
https://forms.gle/RJV6NneDgvY37bKZA