Secure multiparty computations in floating-point arithmetic

被引:2
|
作者
Guo, Chuan [1 ]
Hannun, Awni [2 ]
Knott, Brian [2 ]
van der Maaten, Laurens [2 ]
Tygert, Mark [3 ]
Zhu, Ruiyu [3 ]
机构
[1] Cornell Univ, Dept Comp Sci, Gates Hall, Ithaca, NY 14853 USA
[2] Facebook, Artificial Intelligence Res, 770 Broadway, New York, NY 10003 USA
[3] Facebook, 1 Facebook Way, Menlo Pk, CA 94025 USA
关键词
D O I
10.1093/imaiai/iaaa038
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Secure multiparty computations enable the distribution of so-called shares of sensitive data to multiple parties such that the multiple parties can effectively process the data while being unable to glean much information about the data (at least not without collusion among all parties to put back together all the shares). Thus, the parties may conspire to send all their processed results to a trusted third party (perhaps the data providers) at the conclusion of the computations, with only the trusted third party being able to view the final results. Secure multiparty computations for privacy-preserving machine-learning turn out to be possible using solely standard floating-point arithmetic, at least with a carefully controlled leakage of information less than the loss of accuracy due to roundoff, all backed by rigorous mathematical proofs of worst-case bounds on information loss and numerical stability in finite-precision arithmetic. Numerical examples illustrate the high performance attained on commodity off-the-shelf hardware for generalized linear models, including ordinary linear least-squares regression, binary and multinomial logistic regression, probit regression and Poisson regression.
引用
收藏
页码:103 / 135
页数:33
相关论文
共 50 条
  • [1] A Compiler for Sound Floating-Point Computations using Affine Arithmetic
    Rivera, Joao
    Franchetti, Franz
    Puschel, Markus
    [J]. CGO '22: PROCEEDINGS OF THE 2022 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2022, : 66 - 78
  • [2] Floating-point arithmetic
    Boldo, Sylvie
    Jeannerod, Claude-Pierre
    Melquiond, Guillaume
    Muller, Jean-Michel
    [J]. ACTA NUMERICA, 2023, 32 : 203 - 290
  • [3] Hybrid model of fixed and floating point numbers in secure multiparty computations
    Krips, Toomas
    Willemson, Jan
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8783 : 179 - 197
  • [4] Termination of Floating-Point Computations
    Alexander Serebrenik
    Danny De Schreye
    [J]. Journal of Automated Reasoning, 2005, 34 : 141 - 177
  • [5] Termination of floating-point computations
    Serebrenik, A
    De Schreye, D
    [J]. JOURNAL OF AUTOMATED REASONING, 2005, 34 (02) : 141 - 177
  • [6] ROUNDINGS IN FLOATING-POINT ARITHMETIC
    YOHE, JM
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1973, C 22 (06) : 577 - 586
  • [7] Hammering Floating-Point Arithmetic
    Torstensson, Olle
    Weber, Tjark
    [J]. FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 217 - 235
  • [8] FLOATING-POINT ARITHMETIC IN COBOL
    KESNER, O
    [J]. COMMUNICATIONS OF THE ACM, 1962, 5 (05) : 269 - 271
  • [9] OPTIMIZING SECURE FLOATING-POINT ARITHMETIC: SUMS, DOT PRODUCTS, AND POLYNOMIALS
    Catrina, Octavian
    [J]. PROCEEDINGS OF THE ROMANIAN ACADEMY SERIES A-MATHEMATICS PHYSICS TECHNICAL SCIENCES INFORMATION SCIENCE, 2020, 21 (01): : 21 - 28
  • [10] Efficient Secure Floating-point Arithmetic using Shamir Secret Sharing
    Catrina, Octavian
    [J]. PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS, VOL 2: SECRYPT, 2019, : 49 - 60