MPC in the Wild is a research project that aims to study the real-world implementation security of MPC protocols, in particular, the gap between assumptions on the theory side and implementation choices made in practice.

Interested in the security of MPC implementations?

Peter Scholl (@schollster.bsky.social) and I are looking for research interns to study the theory/practice gap for MPC. We can host multiple interns in Aarhus for the summer 2026.

More information: mpcinthewild.github.io

Help us spread the word!

Screenshot from CiC website: Who Verifies the Verifiers? Lessons Learned from Formally Verified Line-Point Zero-Knowledge Authors Sabine Oechsner, Vitor Pereira, Peter Scholl

New paper with Vitor Pereira and Peter Scholl (@schollster.bsky.social)!

We found flaws in a supposedly formally verified security proof of LPZK, leading to attacks on soundness and zk.
The culprit: a mismatch between definitions in their code and the original LPZK papers.

cic.iacr.org/p/2/3/24

Excited to do more research on the real-world security of MPC with @proofnerd.bsky.social, thanks to this grant. We plan to hire some interns for this next summer.

Congrats to all the other recipients so far, and to Zama for a smooth application process, ~1 month from announcement to notification!

Happy our paper on the real-world security of MPC implementations is finally out! This project goes back to Frederik & Alexander's masters thesis from 2 years ago @csaudk.bsky.social, it's not easy work but hope to see more of this type of research in future.

Shout-out to my colleagues for the responsible disclosure of security issues in MP-SPDZ. They have been fixed in 2023.