---
# System prepended metadata

title: Untitled

---

**SoK: ZK-Snarks Protocols and Attacks on Zero Knowledge**  

Introduction
Types of Zk-Snarks
1. Groth16
2. SuperSonic
3. Plonk
4. Vampire
5. Caulk
6. Aurora
7. Halo2
comparison in terms of: mathematical problem, proof size, need trusted setup?, updatable or not?, post-quantum?
* https://medium.com/coinmonks/comparing-general-purpose-zk-snarks-51ce124c60bd
* https://dev.to/heymarkkop/zku-week-1-introduction-to-zkp-h5
* https://www.di.ens.fr/~nitulesc/files/Survey-SNARKs.pdf 
* https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf 
* https://tlu.tarilabs.com/cryptography/zk-snarks

**Attacks**
* https://eprint.iacr.org/2021/1638.pdf
* https://www.youtube.com/watch?v=yOCV0NKF6fY
* https://blog.trailofbits.com/2022/04/18/the-frozen-heart-vulnerability-in-plonk/
* https://medium.com/ppio/how-to-generate-a-groth16-proof-for-forgery-9f857b0dcafd
* https://geometryresearch.xyz/notebook/groth16-malleability