Programmable MPC vs ZKP

One of the novelties of Quilibrium is that it uses programmable MPC (secure multi-party computation) to provide confidentiality on the network as opposed to programmable ZKP (zero-knowledge cryptography) used by most other networks. Programmable MPC has just become feasible recently and the field is approximately where ZKP was 5-6 years ago.

A special case of MPC is 2PC, that is, secure multi-party computation carried out between two parties. The 2PC is for Lovers talk by Barry Whitehat at Devconnect 2023 is a great intro to programmable 2PC.

The TLDR is that ZKP lets us compute over single party secrets while MPC lets us compute over secrets from multiple parties. This is needed to implement stuff like Tinder swipes where you only match if both say yes. With ZKP there is a first mover problem where one party has to reveal their choice without knowing if the other matches.


6 Likes

Thank you @abc for sharing, here is a suggestion. Could you provide some more specific examples, such as specific applications of Programmable MPC in Quilibrium? Of course, we don’t need too much detail (at the code level), so that we can easily dig deeper into learning and understanding this project.

Sure, this blog post gives a good overview of building on Quilibrium: Quilibrium Blog | Quil Builder's Guide

Edit: this post has some more info as well: Are We Ready To Build On Quilibrium - #2 by cassie