安全且可扩展的匹配:利用群程序克服通用电路瓶颈
密码学与安全
2014-04-01 v1
摘要
保密基于内容的发布/订阅(C-CBPS)是一种交互(pub/sub)模型,允许各方在保护其安全和隐私利益的同时交换数据。在本文中,我们推进了 C-CBPS 的最新水平,展示了 NC1(对数深度、有界扇入)中的所有谓词电路如何由经纪人安全计算,同时保证完美的信息论安全性。先前的工作只能处理深度更浅的电路(例如深度为 的电路 [SYY99, V76])。我们提出了三种协议——UGP-Match、FSGP-Match 和 OFSGP-Match——这三种协议均基于群程序(及其 2-可分解随机编码)并处理 NC1 中的电路。UGP-Match 概念简单且具有清晰的正确性证明,但效率低下且不实用。FSGP-Match 利用“固定结构”技巧来实现效率和可扩展性。最后,OFSGP-Match 使用手工优化的群程序以榨取更高的效率。我们通过原型实现的实验评估完成了我们的调查。
引用
@article{arxiv.1403.8137,
title = {Secure and scalable match: overcoming the universal circuit bottleneck using group programs},
author = {Rajesh Krishnan and Ravi Sundaram},
journal= {arXiv preprint arXiv:1403.8137},
year = {2014}
}