Publicly Auditable Secure Multi-Party Computation

摘要: In the last few years efficiency of secure multi-party computation (MPC) increased in several orders magnitudes. However, this alone might not be enough if we want MPC protocols to used practice. A crucial property that is needed many applications everyone can check a given (secure) was performed correctly – even extreme case where all parties involved are corrupted, and party who wants verify result participating. This especially relevant clients-servers setting, clients provide input by servers. An obvious example electronic voting, but also types auctions one may independent verification result. Traditionally, achieved using non-interactive zero-knowledge proofs during computation.