Welcome to the resource topic for 2024/035
Title:
A New Approach to Efficient and Secure Fixed-point Computation
Authors: Tore Kasper Frederiksen, Jonas Lindstrøm, Mikkel Wienberg Madsen, Anne Dorte Spangsberg
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.
ePrint: https://eprint.iacr.org/2024/035
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .