From d846154ae6b08a5989d808860bac8df0f3d540e1 Mon Sep 17 00:00:00 2001 From: Martin Thomson Date: Tue, 17 Dec 2024 16:00:16 +1100 Subject: [PATCH] Expand on MPC guarantees --- api.bs | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/api.bs b/api.bs index 5f73acf..a0f5a01 100644 --- a/api.bs +++ b/api.bs @@ -921,8 +921,17 @@ The basic guarantee provided by MPC is that only the defined outputs of a function, plus well-defined leakage, is revealed to any entity. -These guarantees hold only to the extent that + +The MPC guarantees hold only to the extent that a subset of the entities that participate are honest. +For the two-party MPC used in Prio, +privacy-- +that is, the confidentiality of inputs-- +is maintained +as long as either MPC operator remains honest. +This MPC configuration does not protect +against the corruption of the outputs +by either MPC operator. ### Prio and DAP ### {#prio}