The Cost of IEEE Arithmetic in Secure Computation

被引:2
|
作者
Archer, David W. [1 ]
Atapoor, Shahla [2 ]
Smart, Nigel P. [2 ,3 ]
机构
[1] Galois Inc, Portland, OR 97204 USA
[2] Katholieke Univ Leuven, Imec COSIC, Leuven, Belgium
[3] Univ Bristol, Bristol, England
来源
关键词
MULTIPARTY COMPUTATION; MPC; CIRCUITS;
D O I
10.1007/978-3-030-88238-9_21
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Programmers are used to the rounding and error properties of IEEE double precision arithmetic, however in secure computing paradigms, such as provided by Multi-Party Computation (MPC), usually a different form of approximation is provided for real number arithmetic. We compare the two standard variants using for LSSS-based MPC, with an implementation of IEEE compliant double precision using binary circuit-based MPC. We compare the relative performance, and conclude that the addition cost of IEEE compliance maybe too great for some applications. Thus in the secure domain standards bodies may wish to examine a different form of real number approximations.
引用
收藏
页码:431 / 452
页数:22
相关论文
共 50 条
  • [31] The Forthcoming IEEE Standard 1788 for Interval Arithmetic
    Pryce, John
    SCIENTIFIC COMPUTING, COMPUTER ARITHMETIC, AND VALIDATED NUMERICS (SCAN 2014), 2016, 9553 : 23 - 39
  • [32] An arithmetic for polynomial-time computation
    Schwichtenberg, Helmut
    THEORETICAL COMPUTER SCIENCE, 2006, 357 (1-3) : 202 - 214
  • [33] Secure Multi Party Learning: From Secure Computation to Secure Learning
    Han W.-L.
    Song L.-S.
    Ruan W.-Q.
    Lin G.-P.
    Wang Z.-X.
    Jisuanji Xuebao/Chinese Journal of Computers, 2023, 46 (07): : 1494 - 1512
  • [34] ARITHMETIC SPECIFICATION FOR SCIENTIFIC COMPUTATION IN ADA
    KLATTE, R
    ULLRICH, CP
    VONGUDENBERG, JW
    IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (11) : 996 - 1005
  • [35] A STOCHASTIC ARITHMETIC FOR RELIABLE SCIENTIFIC COMPUTATION
    VIGNES, J
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1993, 35 (03) : 233 - 261
  • [36] Arithmetic computation with probability words and numbers
    Mandel, David R.
    Dhami, Mandeep K.
    Tran, Serena
    Irwin, Daniel
    JOURNAL OF BEHAVIORAL DECISION MAKING, 2021, 34 (04) : 593 - 608
  • [37] On the arithmetic required in the computation of orthonormal transforms
    Corgnier, L.
    Guglielmo, M.
    Signal Processing: Image Communication, 1990, 2 (01) : 1 - 11
  • [38] OPTICAL COMPUTATION USING RESIDUE ARITHMETIC
    HUANG, A
    TSUNODA, Y
    GOODMAN, JW
    ISHIHARA, S
    APPLIED OPTICS, 1979, 18 (02): : 149 - 162
  • [39] Secure Multiparty Computation Using Secure Virtual Machines
    Miladinovic, Danko
    Milakovic, Adrian
    Vukasovic, Maja
    Stanisavljevic, Zarko
    Vuletic, Pavle
    ELECTRONICS, 2024, 13 (05)
  • [40] Foundations of Programmable Secure Computation
    Laur, Sven
    Pullonen-Raudvere, Pille
    CRYPTOGRAPHY, 2021, 5 (03)