Facilitator: Barry

Residents with MPC Experience who will help with the discussion

Note: no formal presentation needed.

Curated Prereqs

General

• Yehuda Lindell’s SoK: https://eprint.iacr.org/2020/300.pdf
  • Fantastic casual introduction to why you should care about MPC, very little deep technical content, mostly an executive understanding of MPC; treat it closer to a blog post vs. paper

  • Recently, MPC has become efficient enough to be used in practice, and has made the transition from an object of theoretical study to a technology being used in industry. In this article, we will review what MPC is, what problems it solves, and how it is being currently used.

• https://securecomputation.org/docs/ch3-fundamentalprotocols.pdf
• https://github.com/rdragos/awesome-mpc
• How to choose your MPC framework: https://www.esat.kuleuven.be/cosic/blog/how-to-choose-your-mpc-framework/

Garbled circuits

Arranged from simplest to most complex

• https://cronokirby.com/posts/2022/05/explaining-yaos-garbled-circuits/
• https://vitalik.ca/general/2020/03/21/garbled.html
• https://wiki.mpcalliance.org/garbled_circuit.html
• SOTA optimized constructions:
  • http://www.cs.toronto.edu/~vlad/papers/XOR_ICALP08.pdf
  • https://eprint.iacr.org/2014/756.pdf
  • https://youtu.be/S5NhXU3DfsM

Linear sharing

• MPC MACI notes are great starting point with the perfect amount of details on how linear sharing schemes perform common operations under the hood: https://morgana-proofs.github.io/mpc-maci/master/
• Collaborative zkSNARKs from linear sharing, creating auditable MPC: https://eprint.iacr.org/2021/1530

App-Specific problems/protocols

• Private set intersection: https://cyber.biu.ac.il/wp-content/uploads/2017/01/15.pdf