Paper 2024/035

A New Approach to Efficient and Secure Fixed-point Computation

Tore Kasper Frederiksen, Zama
Jonas Lindstrøm, Mysten Labs
Mikkel Wienberg Madsen, The Alexandra Institute
Anne Dorte Spangsberg, The Alexandra Institute
Abstract

Secure Multi-Party Computation (MPC) constructions typically allow computation over a finite field or ring. While useful for many applications, certain real-world applications require the usage of decimal numbers. While it is possible to emulate floating-point operations in MPC, fixed-point computation has gained more traction in the practical space due to its simplicity and efficient realizations. Even so, current protocols for fixed-point MPC still require computing a secure truncation after each multiplication gate. In this paper, we show a new paradigm for realizing fixed-point MPC. Starting from an existing MPC protocol over arbitrary, large, finite fields or rings, we show how to realize MPC over a residue number system (RNS). This allows us to leverage certain mathematical structures to construct a secure algorithm for efficient approximate truncation by a static and public value. We then show how this can be used to realize highly efficient secure fixed-point computation. In contrast to previous approaches, our protocol does not require any multiplications of secret values in the underlying MPC scheme to realize truncation but instead relies on preprocessed pairs of correlated random values, which we show can be constructed very efficiently, when accepting a small amount of leakage and robustness in the strong, covert model. We proceed to implement our protocol, with SPDZ as the underlying MPC protocol, and achieve significantly faster fixed-point multiplication.

Note: This revision contains a note on how to use one of our preprocessing algorithms in the context of the probabilistic truncation of Catrina and Saxena in order to achieve somewhat similar results to ours.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Published elsewhere. Major revision. ACNS 2024
Keywords
MPCfixed-pointmalicious securitycovert securityUCresidue number systems
Contact author(s)
tore frederiksen @ zama ai
jonas @ mystenlabs com
mikkel wienberg @ alexandra dk
a d spangsberg @ alexandra dk
History
2024-05-01: revised
2024-01-09: received
See all versions
Short URL
https://ia.cr/2024/035
License
Creative Commons Attribution-ShareAlike
CC BY-SA

BibTeX

@misc{cryptoeprint:2024/035,
      author = {Tore Kasper Frederiksen and Jonas Lindstrøm and Mikkel Wienberg Madsen and Anne Dorte Spangsberg},
      title = {A New Approach to  Efficient and Secure Fixed-point Computation},
      howpublished = {Cryptology {ePrint} Archive, Paper 2024/035},
      year = {2024},
      url = {https://eprint.iacr.org/2024/035}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.