Peter Scholl

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!

06.12.2025 16:21 — 👍 20    🔁 10    💬 0    📌 1

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

07.10.2025 07:21 — 👍 5    🔁 1    💬 1    📌 0

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!

04.06.2025 22:15 — 👍 11    🔁 4    💬 0    📌 0

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.

05.05.2025 08:12 — 👍 5    🔁 2    💬 0    📌 0

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

05.05.2025 05:15 — 👍 5    🔁 2    💬 0    📌 0