关于安全多方计算的研究进展

在报告中，徐老师以经典的“百万富翁”问题为例，首先介绍了安全多方计算的背景。之后，进一步详细地介绍了安全多方计算的定义与研究现状（图-Main Direction）。安全多方计算主要有以下几个环境参数：具有自适应性还是非自适应性、是半诚实模型还是恶意模型、敌手的计算能力是否无界。随环境参数的不同，安全多方计算协议的种类不同。但这些协议的直观定义相同，即：敌手攻击现实模型的成功机会不多于他攻击理想安全模型的成功机会。不同模型下的安全多方计算可以借助于不同的工具来实现：半诚实模型下的安全多方计算可以借助于OT协议实现，恶意的安全多方计算可以借助于承诺方案、零知识证明、可验证的秘密共享方案等工具实现。目前，安全多方计算的研究主要集中在普适合成（UC）安全性、公平性、效率以及量子构造等几方面。就这几方面的进展情况，徐老师一一进行了介绍(图-Universal Composability)。最后，徐老师介绍了她近期在安全多方计算方面的工作。