**#4 Home Edition**

# SoK: Formal security analysis of MPC-in-the-head zero-knowledge protocols

**Moderator:** abhi shelat
**Presenters:** Nikolaj Sidorenco

**Authors:**
* Nikolaj Sidorenco
* Sabine Oechsner
* Bas Spitters

To be presented on 2021-04-27.

Resources:
* [Latest PDF version](https://docs.zkproof.org/pages/standards/accepted-workshop4/sok-formal.pdf)
* [Miro whiteboard frame](https://miro.com/app/board/o9J_lJQRFxQ=/?moveToWidget=3074457357481295789&cot=14)
* [Additional related links](https://hackmd.io/@workshop4/links)
* [Related conversation]()

----

## Real-time notes
_Note Taker:_