(阅读笔记)ABY: A Framework for Efficient Mixed-Protocol Secure Two-Party Computation

最新推荐文章于 2024-10-04 13:36:29 发布

你看见的我

最新推荐文章于 2024-10-04 13:36:29 发布

阅读量3.4k

点赞数 13

分类专栏：安全学习文章标签：密码学安全安全多方计算

本文链接：https://blog.csdn.net/qq_42328228/article/details/124918275

版权

安全学习专栏收录该内容

14 篇文章

订阅专栏

ABY框架旨在克服单一安全计算协议的局限，支持算术、布尔和姚式三种秘密共享类型之间的安全转换。通过使用最新优化，它实现了包括模幂运算、隐私交集协议和生物特征匹配在内的高效隐私保护应用，运行时间显著提升。该框架在半诚实敌手模型中操作，确保了协议的安全性和效率。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

代码在这里

引言

为了克服对有效函数表示的依赖并提高效率，一些工作将基于同态加密的安全计算协议与姚氏混淆电路结合，使用同态加密评估算术电路，例如加法和乘法运算，使用姚氏电路评估布尔电路，例如比较运算，研究结果表明，使用混合协议方法可以产生比仅使用单个协议更好的性能。然而，同态加密和姚氏电路协议之间转换的成本相对昂贵，并且同态加密的性能对着安全参数的增加而变差，因此混合协议仅比使用单一协议实现了相对较小的改进。
作者提出了ABY框架，支持三种秘密共享类型（算术共享、布尔共享、姚式共享）之间的安全转换。具体而言，算术共享采用Beaver乘法三元组[14]，布尔共享采用Goldreich-Micali-Wigderson (GMW)协议[13]，姚式共享采用混淆电路协议[7]，如图15所示，其中C表示cleartext明文。
在这里插入图片描述
每种安全计算技术都使用最新的优化和最佳实践来完成。作者采用ABY框架实现了几种隐私保护应用：模幂运算、隐私交集协议、生物特征匹配，运行时间比使用单一的协议快了一个数量级。

基础知识

ABY框架是在安全两方计算设置下构建的，两台计算服务器是不共谋的，每个客户端秘密地在两台服务器之间共享其输入。然后，两台服务器在输入共享上运行安全计算协议，在此期间它们不学习任何中间信息。最后，它们将输出份额发送给输出端，后者可以重构输出。由于所有协议都是在共享上运行的，这也允许响应式计算，即两台服务器在多次执行中保持安全的状态信息。
我们的工作集中在半诚实的敌手模型中设计和实现高效的混合协议安全的两方计算，与更强的恶意(主动)敌手相比，不允许半诚实的敌手偏离协议。此外，半诚实模型可以开发高效的安全计算协议，因此被广泛用于实现隐私保护应用。
符号定义如表1所示。
在这里插入图片描述

秘密共享类型

算术共享：free addition；cheap multiplication；good for multiplication；
布尔共享：free XOR；one interaction per AND；good for multiplexing；
姚式共享：free XOR；no interaction per AND；good for comparison。