首页    期刊浏览 2024年10月06日 星期日
登录注册

文章基本信息

  • 标题:Channels of Small Log-Ratio Leakage and Characterization of Two-Party Differentially Private Computation
  • 本地全文:下载
  • 作者:Iftach Haitner ; Noam Mazor ; Ronen Shaltiel
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2019
  • 卷号:2019
  • 页码:1-42
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    Consider a PPT two-party protocol \pi=(A,B) in which the parties get no private inputs and obtain outputs O^A,O^B\in{0,1}, and let V^A and V^B denote the parties’ individual views. Protocol \pi has \alpha-agreement if Pr[O^A=O^B]=1/2+\alpha. The leakage of \pi is the amount of information a party obtains about the event {O^A=O^B}; that is, the leakage \epsilon is the maximum, over P\in{A,B}, of the distance between V^P|OA=OB and V^P|OA!=OB. Typically, this distance is measured in statistical distance, or, in the computational setting, in computational indistinguishability. For this choice, Wullschleger [TCC ’09] showed that if \alpha>>\apsilon then the protocol can be transformed into an OT protocol.We consider measuring the protocol leakage by the log-ratio distance (which was popularized by its use in the differential privacy framework). The log-ratio distance between X,Y over domain \Omega is the minimal \epsilon>0 for which, for every v\in\Omega, log(Pr[X=v]/Pr[Y=v])\in [-\epsilon,\epsilon]. In the computational setting, we use computational indistinguishability from having log-ratio distance \epsilon. We show that a protocol with (noticeable) accuracy \alpha\in\Omega(\epsilon^2) can be transformed into an OT protocol (note that this allows \epsilon>>\alpha). We complete the picture, in this respect, showing that a protocol with \alpha\in o(\epsilon^2) does not necessarily imply OT. Our results hold for both the information theoretic and the computational settings, and can be viewed as a “fine grained” approach to “weak OT amplification”.We then use the above result to fully characterize the complexity of differentially private two-party computation for the XOR function, answering the open question put by Goyal, Khurana, Mironov, Pandey, and Sahai [ICALP ’16] and Haitner, Nissim, Omri, Shaltiel, and Silbak [FOCS ’18]. Specifically, we show that for any (noticeable) ???(?^2), a two-party protocol that computes the XOR function with \alpha-accuracy and \epsilon-differential privacy can be transformed into an OT protocol. This improves upon Goyal et al. that only handle \alpha\in\Omega(\epsilon), and upon Haitner et al. who showed that such a protocol implies (infinitely-often) key agreement (and not OT). Our characterization is tight since OT does not follow from protocols in which \alpha\in o(\epsilon^2), and extends to functions (over many bits) that “contain” an “embedded copy” of the XOR function.

  • 关键词:oblivious transfer; differential privacy; hardness amplification.
国家哲学社会科学文献中心版权所有