Zero-Knowledge-Proofs
零知識證明和多方計算之間的區別
我正在努力理解兩者之間的區別。根據我的總結，他們有不同的對抗模型，MPC 增加了政黨之間勾結的條件，即選舉投票。
如果有人可以為此提供簡單和擴展的解釋，我將不勝感激。
定義：ZK 可以看作是 MPC 的一個特例。
使用：我們知道如何使用任何（可能很弱，即半誠實的安全性）MPC 協議來建構更好的 zk（例如 sigma 協議）。我們知道如何使用 ZK 將 MPC 增強為具有更強安全性的協議。
零知識證明允許證明者向其他人證明陳述，而無需提供任何資訊。考慮以下“遊戲”：鮑勃告訴愛麗絲他知道如何開門，而鮑勃不想告訴她如何開門。假設這扇門在隧道中間，有兩個入口。所以人們可以進入它，打開它中間的門，然後從另一條路出去。現在，鮑勃從某個方向進入隧道，說左邊，而愛麗絲沒有看到他。然後愛麗絲喊道：“鮑勃，你能從隧道的右側出去嗎？”。如果鮑勃知道秘密，打開門從另一邊出去，否則他很幸運，從他進入的地方退出。鮑勃第一次欺騙愛麗絲的機率是多少？50%，對吧？因為一旦進入隧道，愛麗絲就會選擇他必須離開的地方。想一想 Alice 和 Bob 重複這個協議很多很多次，比如 200 次。 Bob 在 Alice 要求的一邊退出的機率是 1/2^200。這只是一個例子，但實際上，使證明為零知識是非常困難的。
有關它的更多詳細資訊，另請參閱此處的答案
不幸的是，關於MPC我不太了解，所以希望其他人可以幫助你。