论文2007/078

MPC与SFE：统一腐败模型中的完美安全

Zuzana Beerliova-Trubiniova、Matthias Fitzi、Martin Hirt、Ueli Maurer和Vassilis Zikas

摘要

安全功能评估（SFE）允许一组参与者计算其私人输入的任意约定功能，即使对手可能会腐蚀一些玩家。安全多方计算（MPC）是一种泛化，允许执行任意正在进行的（也称为反应或状态）计算在此期间，玩家可以在中间阶段。在Crypto~2006中，Ishai\emph{等人}考虑了混合阈值被动腐蚀固定数量玩家的对手，或者，主动破坏一些（较小的）固定数量的并表明，对于某些阈值，加密SFE是可能，但加密MPC不可能。然而，当考虑到\emph{完美}安全性。事实上，过去的研究表明分离是存在的，因为所有已知的通用协议都是完全安全的SFE也可用于MPC。而且，这种分离不会出现在\emph（一般敌人），以腐败的集合为特征当考虑被动和主动腐败时，参与者的子集。本文研究了最一般的腐败模型，其中对手的特征是一组对手类，每个类指定可以主动、被动或并在这个模型中完美地展示了安全MPC与完全安全的SFE分离。此外，我们得出对抗结构存在的确切条件完全安全的SFE~MPC，并为两者提供高效协议案例。