Zero Knowledge Proofs

For a comprehensive introduction to Zero-Knowledge Proofs, we recommend reading the following book by Justin Thaler: "Proofs, Arguments, and Zero-Knowledge".

Furthermore, here are some MPC-friendly ZK proof systems:

• Groth16: https://eprint.iacr.org/2016/260.pdf
• Plonk: https://eprint.iacr.org/2019/953.pdf
• HyperPlonk: https://eprint.iacr.org/2022/1355.pdf
• Marlin: https://eprint.iacr.org/2019/1047.pdf
• Halo2: https://zcash.github.io/halo2/