3 ms·
I think ZKPs will find most of their use in proving MPC protocols were correctly followed. In these protocols you often need everyone to do certain steps correc
by rocqua 5y ago
I think ZKPs will find most of their use in proving MPC protocols were correctly followed. In these protocols you often need everyone to do certain steps correctly to prevent cheating or deadlock. But sharing the information behind those steps reveals way too much data.
Often ZKP can be used to prove those steps were correctly followed.
- Ar-Curunir 5y agoFor many existing MPC protocols, ZKPs are overkill for achieving malicious security, and more efficient approaches exist (eg: information-theoretic MACs)
- knownjorbist 5y agoWikipedia gives 11 different links for MPC under "Computers and Electronics". Which is this? Massively Parallel Computing?
- a1369209993 5y agoProbably multi-party computation.
- oh_sigh 5y agoMulti party computation IE compute F(x,y,z) where I have x, you have y, and dang has z, and none of us want each other to know what our values are.
- Vervious 5y agoA correct Multi-party computation protocol (MPC) by definition is private. MPC from its inception has used zero-knowledge proofs as a building block (i.e. see the GMW compiler from the 1980s) (though other approaches exist).