Optimizing MPC for Robust and Scalable Integer and Floating-Point Arithmetic

被引:8
|
作者
Kerik, Liisi [1 ]
Laud, Peeter [1 ]
Randmets, Jaak [1 ,2 ]
机构
[1] Cybernetica AS, Tartu, Estonia
[2] Univ Tartu, Tartu, Estonia
关键词
Secure Multiparty Computation; Floating-point operations; Protocol design; SECURE MULTIPARTY COMPUTATION;
D O I
10.1007/978-3-662-53357-4_18
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Secure multiparty computation (SMC) is a rapidly maturing field, but its number of practical applications so far has been small. Most existing applications have been run on small data volumes with the exception of a recent study processing tens of millions of education and tax records. For practical usability, SMC frameworks must be able to work with large collections of data and perform reliably under such conditions. In this work we demonstrate that with the help of our recently developed tools and some optimizations, the Sharemind secure computation framework is capable of executing tens of millions integer operations or hundreds of thousands floating-point operations per second. We also demonstrate robustness in handling a billion integer inputs and a million floating-point inputs in parallel. Such capabilities are absolutely necessary for real world deployments.
引用
收藏
页码:271 / 287
页数:17
相关论文
共 50 条
  • [1] Computing integer powers in floating-point arithmetic
    Kornerup, Peter
    Lefevre, Vincent
    Muller, Jean-Michel
    CONFERENCE RECORD OF THE FORTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1-5, 2007, : 343 - +
  • [2] Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
    Kornerup, Peter
    Lauter, Christoph
    Lefevre, Vincent
    Louvet, Nicolas
    Muller, Jean-Michel
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2010, 37 (01):
  • [3] Floating-point arithmetic
    Boldo, Sylvie
    Jeannerod, Claude-Pierre
    Melquiond, Guillaume
    Muller, Jean-Michel
    ACTA NUMERICA, 2023, 32 : 203 - 290
  • [4] Sabrewing: A Lightweight Architecture for Combined Floating-Point and Integer Arithmetic
    Bruintjes, Tom M.
    Walters, Karel H. G.
    Gerez, Sabih H.
    Molenkamp, Bert
    Smit, Gerard J. M.
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2012, 8 (04)
  • [5] ROBUST PARALLEL COMPUTATION IN FLOATING-POINT AND SLI ARITHMETIC
    LOZIER, DW
    TURNER, PR
    COMPUTING, 1992, 48 (3-4) : 239 - 257
  • [6] ROUNDINGS IN FLOATING-POINT ARITHMETIC
    YOHE, JM
    IEEE TRANSACTIONS ON COMPUTERS, 1973, C 22 (06) : 577 - 586
  • [7] Hammering Floating-Point Arithmetic
    Torstensson, Olle
    Weber, Tjark
    FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 217 - 235
  • [8] FLOATING-POINT ARITHMETIC IN COBOL
    KESNER, O
    COMMUNICATIONS OF THE ACM, 1962, 5 (05) : 269 - 271
  • [9] Fast and Robust Mesh Arrangements using Floating-point Arithmetic
    Cherchi, Gianmarco
    Livesu, Marco
    Scateni, Riccardo
    Attene, Marco
    ACM TRANSACTIONS ON GRAPHICS, 2020, 39 (06):
  • [10] Reducing power by optimizing the necessary precision/range of floating-point arithmetic
    Tong, JYF
    Nagle, D
    Rutenbar, RA
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2000, 8 (03) : 273 - 286