---
# System prepended metadata

title: Compilation of MPC@PSE Research

---

# Compilation of MPC@PSE Research
See below.

# Writeups (some required signed-in)
- General
    - [Intro to Garbled Circuit](https://hackmd.io/frMushaeSESma2OEdNseRQ)
    - [Garbled Arithmetic Circuit](https://hackmd.io/gdi44oLIQ8G9fXRHM5hl9Q)
    - [Residue Number System and Applications](https://hackmd.io/JXYfVuSDRdyfbssGuiO92w?both)
    - [Beyond the Circuit Model: challenges in Circom Extension](/-1Lh2mr3TDumKS1ZU1YBIA)
    - [Notes on Authenticated Garbling](https://hackmd.io/NDC2bGZVTEmB6Hr3kso-dw)
- Applications
    - [2PC with Public Binding](https://hackmd.io/@tkmct/rkvQoKdx3)
    - [What could be done in MPC?](https://hackmd.io/@tkmct/HJaqJ8Ngh)
    - [PPMP in Swanky, circom-ml and circomlib-ml](/vGYW_JP4Sf-SJutA1W6yow)
    - [Notes on WorldCoin MPC](https://hackmd.io/RwK8x9fQS1Gfy_UjG85DTA)
    
# Repos (some WIPs)
- [mpz]() (by TLSNotary team)
- [mpz-bmr16](https://github.com/tkmct/mpz/tree/bmr16) **VULNERABLE**: 2024-02-09 Projection gates in arithmetic garbled circuits have a [proven security vulnerability](https://github.com/defund/ctf/tree/master/dicectf-quals-2024/dicenet/solve) in their design. The issue affects the fancy-garbling library and its dependencies (including popsicle). We are currently investigating the impact this bug has on Arithmetic Garbling (CRT) in swanky.
- [circom-2-arithc](https://github.com/namnc/circom-2-arithc)
- [circom-MP-SPDZ](https://github.com/namnc/circom-mp-spdz/) that allows writing in circom and run in MP-SPDZ.
- [sim-circuit](https://github.com/brech1/sim-circuit) as a circuit simulation for testing generated circuits.

# Learn and Share (WIP)

# Tutorials and Workshops
- 2023/09 MuChiangMai [Intro to Garbled Circuit and MPZ](https://hackmd.io/@tkmct/ByO1h0H16#/31)
- 2023/11 ProgCrypto [Intro to MPC](https://docs.google.com/presentation/d/1b2Z4xdc-aRDe6RCLxzsPEYigWmWz7urUD6WgZ_XroSU/edit?usp=share_link) ([video](https://youtu.be/buXrLgrLRCs?si=HEHSfoUG6hhC_Nn-))
- 2023/11 ProgCrypto [Garbled Circuit and Programmability: Circom <> MPZ Demo](https://docs.google.com/presentation/d/1EnPUCD1djZroW_nTcxNrG_JxywK3RdUBIPNZ2nK9CJU/edit?usp=share_link)
- 2024/03 Intro to circom-mpz and beyond: [EthTaipei](https://docs.google.com/presentation/d/1Ci-_t2L7iFOBkUd3Ln07Qa0_PqpUvD9cn1tXEgwGzAo/edit?usp=sharing) and [Taiwan ZK#5](https://docs.google.com/presentation/d/191jqTfD1HD-KF-1TS5nkb8kjMGGfG3f9qfiv5vv44o8/edit?usp=sharing)

# Other cool refs (NOT BY US/ SOME WITH US)
- [MPC-MACI](https://morgana-proofs.github.io/mpc-maci/master/)
- [PPML](https://hackmd.io/@yuriko/HyXJ7cykC)
- [MPC-SOK](https://github.com/MPC-SoK/frameworks)