Ditto: Quantization-aware Secure Inference of Transformers upon MPC

Haoqi Wu Wenjing Fang Yancheng Zheng Junming Ma Jin Tan Yinggui Wang Lei Wang

Abstract

Due to the rising privacy concerns on sensitive client data and trained models like Transformers, secure multi-party computation (MPC) techniques are employed to enable secure inference despite attendant overhead. Existing works attempt to reduce the overhead using more MPC-friendly non-linear function approximations. However, the integration of quantization widely used in plaintext inference into the MPC domain remains unclear. To bridge this gap, we propose the framework named Ditto to enable more efficient quantization-aware secure Transformer inference. Concretely, we first incorporate an MPC-friendly quantization into Transformer inference and employ a quantization-aware distillation procedure to maintain the model utility. Then, we propose novel MPC primitives to support the type conversions that are essential in quantization and implement the quantization-aware MPC execution of secure quantized inference. This approach significantly decreases both computation and communication overhead, leading to improvements in overall efficiency. We conduct extensive experiments on Bert and GPT2 models to evaluate the performance of Ditto. The results demonstrate that Ditto is about $3.14\sim 4.40\times$ faster than MPCFormer (ICLR 2023) and $1.44\sim 2.35\times$ faster than the state-of-the-art work PUMA with negligible utility degradation.

Machine Learning, ICML

1 Introduction

The recent advance of pre-trained Transformer (Vaswani et al., 2017) models in domains like visual recognition (Dosovitskiy et al., 2021; Chen et al., 2021) and natural language processing (Devlin et al., 2019; Radford et al., 2019) have led to their widespread adoption for machine learning (ML) inference services. However, despite their increasing popularity, a major concern revolves around data security. In ML services like ChatGPT (Brown et al., 2020), the model owner offers an API that receives user prompts as input and generates answers in return. However, this process involves sending user prompts to the server in plaintext, potentially exposing sensitive information. An alternative approach is to employ secure multi-party computation (MPC) (Shamir, 1979; Yao, 1986) to offer provable security.

However, the huge computation and communication overhead introduced by MPC techniques hinders the application of MPC-based secure Transformer inference. For one thing, non-linear functions like GeLU are frequently invoked, which are expensive in MPC. For another, the overhead is amplified in Transformers due to their large model size. In general, Transformers have millions to billions of parameters. As to the former problem, (Chou et al., 2018; Li et al., 2023; Akimoto et al., 2023; Liu & Liu, 2023) replace these non-linear functions with MPC-friendly approximations. Regarding the latter, there have been practices in plaintext inference (Dettmers et al., 2022; Kim et al., 2021) that quantize the model to lower bits and employ low-bit integer arithmetic, thus accelerating the inference. However, plaintext quantization cannot be trivially incorporated into secure inference upon MPC.

Refer to caption — Figure 1: Communication size breakdown on standard vs. quantized secure matrix multiplication. $\mathbf{Y}=\mathbf{X}^{8\times 768}\cdot\mathbf{W}^{768\times 3072}$ . Scale denotes multiplying the dot product by the scaling factor $s$ . Clip typically restricts the values within the range $[-128,127]$ for int8 quantization.

Toy Example. For a linear layer in Transformers $\mathbf{Y}=\mathbf{X}\cdot\mathbf{W}$ , $\mathbf{Y}\in\mathbb{R}^{B\times M}$ , $\mathbf{X}\in\mathbb{R}^{B\times N}$ and $\mathbf{W}\in\mathbb{R}^{N\times M}$ , where $B$ is the batch size, $N$ and $M$ are hidden dimensions. A standard floating-point matrix multiplication over MPC typically operates over uniform 64-bit fixed-point numbers $\mathbf{Y}_{\text{fxp}64}=\mathbf{X}_{\text{fxp}64}\cdot\mathbf{W}_{\text{fxp}% 64}$ , while quantized matrix multiplication goes as $\mathbf{Y}_{i8}=\lfloor(\mathbf{X}_{i8}\cdot\mathbf{W}_{i8})_{i32}\cdot s\rceil$ , where the multiply-and-accumulate of $\mathbf{X}_{i8}\cdot\mathbf{W}_{i8}$ is computed over 32-bit integers, $s$ is a floating-point scaling factor and $\lfloor\cdot\rceil$ denotes the clip operation. As demonstrated in Figure 1, while quantization indeed diminishes the bitwidth, thereby reducing the communication of dot product, the additional procedures, i.e., scaling and clipping impose substantial overhead, surpassing the benefits derived from quantization.

It is worth noting that there are several cross-domain gaps between the worlds of ML and MPC since

•

ML experts mainly focus on designing delicate quantization methods to improve efficiency, which, however, may not be MPC-friendly. The type conversions between data types like INT8 and FP16 in plaintext quantization that involves scaling and clipping operations are not trivial in MPC. Besides, applying quantization directly may cause substantial utility drop.
•

MPC experts mainly focus on constructing efficient underlying primitives and may not be aware of employing mixed-precision quantization to enhance end-to-end inference efficiency, thus lacking the capability to support quantization-aware secure inference.

Therefore, the problem naturally arises:

Can we perform quantization-aware secure inference with negligible utility degradation?

As an answer to the above question, we develop Ditto, an easy-to-deploy framework for secure and efficient Transformer inference based on a co-design of novel MPC primitives and ML quantization. Our contributions are as follows:

•

MPC-friendly Quantization-Aware Distillation. We propose to incorporate static dyadic quantization (i.e., from floating-point to fixed-point representation) to avoid CPU-cheap yet MPC-expensive dynamic quantization operations like clip and max. With lower quantization precision, a smaller bitwidth is required, thus reducing the overall overhead in secure inference. Besides, we utilize knowledge distillation to perform quantization-aware distillation on pre-trained models to retain the model utility.
•

Secure Quantized Inference Framework. To the best of our knowledge, Ditto is the first framework that supports the MPC execution of quantization-aware secure inference. Concretely, the layer-wise quantized computations are automatically mapped to secure computations over different data types (essentially different rings). To do so, we propose novel MPC primitives to support efficient interchangeable type conversions. We will open-source the code once accepted.
•

Empirical Evaluations. We evaluate Ditto in the secure inference of several Transformer models, i.e., Bert and GPT2. The performance is evaluated from two metrics: the model utility and efficiency. The evaluation results indicate that efficiency improvement can be achieved without a significant utility drop. Compared to prior works, Ditto is about $3.14\sim 4.40\times$ faster than MPCFormer (Li et al., 2023) and $1.44\sim 2.35\times$ faster than PUMA (Dong et al., 2023).

2 Related Work

Secure Transformer Inference.

MPC originates from the Billionaire problem (Yao, 1986; Shamir, 1979) and aims to enable multiple untrusted parties to jointly compute a function while keeping the inputs private. There have been many prior works working on privacy-preserving machine learning (mainly focusing on convolutional neural networks), including two-party computation (2PC) setting (Mohassel & Zhang, 2017; Patra et al., 2021; Huang et al., 2022), 3PC setting (Mohassel & Rindal, 2018; Tan et al., 2021; Wagh et al., 2021) and even 4PC setting (Byali et al., 2020; Dalskov et al., 2021). Recent works (Li et al., 2023; Hao et al., 2022; Akimoto et al., 2023; Liang et al., 2023; Liu & Liu, 2023; Dong et al., 2023; Zhang et al., 2023) further study the secure inference of more complex Transformer models. These approaches mainly use MPC-friendly approximations for non-linear functions. For example, MPCFormer (Li et al., 2023), MPCViT (Zeng et al., 2023) and SAL-ViT (Zhang et al., 2023) propose more efficient softmax approximations, which are complementary to our work. We take the first step towards leveraging MPC-friendly quantization to enhance the efficiency. Among these works, 3PC in semi-honest and honest-majority setting (Li et al., 2023; Dong et al., 2023) achieves the overall best efficiency. In this work, we also adopt this setting.

Secure Quantized Inference. In MPC-based secure inference, floating-point arithmetic is typically quantized to fixed-points to enable integer computations over rings (Li et al., 2023; Dong et al., 2023; Mohassel & Rindal, 2018; Dalskov et al., 2020). XONN (Riazi et al., 2019) and Quotient (Agrawal et al., 2019) utilize binary or ternary quantized weights to accelerate inference. Nonetheless, such quantization may result in utility drop, especially in large Transformers. SecureQ8 (Dalskov et al., 2020) pioneers the use of int8 quantization in secure inference. However, the quantization of plaintext weights/activations to 8-bit integers does not extend to ciphertexts, which remain encoded over a uniformly large ring, typically 64-bit $\mathbb{Z}_{2^{64}}$ . This discrepancy stems from the absence of type conversion methods and the necessity for higher bitwidths in certain non-linear computations to maintain sufficient precision. This inconsistency impedes the potential for efficiency gains that SecureQ8 might otherwise offer. In this paper, we aim to resolve the above drawbacks for secure Transformer inference.

3 Background

In this section, we briefly introduce the Transformer models and the underlying MPC protocols, specifically 2-out-of-3 replicated secret sharing. Finally, we introduce the quantization methods, along with the fixed-point quantization.

3.1 Transformer and its Variants

Transformer models generally consist of three parts: 1) the Embedding module that maps a discrete token to its continuous hidden vector representation; 2) a stack of Transformer Block; 3) the last Prediction module that maps the hidden vector to task-specific representation. For Transformer Block, it typically has Attention and Feed-Forward Network (FFN) modules.

Attention module can be formulated as $\mathsf{Softmax}(\mathsf{Q}\cdot\mathsf{K}^{\top}+\mathsf{M})\cdot\mathsf{V}$ , where $\mathsf{Q},\mathsf{K},\mathsf{V}$ denote the vectors obtained by the matrix multiplication of input activation and three weight matrices, and $\mathsf{M}$ denotes the attention mask. The two widely-used variants, Bert and GPT, use different masks.

FFN module can be formulated as $\mathsf{Linear}(\mathsf{GeLU}(\mathsf{Linear}(x,w_{0},b_{0})),w_{1},b_{1})$ , where $w_{i},b_{i}$ denote the parameters for $i$ -th linear layer. It consists of two linear layers and an activation function $\mathsf{GeLU}$ .

3.2 Secure Multi-Party Computation

2-out-of-3 replicated secret sharing (RSS) (Araki et al., 2016; Mohassel & Rindal, 2018), a widely-used MPC technique, runs by splitting a secret value $x$ into several random values (denoted as shares) as $\llbracket x\rrbracket=\{x_{0}$ , $x_{1}$ , $x_{2}\}$ , s.t., $x=x_{0}+x_{1}+x_{2}\mod 2^{\ell}$ , where $\ell$ denotes the ring size. All the computations are performed over the ring $\mathbb{Z}_{2}^{\ell}$ . In RSS, the three shares are distributed to three computing parties $\mathcal{P}=\{P_{0},P_{1},P_{2}\}$ , where $P_{i}$ holds two shares $\{x_{i},x_{i+1}\}$ ( $x_{3}$ corresponds to $x_{0}$ ).

In this paper, we use $[\![\cdot]\!]_{\ell}$ to denote RSS over $\mathbb{Z}_{2^{\ell}}$ . For $\ell\geq 1$ that supports arithmetic operations like $+,-,\cdot$ , we denote such type as arithmetic sharing. In the case of $\ell=1$ that only supports boolean operations like bit-wise $\oplus$ and $\land$ , we refer to this type as boolean sharing.

In order to incorporate floating-point arithmetic, which is extensively used in ML, into MPC that operates over a ring, we employ fixed-point quantization to encode floating-point numbers as integers. This approach can be considered as a branch of quantization techniques (refer to Section 3.3).

Linear Algebra. Let $a,b,c$ be public constants and $\llbracket x\rrbracket,\llbracket y\rrbracket$ be arithmetic-shared values. $a\llbracket x\rrbracket+b\llbracket y\rrbracket+c$ only involves addition and multiplication by a public constant. Hence, $\llbracket ax+by+c\rrbracket$ can be computed as $(ax_{0}+by_{0}+c,ax_{1}+by_{1},ax_{2}+by_{2})$ locally. While for the multiplication of two shared values, $\llbracket x\cdot y\rrbracket$ can be decomposed into $(x_{0}+x_{1}+x_{2})\cdot(y_{0}+y_{1}+y_{2})=\sum_{i=0}^{2}z_{i}=(x_{i}y_{i}+x_% {i+1}y_{i}+x_{i}y_{i+1})$ , with $P_{i}$ computes $z_{i}$ . To obtain $\llbracket x\cdot y\rrbracket$ , the parties should perform re-share $z_{i}$ (Mohassel & Rindal, 2018), which requires communication with each other.

Non-linear Functions. In addition to linear algebra operations, non-linear functions such as Softmax and Layer Normalization are commonly employed. To implement these functions, we leverage several underlying MPC computation primitives proposed in prior works (Mohassel & Rindal, 2018). We omit the descriptions for primitives like comparison, which are used as black boxes, and only present the functionalities of primitives explicitly mentioned in this paper. We refer to (Dong et al., 2023; Lu et al., 2020) to construct ${\mathsf{Exp}}(\llbracket x\rrbracket)=\llbracket e^{x}\rrbracket$ and ${\mathsf{rSqrt}}(\llbracket x\rrbracket)=\llbracket 1/\sqrt{x}\rrbracket$ .

3.3 Model Quantization

Quantization (Gholami et al., 2021) refers to converting floating-point numbers to low-bit integer representation like 8-bit integer. This can be formulated as $\hat{x}=\mathsf{Clip}(\mathsf{Int}(x/s),min,max)$ , where $min,max$ denote the clipping bound and $s$ denotes the scaling factor. Generally, quantization methods can be divided into two categories: post-training quantization (PTQ) (Yao et al., 2022; Dettmers et al., 2022; Frantar et al., 2023) and quantization-aware training (QAT) (Kim et al., 2021; Yao et al., 2021). The former PTQ methods allow one-shot quantization while requiring more complex quantization schemes, e.g., more fine-grained quantization (Yao et al., 2022) or dynamic quantization (Dettmers et al., 2022). The latter QAT methods allow for more diverse quantization by quantizing the weights and activations during the training of the model. Hence, cheaper quantization methods like static quantization are feasible despite the cost of re-training the model.

Most of the quantization methods utilize floating-point scales to achieve adequate precision. Among these works, dyadic quantization (Yao et al., 2021; Kim et al., 2021) is a typical class for integer-only quantization, where the scale $s$ is a dyadic number $c/2^{f}$ , $c$ is an integer and $f$ is the precision bit. In this paper, we employ a modified version called fixed-point quantization ( $s=1/2^{f}$ , with $c=1$ ) to accommodate floating-point computations into fixed-point arithmetic, which is crucial in MPC. Mathematically, this can be expressed as $\hat{x}=\texttt{FXP}_{\ell}^{f}(x)=\lfloor x*2^{f}\rceil\mod 2^{\ell}$ .

4 Design

In this section, we begin by introducing the high-level workflow of Ditto. Then we elaborate on two ingredients in Ditto: 1) the MPC-friendly quantization and distillation of Transformers; 2) the quantization-aware secure inference of the quantized and distilled model upon MPC.

4.1 High-Level Workflow

Setting. In this paper, we consider the inference scenario, where the model owner provides a trained model $\mathcal{M}$ , and the client provides input data $x$ for the inference task. The inference computation can be formulated as $y=\mathcal{M}_{\theta}(x)$ , where $\theta$ denotes the parameters for the model $\mathcal{M}$ . The security concern is that both the parameters $\theta$ and input data $x$ are unknown to each other, along with potential attackers. Only the inference result $y$ can be revealed to the client.

Similar to prior works (Li et al., 2023; Dong et al., 2023), we consider the secure outsourced 3PC setting. That is, we offload the inference computation to an MPC system consisting of three computing parties $\mathcal{P}=\{P_{0},P_{1},P_{2}\}$ . The client encrypts $\llbracket x\rrbracket$ using RSS and sends the shares to corresponding computing parties. Similarly, the model owner encrypts the model parameters $\theta$ and sends $\llbracket\theta\rrbracket$ to $\mathcal{P}$ . The computing parties $\mathcal{P}$ then carry out the secure inference and obtain the inference result $\llbracket y\rrbracket$ . $\mathcal{P}$ then sends all the shares of $y$ to the client, who can reveal the plaintext of $y$ .

Security Model. In the MPC system, we consider semi-honest and honest-majority adversary (Dong et al., 2023; Tan et al., 2021), where the adversary corrupts no more than half of the computing parties (one exactly in 3PC) and strictly follow the protocol to perform computations but might try to crack sensitive information by analyzing the messages they receive. We note that output privacy, where the inference outputs can be utilized to infer information like membership (Shokri et al., 2017), is beyond the scope.

With the setting and security model in mind, we hereby present the high-level workflow of Ditto in Figure 2. In general, this is a two-step inference scheme via a co-design of ML quantization and efficient MPC computation. The first step (the upper left part) is quantizing and distilling the model to a more MPC-friendly version (Section 4.2). This step is performed by the model owner locally using plaintext computation. The second step (the bottom part) involves quantization-aware secure inference of the MPC-friendly model obtained from the first step. We design novel MPC primitives to support essential type conversion in quantization (Section 4.3).

4.2 MPC-friendly Model Quantization and Distillation

4.2.1 MPC-friendly Fixed-point Model Quantization

Our motivation to employ quantization in secure inference originates from the following two considerations. 1) The necessity of model quantization is amplified in secure inference of Transformers since it requires communicating messages between computing parties and the communication size heavily depends on the message bitwidth. Therefore, applying quantization to decrease bitwidth can theoretically shrink the overall volume of transmitted data, leading to improved inference efficiency. 2) The feasibility of using low-bit quantization is also evidenced in previous works. As observed in (Bombari et al., 2022), the neural network models are typically over-parameterized, thus leaving room for reducing the precision and computing with lower bitwidth while maintaining the model utility. The recent success of quantization in large language models (Dettmers et al., 2022; Frantar et al., 2022) also proves the feasibility of quantization in more complex models.

Whereas there exist several gaps between plaintext quantized inference and secure quantized inference.

Gap 1: Dynamic quantization is expensive in MPC. The state-of-the-art plaintext quantization works (Dettmers et al., 2022; Frantar et al., 2023) allow the entire inference to be carried out using low-bit integers like INT8 or even INT4. Despite achieving considerable speed up, tailored quantization operations are required, like dynamically computing the min/max/outlier to obtain the scaling factor $s$ and calculating $\lfloor x\cdot s\rceil$ with clipping. Such operations are quite expensive in MPC. In this case, directly transplanting existing quantization strategies into secure inference is not viable, where the overhead to perform quantization alone outweighs the overhead reduction brought by quantization.

Solution. To mitigate this issue, we adopt static dyadic quantization to avoid dynamically computing scale in inference. By dyadic, we quantize all the weights and activations into fixed-point numbers, where the scaling factor is in the form of $1/2^{f}$ . In this way, the scale conversion can be implemented using left-shift or right-shift (aka. truncation (Mohassel & Rindal, 2018; Escudero et al., 2020)), which is much cheaper in MPC. We also adopt layer-wise quantization. That is, we use different quantization scales for different layers. By enabling a smaller quantization scale for linear layers that are not sensitive to precision, we can improve efficiency. While for those non-linear layers like layer normalization, we use a larger scale to avoid a significant accuracy drop. (Micikevicius et al., 2017) ¹¹1Similar precision practices are also used in PyTorch: https://pytorch.org/docs/stable/amp.html#cuda-ops-that-can-autocast-to-float16.

Gap 2: Type conversions are difficult in MPC. In plaintext quantization, linear operations utilize INT8 for computation and INT32 for accumulation to prevent overflow, while non-linear functions compute in FP32 to maintain sufficient precision. This necessitates type conversions throughout the model inference to avert overflow and substantial loss of precision. However, we note that these type conversions between INT8 and INT32 are straightforward in plaintext but pose a novel challenge in MPC, which operates over rings. Such type conversion involves converting shares among different rings, which cannot be done locally.

Solution. To bridge this gap, we propose efficient type conversion MPC primitives (Section 4.3.1). Besides, to avoid frequent type conversions, we use uniform low-bitwidth fixed-point encoding ( $\texttt{FXP}_{32}^{8}$ ) in intermediate Transformer blocks for linear operations. For the non-linear functions and the last prediction layer, we instead use a higher-bitwidth fixed-point encoding ( $\texttt{FXP}_{64}^{18}$ ) for the sake of adequate precision. We note that 32/64-bit integers can accommodate the activation range, of which the distribution is illustrated in Appendix F, thus avoiding overflow.

To summarize, we quantize all the weights and activations into fixed-point numbers using layer-wise static quantization with dyadic scales. In Ditto, all the variables (i.e., activations and weights) are quantized with different precision. We provide an illustration of the difference between fixed-point inference and traditional floating-point inference in Appendix G. Note that for the non-linear layers, we exploit fixed-point conversion to raise the precision.

4.2.2 Quantization-aware Activation Functions

We hereby introduce the quantization-aware non-linear activation functions using fixed-point numbers of different bits. The formulated algorithms are deferred to Appendix B.

Softmax. We use Softmax to map the inputs into the range $(0,1)$ as $\mathsf{Softmax}(x)=\frac{e^{x_{i}}}{\sum_{i}e^{x_{i}}}$ . For numerical stability, we first ‘normalize’ the input by computing $x=x-\mathsf{max}_{i}(x)$ . Since $\mathsf{max}$ does not require a high precision, we compute this part using $\texttt{FXP}_{32}^{8}$ . For the following exponential and division, we use existing protocols ${\mathsf{Exp}}$ (tailored approximation for Softmax, detailed in Appendix J) and ${\mathsf{Recip}}$ (Catrina & Saxena, 2010). These two functions are computed over $\texttt{FXP}_{64}^{18}$ to maintain adequate precision.

GeLU. The original GeLU function computes $\mathsf{GeLU}(x)=\frac{x}{2}\cdot(1+\tanh(\sqrt{2/\pi}\cdot(x+0.044715\cdot x^% {3})))$ . To precisely compute GeLU, we first try to use high-order chebyshev polynomial to approximate $\tanh$ . However, it requires several multiplication, thus leading to significant overhead. Inspired by (Li et al., 2023), we use a quantized polynomial to directly approximate $\mathsf{GeLU}(x)=0.125x^{2}+0.25x+0.5$ over $\texttt{FXP}_{32}^{8}$ . The Quad approximation is worth mentioning as it evaluates a two-order polynomial, allowing it to be computed with lower precision.

Layer Normalization. Given a vector of $x$ as input, $\mathsf{LayerNorm}=\frac{x-\mu}{\sqrt{\sigma+\epsilon}}\cdot\textbf{g}+\textbf% {b}$ , where $\mu$ and $\sigma$ denote mean and variance, $\textbf{g},\textbf{b}$ denote scale and bias, and $\epsilon$ is a small constant. To avoid significant precision loss, we upcast the inputs and perform the layer normalization with a relatively higher precision $\texttt{FXP}_{64}^{18}$ . The final outputs are downcasted back to $\texttt{FXP}_{32}^{8}$ for subsequent computations.

4.2.3 Quantization-aware Distillation

Despite the efficiency gain from the above MPC-friendly quantization and approximation, these two steps can cause the precision drop. We illustrate the loss between the outputs from the original model and the quantized and approximated model in Appendix E. Consequently, the converted model $\mathcal{M}$ is of low utility. In order to compensate for the error introduced by these two methods, we adopt knowledge distillation (KD) (Jiao et al., 2020; Li et al., 2023).

Without special declaration, we denote the original model as $\mathcal{T}$ and the converted model as $\mathcal{M}$ . We quantize the weights of $\mathcal{T}$ to low-precision version in layer-wise granularity, which serve as the initial weights of $\mathcal{M}$ . All the computations in $\mathcal{M}$ use integer-only arithmetic. We leverage layer-wise distillation, considering that we use layer-wise quantization. Concretely, we capture the hidden states of all the Transformer layers from both $\mathcal{T}$ and $\mathcal{M}$ and use the Mean Squared Error loss (MSE) between these two outputs to measure the distillation loss.

4.3 Secure Model Inference upon MPC

To perform the aforementioned type conversions in layer-wise quantization, we propose efficient MPC primitives.

4.3.1 Type Conversion MPC primitives

The type conversion can be divided into upcast and downcast. Upcast refers to converting values from a smaller fixed-point representation to a larger fixed-point representation, while downcast is the opposite. In MPC, type conversions additionally involves share conversions among different rings. We consider convert the input $\llbracket x\rrbracket_{\ell}$ from $\texttt{FXP}_{\ell}^{f}$ to $\texttt{FXP}_{\ell^{\prime}}^{f^{\prime}}$ . Due to page limitation, we defer the correctness analysis and security proof to Appendix B $\sim$ D.

Downcast ( $\ell>\ell^{\prime},f>f^{\prime}$ , Algorithm 4). It suffices to a right-shift followed by a modulo operation as $\llbracket x^{\prime}\rrbracket_{\ell^{\prime}}=\mathsf{DownCast}(\llbracket x% \rrbracket_{\ell})=x_{i}\gg(f-f^{\prime})\mod 2^{\ell^{\prime}}$ for $i\in\{0,1,2\}$ . The local right-shift by $(f-f^{\prime})$ bits first lowers the precision to $2^{f^{\prime}}$ . The subsequent local modulo operation, i.e., dropping the most significant $(\ell-\ell^{\prime})$ bits, converts the shares to a smaller ring, s.t., $x/2^{f}=x^{\prime}/2^{f^{\prime}}$ .

Upcast ( $\ell<\ell^{\prime},f<f^{\prime}$ , Algorithm 1). It suffices to convert $\llbracket x\rrbracket$ from $\mathbb{Z}_{2^{\ell}}$ to $\mathbb{Z}_{2^{\ell^{\prime}}}$ , followed by a left-shift operation. The left-shift can be implemented directly by left-shifting the shares locally. While for the ring conversion, it is not trivial. As shown in Equation 1, there may be potential wrap $w$ of the sum of $x_{i}$ modulo $2^{\ell}$ , i.e., $w=\lfloor(x_{0}+x_{1}+x_{2})/2^{\ell}\rfloor$ . $w$ cannot be implicitly erased since $\ell<\ell^{\prime}$ and $w\cdot 2^{\ell}\mod 2^{\ell^{\prime}}$ might not equal zero. However, directly computing $w$ that involves non-linear comparisons is expensive in MPC.

\small\begin{split}x&\mod 2^{\ell}=(x_{0}+x_{1}+x_{2}-w\cdot 2^{\ell})\mod 2^{% \ell}\\ &=x_{0}\mod 2^{\ell^{\prime}}+x_{1}\mod 2^{\ell^{\prime}}+x_{2}\mod 2^{\ell^{% \prime}}\\ &-(w\cdot 2^{\ell})\mod 2^{\ell^{\prime}}\\ \end{split}

(1)

Algorithm 1 Secure

\mathsf{UpCast}

Protocol

0: RSS-shared

\llbracket x\rrbracket_{\ell}

over

\texttt{FXP}_{\ell}^{f}

;

0: RSS-shared

\llbracket x^{\prime}\rrbracket_{\ell^{\prime}}

over

\texttt{FXP}_{\ell^{\prime}}^{f^{\prime}}

, where

x^{\prime}=x

P_{2}

samples bits

\{r_{i}\}

for

i\in[0,\ell-1]

and computes

r=\sum_{i=0}^{\ell-1}r_{i}*2^{i}

P_{2}

generates 2-out-of-2 sharing of

r

and

r_{\ell-1}

\langle r\rangle_{\ell^{\prime}}=\{r_{0},r_{1}\}

\langle r_{\ell-1}\rangle_{\ell^{\prime}}=\{r_{\ell-1,0},r_{\ell-1,1}\}

P_{2}

sends the corresponding shares to

P_{0}

and

P_{1}

P_{i}

holds

r_{i}

and

r_{\ell-1,i}

P_{i}

for

i\in\{0,1,2\}

generate random numbers

z_{0},z_{2}\in\mathbb{Z}_{2^{\ell^{\prime}}}

using PRF:

P_{2}

and

P_{0}

samples

z_{0}

;

P_{2}

and

P_{1}

samples

z_{2}

P_{0}

and

P_{1}

obtain

\langle r\rangle_{\ell}

by invoking

{\mathsf{DownCast}}(\langle r\rangle_{\ell^{\prime}}\ll(f^{\prime}-f))

~{}~{}~{}~{}~{}~{}\vartriangleright\text{using $\langle r\rangle_{\ell^{\prime% }}$ from Step-3}

P_{0}

and

P_{1}

convert

\llbracket x\rrbracket_{\ell}

\langle\hat{x}\rangle_{\ell}=\{\hat{x}_{0},\hat{x}_{1}\}

by constructing

\hat{x}_{0}=x_{1}+x_{2}

\hat{x}_{1}=x_{0}

, where

P_{i}

holds

\hat{x}_{i}

and

x=\hat{x}

P_{0}

and

P_{1}

executes the following steps:

\begin{split}&\langle y\rangle_{\ell}=\langle\hat{x}\rangle_{\ell}+\langle r% \rangle_{\ell}\text{ and open $y={\mathsf{Reveal}}(\langle y\rangle_{\ell})$},% ~{}~{}~{}\vartriangleright y=\hat{x}+r\\ &\langle\hat{w}\rangle_{\ell^{\prime}}=\langle r_{\ell-1}\rangle_{\ell^{\prime% }}\cdot\neg y_{\ell-1},~{}~{}~{}\vartriangleright\hat{w}=r_{\ell-1}\cdot\neg y% _{\ell-1}\\ &\langle x^{\prime}\rangle_{\ell^{\prime}}=y-\langle r\rangle_{\ell^{\prime}}+% \langle\hat{w}\rangle_{\ell^{\prime}}\cdot 2^{\ell},~{}~{}~{}~{}~{}~{}% \vartriangleright x=y-r+\hat{w}\cdot 2^{\ell}\end{split}

and outputs

\langle x^{\prime}\rangle_{\ell^{\prime}}=\{x^{\prime}_{0},x^{\prime}_{1}\}

, s.t.,

x^{\prime}_{0}+x^{\prime}_{1}\mod 2^{\ell^{\prime}}=x

P_{i}

for

i\in\{0,1\}

proceed using randomness from Step-4: 1)

P_{0}

computes

x^{\prime}_{0}=x^{\prime}_{0}-z_{0}

; 2)

P_{1}

computes

x^{\prime}_{1}=x^{\prime}_{1}-z_{2}

P_{0}

and

P_{1}

exchanges

x^{\prime}_{0}

and

x^{\prime}_{1}

10:

P_{0}

outputs

(z_{0},x^{\prime}_{0}+x^{\prime}_{1})

P_{1}

outputs

(x^{\prime}_{0}+x^{\prime}_{1},z_{2})

and

P_{2}

outputs

(z_{2},z_{0})

11: return

\llbracket x^{\prime}\rrbracket_{\ell^{\prime}}=\{z_{0},x^{\prime}_{0}+x^{% \prime}_{1},z_{2}\}

Optimization Trick. We here take the intuition of mask-and-open that goes as $x=((x+r)\mod 2^{\ell}+\hat{w}\cdot 2^{\ell}-r)\mod 2^{\ell^{\prime}}$ , where $\hat{w}=(x+r)\overset{?}{>}2^{\ell}$ . The problem now reduces to compute another potential wrap $\hat{w}$ , which is easier than computing $w$ . To further facilitate the computation, we exploit a positive heuristic trick. That is, supposing the input $x\in[-2^{\ell-2},2^{\ell-2}-1]$ of which the MSB is unknown, we add a large bias $2^{\ell-2}$ to $x$ to ensure $x^{\prime}=x+r\in[0,2^{\ell-1}-1]$ is positive. Take $\ell=8$ as an example. An 8-bit signed integer can represent the range $[-128,127]$ . We here assume the range of $x$ as $x\in[-64,63]$ , which can be represented with a 7-bit integer. With this assumption, we have $x+64\in[0,127]$ . This ensures that the MSB of $x+64$ , when encoded as an 8-bit integer, will always be 0. As a result, we can compute $\hat{w}=r_{\ell-1}\wedge\neg y_{\ell-1}$ with one AND operation, where $y=x^{\prime}+r\mod 2^{\ell}$ . After the upcast conversion, the bias can be directly subtracted to eliminate its influence. Noted that the sharing of $r$ over both $\mathbb{Z}_{2^{\ell}}$ and $\mathbb{Z}_{2^{\ell^{\prime}}}$ (Step-5) can be implemented using $\mathsf{DownCast}$ .

Communication Complexity Analysis. The upcast protocol in total requires sending $3\ell+\ell^{\prime}$ bits in 3 communication rounds. In Step-3, $P_{2}$ sends randomness of $2\ell$ bits. In Step-7, $P_{0}$ and $P_{1}$ communicates $\ell$ bits to reveal $y$ . Finally, $P_{0}$ and $P_{1}$ exchanges $\ell^{\prime}$ bits to obtain the output.

4.3.2 Quantization-aware MPC execution

With the underlying MPC primitives ready, we proceed to implement an end-to-end secure quantization-aware inference framework. We enhance the SecretFlow-SPU (Ma et al., 2023) framework, which supports the compilation of front-end models into privacy-preserving versions but lacks support for quantization. Concretely, we design and implement the quantization-aware compiler to allow dynamic ring support and automatic type conversions. The compiler can directly load the models from Huggingface and automatically rewrite the directed acyclic graph (DAG) to allow seamless execution of secure quantized inference.

Figure 3 depicts the DAG of the Softmax function, where the right part illustrates the modified quantization-aware variant in the domain of secure computation. The upcast and downcast operations are automatically called to align types (i.e., different quantizations and rings) upon MPC.

Dynamic Ring Support. In many MPC frameworks, including SPU, secure computations are limited to a uniform, statically-configured ring, a constraint that hampers the versatile deployment of fixed-point numbers with variable bitwidths. To overcome this limitation, we devise a dynamic mapping strategy that maps plaintext data types from front-end to corresponding ciphertext types and, consequently the back-end rings of different sizes. For instance, FP16 and FP32 are associated with FXP32 over $\mathbb{Z}_{2^{32}}$ and FXP64 over $\mathbb{Z}_{2^{64}}$ , respectively. As a result, the secure computations can be dynamically dispatched to the appropriate rings.

Automatic Type Conversion. We further refine the compiler to track the input and compute types associated with each operator. As inference proceeds, variables are encoded using different types (i.e., different precisions and bitwidths). We exploit the MPC primitives to perform the interleaving type conversions that automatically maintain type consistency. For instance, if an operator (such as exponential) is specified with an input type of FXP32 and a compute type of FXP64, an upcast operation will seamlessly transition the input to FXP64 before carrying out further computations.

5 Experiments

We evaluate Ditto mainly from three aspects: 1) model utility (Section 5.1); 2) inference efficiency (Section 5.2); 3) scalability experiments and ablation studies (Section 5.3).

Experimental setup. We implement Ditto upon the framework SecretFlow-SPU ²²2SPU: https://github.com/secretflow/spu. that supports privacy-preserving machine learning. We use pure fixed-point arithmetic during the quantization and distillation procedure. We conduct the experiments on one CentOS 8 machine equipped with one AMD Ryzen CPU (32 cores and 3.60GHz) and 256GB of RAM. We consider two network environments: 1) LAN setting with a bandwidth of 5Gbps and 0.4ms round-trip time; 2) WAN setting with a bandwidth of 400Mbps and 40ms round-trip time. We simulate the network environments using the Linux tc tool.

Model architectures and datasets. We use the pre-trained Bert models and GPT models in Hugging Face (Wolf et al., 2020). For Bert, we use Bert-base and Bert-large pre-trained over BookCorpus (Zhu et al., 2015) and English Wikipedia (Wikipedia contributors, 2004) datasets. For GPT, we use GPT2-base and GPT2-medium pre-trained over the Wikitext-103 dataset (Merity et al., 2016). We evaluate Bert over RTE, CoLA, QQP and QNLI from GLUE benchmarks (Wang et al., 2019), and GPT2 on the validation set of Wikitext-103. The detailed hyper-parameters for fine-tuning and distillation are in Appendix H.

Baselines. We adopt secure inference upon SPU as the vanilla baseline. The ablation models are denoted as $\texttt{Ditto}_{w/o\{a\}}$ with quantization, and Ditto with both quantization and non-linear function approximation. To make a more comprehensive comparison, we compare with two state-of-the-art work MPCFormer (Li et al., 2023) and PUMA (Dong et al., 2023), which are similar to our setting.

5.1 Utility Evaluation

The evaluation of model utility is based on various accuracy metrics for downstream tasks. Concretely, we adopt Accuracy for RTE and QNLI, Matthews correlation for CoLA, F1 score for QQP, and Perplexity for Wikitext-103. In the GLUE benchmark, the input sequence length is set to 128 for Bert-base and Bert-large. For Wikitext-103, the input sequence length is set to 50 for GPT2-base and GPT2-medium. Regarding MPCFormer, we explore two variants: Quad-alone and Quad+2ReLU. For PUMA, the GeLU function is computed using their Poly approximation (cf., Appendix I).

The results are provided in Table 1. In general, with mere Quad approximation, Ditto (Quad) achieves similar results to that of MPCFormer (Quad) and slightly lower than the baseline without any quantization or approximation. The utility degradation is negligible on most datasets, except CoLA. The lower utility of both MPCFormer and Ditto on CoLA could be attributed to its smaller size, leading to unstable distillation performance. Notably we observe that with 2ReLU approximation, both MPCFormer and Ditto incur noticeable utility drops in Bert tasks. This is in line with the results reported in MPCFormer, thus indicating that Softmax is more sensitive to precision. Regarding PUMA, it is worth noting that it incurs almost no accuracy drop due to the usage of a more accurate Polynomial approximation. However, as demonstrated in the following experiment, this improved accuracy comes at the cost of more communication overhead. To balance between utility and efficiency, we mainly use Quad approximation for GeLU in Ditto.

Table 1: Model utility on GLUE benchmark for Bert and on Wikitext-103 dataset for GPT2.

Method	Approx.	Bert-base				Bert-large				GPT2-base	GPT2-medium
Method	Approx.	RTE	CoLA	QQP	QNLI ( $\uparrow$ )	RTE	CoLA	QQP	QNLI ( $\uparrow$ )	Wikitext-103 ( $\downarrow$ )
Baseline	-	68.59	57.06	87.96	91.62	72.56	63.09	88.52	92.58	12.25	10.60
MPCFormer	Quad	67.85	54.47	87.76	91.68	71.86	57.53	88.34	92.53	-	-
MPCFormer	Quad+2ReLU	64.30	52.75	86.95	90.76	70.29	55.53	87.64	91.85	-	-
PUMA	Poly	68.47	56.96	87.95	91.48	72.56	62.60	88.50	92.55	12.25	10.49
$\texttt{Ditto}_{w/o\{a\}}$	-	67.87	54.17	87.15	91.74	72.55	56.25	88.22	92.58	12.99	10.61
Ditto	Quad	67.82	54.52	87.72	91.78	71.84	56.45	88.23	92.58	13.78	11.35
Ditto	Quad+2ReLU	63.89	52.78	86.92	87.71	71.48	51.69	87.51	87.53	-	-

5.2 Efficiency Evaluation

We measure the end-to-end runtime and concrete communication size to evaluate the efficiency. The experiments are conducted with a batch size of 1 in the LAN setting (refer to Appendix A for experiments in WAN). For Bert models, the input sequence length is set to 128. We choose the CoLA task as a representative since other tasks share the same model architecture as CoLA, resulting in similar inference overhead. As for GPT2 models, we generate 1 new token with an input length of 32. We run experiments for MPCFormer ³³3MPCFormer is configured to run on CPU for fair comparisons. and Ditto with and without the Quad approximation of GeLU for a comprehensive comparison.

In Figure 4, the $x$ - and $y$ - axes represent communication size (in GB) and runtime (in seconds), respectively. The closer the dot is to the bottom left corner, the better the performance. On the four models, Ditto (marked in red star) generally has the best efficiency. Regarding communication size, $\texttt{Ditto}_{w/o\{a\}}$ incurs $1.37\sim 2.25\times$ lower communication than PUMA, and $1.25\sim 1.66\times$ than MPCFormer. When combined with Quad approximation, both MPCFormer (Quad) and Ditto incur lower communication than PUMA. Concretely, the communication size of Ditto is $1.28\sim 1.70\times$ lower than MPCFormer (Quad) and $2.37\sim 3.43\times$ than PUMA. Owing to the reduction of communication size, Ditto is $3.14\sim 4.40\times$ and $1.44\sim 2.35\times$ faster than MPCFormer (Quad) and PUMA, respectively. One exception is that MPCFormer incurs lower communication size on GPT2-base. This may be because GPT2 models have a larger vocabulary size, thus leading to a much higher overhead in the embedding layer for Ditto ⁴⁴4We convert the input token ids to one-hot vectors using MPC, while MPCFormer performs the conversion in the client locally..

5.3 Extensive Experiments

We hereby evaluate the efficiency with varying input sequence length. The experiments for varying batch size and network environments, along with comparison to state-of-the-art 2PC works are presented in Appendix A.

Table 2: Inference efficiency on Bert-base and GPT2-base with varying input sequence length.

Model	Method	#Input Length
		32		64		128		256
		Comm.	Time	Comm.	Time	Comm.	Time	Comm.	Time
Bert-base	Baseline	2.79	13.57	6.24	27.32	15.12	53.17	40.65	114.83
	MPCFormer	2.08	35.15	3.02	63.94	6.70	124.81	19.12	253.20
	PUMA	2.16	12.97	4.65	22.59	10.59	43.98	26.07	88.70
	Ditto	0.72	7.36	1.68	14.80	4.35	30.58	12.78	62.48
	Ditto	3.00 $\times$	1.76 $\times$	2.77 $\times$	1.53 $\times$	2.43 $\times$	1.44 $\times$	2.04 $\times$	1.42 $\times$
GPT2-base	Baseline	8.88	37.88	12.50	52.63	22.03	84.04	47.91	157.47
	MPCFormer	3.05	57.57	4.01	104.97	7.73	182.20	20.24	403.85
	PUMA	8.61	35.22	11.95	48.33	17.57	73.77	33.00	131.33
	Ditto	3.59	19.52	5.18	29.41	8.25	49.93	17.44	93.52
	Ditto	2.40 $\times$	1.80 $\times$	2.31 $\times$	1.64 $\times$	2.13 $\times$	1.48 $\times$	1.89 $\times$	1.40 $\times$

Varying Input Sequence Length. The language models typically have conversation sentences as inputs, thus having different input lengths. We hereby conduct experiments with input length $\in\{32,64,128,256\}$ on Bert-base and GPT2-base to make a more comprehensive evaluation.

The results are shown in Table 2 (the speedup numbers are against PUMA). In general, the communication size of Ditto is about $2\sim 3\times$ lower than the state-of-the-art PUMA. Owing to the communication reduction, Ditto achieves a speedup of about $1.4\sim 1.8\times$ against PUMA and a speedup of about $2.9\sim 4.8\times$ against MPCFormer.

Ablation Studies. We study the effects of quantization and approximation on Bert models. As shown in Table 3, the quantization with the Quad approximation for GeLU generally results in negligible degradation in utility. The speedup achieved against the vanilla baseline is approximately $1.41\sim 1.56\times$ with quantization alone and $1.74\sim 2.09\times$ with the additional GeLU approximation.

Table 3: Ablation studies of Ditto on Bert models.

Method	Approx.	Bert-base					Bert-large
Method	Approx.	RTE	CoLA	QQP	QNLI	Speedup	RTE	CoLA	QQP	QNLI	Speedup
Baseline	-	68.59	57.06	87.96	91.62	-	72.56	63.09	88.52	92.58	-
$\texttt{Ditto}_{w/o\{a\}}$	-	67.87	54.17	87.15	91.74	1.41 $\times$	72.55	56.25	88.22	92.58	1.56 $\times$
Ditto	Quad	67.82	54.52	87.72	91.78	1.74 $\times$	71.84	56.45	88.23	92.57	2.09 $\times$

6 Conclusion

In this paper, we propose a framework Ditto to enable secure quantization-aware inference of Transformer models. By incorporating MPC-friendly ML quantization and quantization-aware MPC execution, Ditto reduces the overhead and enhances the inference efficiency. In the future, we plan to investigate adopting more aggressive quantization methods, i.e., using lower bits in secure inference.

Acknowledgement

We would like to thank the anonymous reviewers and program chairs for their invaluable comments. We would also like to acknowledge the insightful feedback and efforts provided by Ye Dong on the final version of our paper. We extend our appreciation to Wen-jie Lu, Zhicong Huang, and Cheng Hong for their significant contributions to SPU and Ditto. Lastly, we thank all members of the SecretFlow team for their supports throughout this project.

Impact Statements

This paper presents work whose goal is to advance the field of Machine Learning. Our work aims to address the critical privacy concerns arising in the widely used Transformer-based inference. We employ cryptographic secure multi-party computation techniques, which are of provable security, to protect both the user query and model weights during the Transformer inference. However, it is also worth acknowledging the efficiency decay caused by secure computation. One notable contribution of our work is the novel optimizations that incorporate plaintext quantization and secure computations over dynamic rings. The advancements could have broader implications to make secure Transformer inference more practical in the real world.

References

Agrawal et al. (2019) Agrawal, N., Shamsabadi, A. S., Kusner, M. J., and Gascón, A. QUOTIENT: two-party secure neural network training and prediction. In Cavallaro, L., Kinder, J., Wang, X., and Katz, J. (eds.), Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019, pp. 1231–1247. ACM, 2019. doi: 10.1145/3319535.3339819. URL https://doi.org/10.1145/3319535.3339819.
Akimoto et al. (2023) Akimoto, Y., Fukuchi, K., Akimoto, Y., and Sakuma, J. Privformer: Privacy-preserving transformer with mpc. In 2023 IEEE 8th European Symposium on Security and Privacy (EuroSP), pp. 392–410, Los Alamitos, CA, USA, 2023. IEEE Computer Society. doi: 10.1109/EuroSP57164.2023.00031. URL https://doi.ieeecomputersociety.org/10.1109/EuroSP57164.2023.00031.
Araki et al. (2016) Araki, T., Furukawa, J., Lindell, Y., Nof, A., and Ohara, K. High-throughput semi-honest secure three-party computation with an honest majority. In Weippl, E. R., Katzenbeisser, S., Kruegel, C., Myers, A. C., and Halevi, S. (eds.), Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016, pp. 805–817. ACM, 2016. doi: 10.1145/2976749.2978331. URL https://doi.org/10.1145/2976749.2978331.
Bombari et al. (2022) Bombari, S., Amani, M. H., and Mondelli, M. Memorization and optimization in deep neural networks with minimum over-parameterization. In NeurIPS, 2022. URL http://papers.nips.cc/paper_files/paper/2022/hash/323746f0ae2fbd8b6f500dc2d5c5f898-Abstract-Conference.html.
Brown et al. (2020) Brown, T. B., Mann, B., Ryder, N., Subbiah, M., Kaplan, J., Dhariwal, P., Neelakantan, A., Shyam, P., Sastry, G., Askell, A., Agarwal, S., Herbert-Voss, A., Krueger, G., Henighan, T., Child, R., Ramesh, A., Ziegler, D. M., Wu, J., Winter, C., Hesse, C., Chen, M., Sigler, E., Litwin, M., Gray, S., Chess, B., Clark, J., Berner, C., McCandlish, S., Radford, A., Sutskever, I., and Amodei, D. Language models are few-shot learners, 2020.
Byali et al. (2020) Byali, M., Chaudhari, H., Patra, A., and Suresh, A. FLASH: fast and robust framework for privacy-preserving machine learning. Proc. Priv. Enhancing Technol., 2020(2):459–480, 2020. doi: 10.2478/popets-2020-0036. URL https://doi.org/10.2478/popets-2020-0036.
Catrina & Saxena (2010) Catrina, O. and Saxena, A. Secure computation with fixed-point numbers. In Sion, R. (ed.), Financial Cryptography and Data Security, 14th International Conference, FC 2010, Tenerife, Canary Islands, Spain, January 25-28, 2010, Revised Selected Papers, volume 6052 of Lecture Notes in Computer Science, pp. 35–50. Springer, 2010. doi: 10.1007/978-3-642-14577-3“˙6. URL https://doi.org/10.1007/978-3-642-14577-3_6.
Chen et al. (2021) Chen, X., Xie, S., and He, K. An empirical study of training self-supervised vision transformers. In 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021, Montreal, QC, Canada, October 10-17, 2021, pp. 9620–9629. IEEE, 2021. doi: 10.1109/ICCV48922.2021.00950. URL https://doi.org/10.1109/ICCV48922.2021.00950.
Chou et al. (2018) Chou, E., Beal, J., Levy, D., Yeung, S., Haque, A., and Fei-Fei, L. Faster cryptonets: Leveraging sparsity for real-world encrypted inference. CoRR, abs/1811.09953, 2018. URL http://arxiv.org/abs/1811.09953.
Dalskov et al. (2020) Dalskov, A. P. K., Escudero, D., and Keller, M. Secure evaluation of quantized neural networks. Proc. Priv. Enhancing Technol., 2020(4):355–375, 2020. doi: 10.2478/POPETS-2020-0077. URL https://doi.org/10.2478/popets-2020-0077.
Dalskov et al. (2021) Dalskov, A. P. K., Escudero, D., and Keller, M. Fantastic four: Honest-majority four-party secure computation with malicious security. In Bailey, M. and Greenstadt, R. (eds.), 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, pp. 2183–2200. USENIX Association, 2021. URL https://www.usenix.org/conference/usenixsecurity21/presentation/dalskov.
Dettmers et al. (2022) Dettmers, T., Lewis, M., Belkada, Y., and Zettlemoyer, L. Llm.int8(): 8-bit matrix multiplication for transformers at scale. CoRR, abs/2208.07339, 2022. doi: 10.48550/arXiv.2208.07339. URL https://doi.org/10.48550/arXiv.2208.07339.
Devlin et al. (2019) Devlin, J., Chang, M., Lee, K., and Toutanova, K. BERT: pre-training of deep bidirectional transformers for language understanding. In Burstein, J., Doran, C., and Solorio, T. (eds.), Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT 2019, Minneapolis, MN, USA, June 2-7, 2019, Volume 1 (Long and Short Papers), pp. 4171–4186. Association for Computational Linguistics, 2019. doi: 10.18653/v1/n19-1423. URL https://doi.org/10.18653/v1/n19-1423.
Dong et al. (2023) Dong, Y., Lu, W., Zheng, Y., Wu, H., Zhao, D., Tan, J., Huang, Z., Hong, C., Wei, T., and Chen, W. PUMA: secure inference of llama-7b in five minutes. CoRR, abs/2307.12533, 2023. doi: 10.48550/arXiv.2307.12533. URL https://doi.org/10.48550/arXiv.2307.12533.
Dosovitskiy et al. (2021) Dosovitskiy, A., Beyer, L., Kolesnikov, A., Weissenborn, D., Zhai, X., Unterthiner, T., Dehghani, M., Minderer, M., Heigold, G., Gelly, S., Uszkoreit, J., and Houlsby, N. An image is worth 16x16 words: Transformers for image recognition at scale. In 9th International Conference on Learning Representations, ICLR 2021, Virtual Event, Austria, May 3-7, 2021. OpenReview.net, 2021. URL https://openreview.net/forum?id=YicbFdNTTy.
Escudero et al. (2020) Escudero, D., Ghosh, S., Keller, M., Rachuri, R., and Scholl, P. Improved primitives for MPC over mixed arithmetic-binary circuits. In Micciancio, D. and Ristenpart, T. (eds.), Advances in Cryptology - CRYPTO 2020 - 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part II, volume 12171 of Lecture Notes in Computer Science, pp. 823–852. Springer, 2020. doi: 10.1007/978-3-030-56880-1“˙29. URL https://doi.org/10.1007/978-3-030-56880-1_29.
Frantar et al. (2022) Frantar, E., Ashkboos, S., Hoefler, T., and Alistarh, D. GPTQ: accurate post-training quantization for generative pre-trained transformers. CoRR, abs/2210.17323, 2022. doi: 10.48550/arXiv.2210.17323. URL https://doi.org/10.48550/arXiv.2210.17323.
Frantar et al. (2023) Frantar, E., Ashkboos, S., Hoefler, T., and Alistarh, D. OPTQ: accurate quantization for generative pre-trained transformers. In The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023. OpenReview.net, 2023. URL https://openreview.net/pdf?id=tcbBPnfwxS.
Gholami et al. (2021) Gholami, A., Kim, S., Dong, Z., Yao, Z., Mahoney, M. W., and Keutzer, K. A survey of quantization methods for efficient neural network inference. CoRR, abs/2103.13630, 2021. URL https://arxiv.org/abs/2103.13630.
Hao et al. (2022) Hao, M., Li, H., Chen, H., Xing, P., Xu, G., and Zhang, T. Iron: Private inference on transformers. In Oh, A. H., Agarwal, A., Belgrave, D., and Cho, K. (eds.), Advances in Neural Information Processing Systems, 2022. URL https://openreview.net/forum?id=deyqjpcTfsG.
Huang et al. (2022) Huang, Z., Lu, W., Hong, C., and Ding, J. Cheetah: Lean and fast secure two-party deep neural network inference. In Butler, K. R. B. and Thomas, K. (eds.), 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022, pp. 809–826. USENIX Association, 2022. URL https://www.usenix.org/conference/usenixsecurity22/presentation/huang-zhicong.
Jiao et al. (2020) Jiao, X., Yin, Y., Shang, L., Jiang, X., Chen, X., Li, L., Wang, F., and Liu, Q. Tinybert: Distilling BERT for natural language understanding. In Cohn, T., He, Y., and Liu, Y. (eds.), Findings of the Association for Computational Linguistics: EMNLP 2020, Online Event, 16-20 November 2020, volume EMNLP 2020 of Findings of ACL, pp. 4163–4174. Association for Computational Linguistics, 2020. doi: 10.18653/v1/2020.findings-emnlp.372. URL https://doi.org/10.18653/v1/2020.findings-emnlp.372.
Kim et al. (2021) Kim, S., Gholami, A., Yao, Z., Mahoney, M. W., and Keutzer, K. I-BERT: integer-only BERT quantization. In Meila, M. and Zhang, T. (eds.), Proceedings of the 38th International Conference on Machine Learning, ICML 2021, 18-24 July 2021, Virtual Event, volume 139 of Proceedings of Machine Learning Research, pp. 5506–5518. PMLR, 2021. URL http://proceedings.mlr.press/v139/kim21d.html.
Li et al. (2023) Li, D., Wang, H., Shao, R., Guo, H., Xing, E., and Zhang, H. MPCFORMER: FAST, PERFORMANT AND PRIVATE TRANSFORMER INFERENCE WITH MPC. In The Eleventh International Conference on Learning Representations, 2023. URL https://openreview.net/forum?id=CWmvjOEhgH-.
Liang et al. (2023) Liang, Z., Wang, P., Zhang, R., Xing, L., Xu, N., and Zhang, S. Merge: Fast private text generation, 2023.
Liu & Liu (2023) Liu, X. and Liu, Z. Llms can understand encrypted prompt: Towards privacy-computing friendly transformers, 2023.
Lu et al. (2020) Lu, W., Fang, Y., Huang, Z., Hong, C., Chen, C., Qu, H., Zhou, Y., and Ren, K. Faster secure multiparty computation of adaptive gradient descent. In Zhang, B., Popa, R. A., Zaharia, M., Gu, G., and Ji, S. (eds.), PPMLP’20: Proceedings of the 2020 Workshop on Privacy-Preserving Machine Learning in Practice, Virtual Event, USA, November, 2020, pp. 47–49. ACM, 2020. doi: 10.1145/3411501.3419427. URL https://doi.org/10.1145/3411501.3419427.
Lu et al. (2023) Lu, W., Huang, Z., Gu, Z., Li, J., Liu, J., Ren, K., Hong, C., Wei, T., and Chen, W. Bumblebee: Secure two-party inference framework for large transformers. IACR Cryptol. ePrint Arch., pp. 1678, 2023. URL https://eprint.iacr.org/2023/1678.
Ma et al. (2023) Ma, J., Zheng, Y., Feng, J., Zhao, D., Wu, H., Fang, W., Tan, J., Yu, C., Zhang, B., and Wang, L. Secretflow-spu: A performant and user-friendly framework for privacy-preserving machine learning. In Lawall, J. and Williams, D. (eds.), 2023 USENIX Annual Technical Conference, USENIX ATC 2023, Boston, MA, USA, July 10-12, 2023, pp. 17–33. USENIX Association, 2023. URL https://www.usenix.org/conference/atc23/presentation/ma.
Merity et al. (2016) Merity, S., Xiong, C., Bradbury, J., and Socher, R. Pointer sentinel mixture models, 2016.
Micikevicius et al. (2017) Micikevicius, P., Narang, S., Alben, J., Diamos, G. F., Elsen, E., García, D., Ginsburg, B., Houston, M., Kuchaiev, O., Venkatesh, G., and Wu, H. Mixed precision training. CoRR, abs/1710.03740, 2017. URL http://arxiv.org/abs/1710.03740.
Mohassel & Rindal (2018) Mohassel, P. and Rindal, P. Aby3: A mixed protocol framework for machine learning. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, pp. 35–52, New York, NY, USA, 2018. Association for Computing Machinery. ISBN 9781450356930. doi: 10.1145/3243734.3243760. URL https://doi.org/10.1145/3243734.3243760.
Mohassel & Zhang (2017) Mohassel, P. and Zhang, Y. Secureml: A system for scalable privacy-preserving machine learning. In 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, pp. 19–38. IEEE Computer Society, 2017. doi: 10.1109/SP.2017.12. URL https://doi.org/10.1109/SP.2017.12.
Patra et al. (2021) Patra, A., Schneider, T., Suresh, A., and Yalame, H. ABY2.0: improved mixed-protocol secure two-party computation. In Bailey, M. and Greenstadt, R. (eds.), 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, pp. 2165–2182. USENIX Association, 2021. URL https://www.usenix.org/conference/usenixsecurity21/presentation/patra.
Radford et al. (2019) Radford, A., Wu, J., Child, R., Luan, D., Amodei, D., and Sutskever, I. Language models are unsupervised multitask learners. 2019.
Riazi et al. (2019) Riazi, M. S., Samragh, M., Chen, H., Laine, K., Lauter, K. E., and Koushanfar, F. XONN: xnor-based oblivious deep neural network inference. In Heninger, N. and Traynor, P. (eds.), 28th USENIX Security Symposium, USENIX Security 2019, Santa Clara, CA, USA, August 14-16, 2019, pp. 1501–1518. USENIX Association, 2019. URL https://www.usenix.org/conference/usenixsecurity19/presentation/riazi.
Shamir (1979) Shamir, A. How to share a secret. Commun. ACM, 22(11):612–613, 1979. doi: 10.1145/359168.359176. URL https://doi.org/10.1145/359168.359176.
Shokri et al. (2017) Shokri, R., Stronati, M., Song, C., and Shmatikov, V. Membership inference attacks against machine learning models. In 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, pp. 3–18. IEEE Computer Society, 2017. doi: 10.1109/SP.2017.41. URL https://doi.org/10.1109/SP.2017.41.
Tan et al. (2021) Tan, S., Knott, B., Tian, Y., and Wu, D. J. Cryptgpu: Fast privacy-preserving machine learning on the GPU. In 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pp. 1021–1038. IEEE, 2021. doi: 10.1109/SP40001.2021.00098. URL https://doi.org/10.1109/SP40001.2021.00098.
Vaswani et al. (2017) Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A. N., Kaiser, L., and Polosukhin, I. Attention is all you need. In Guyon, I., von Luxburg, U., Bengio, S., Wallach, H. M., Fergus, R., Vishwanathan, S. V. N., and Garnett, R. (eds.), Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA, USA, pp. 5998–6008, 2017. URL https://proceedings.neurips.cc/paper/2017/hash/3f5ee243547dee91fbd053c1c4a845aa-Abstract.html.
Wagh et al. (2021) Wagh, S., Tople, S., Benhamouda, F., Kushilevitz, E., Mittal, P., and Rabin, T. Falcon: Honest-majority maliciously secure framework for private deep learning. Proc. Priv. Enhancing Technol., 2021(1):188–208, 2021. doi: 10.2478/popets-2021-0011. URL https://doi.org/10.2478/popets-2021-0011.
Wang et al. (2019) Wang, A., Singh, A., Michael, J., Hill, F., Levy, O., and Bowman, S. R. GLUE: A multi-task benchmark and analysis platform for natural language understanding. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. OpenReview.net, 2019. URL https://openreview.net/forum?id=rJ4km2R5t7.
Wikipedia contributors (2004) Wikipedia contributors. Plagiarism — Wikipedia, the free encyclopedia, 2004. URL https://en.wikipedia.org/w/index.php?title=Plagiarism&oldid=5139350. [Online; accessed 22-July-2004].
Wolf et al. (2020) Wolf, T., Debut, L., Sanh, V., Chaumond, J., Delangue, C., Moi, A., Cistac, P., Rault, T., Louf, R., Funtowicz, M., Davison, J., Shleifer, S., von Platen, P., Ma, C., Jernite, Y., Plu, J., Xu, C., Scao, T. L., Gugger, S., Drame, M., Lhoest, Q., and Rush, A. M. Transformers: State-of-the-art natural language processing. In Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, pp. 38–45, Online, October 2020. Association for Computational Linguistics. URL https://www.aclweb.org/anthology/2020.emnlp-demos.6.
Yao (1986) Yao, A. C. How to generate and exchange secrets (extended abstract). In 27th Annual Symposium on Foundations of Computer Science, Toronto, Canada, 27-29 October 1986, pp. 162–167. IEEE Computer Society, 1986. doi: 10.1109/SFCS.1986.25. URL https://doi.org/10.1109/SFCS.1986.25.
Yao et al. (2021) Yao, Z., Dong, Z., Zheng, Z., Gholami, A., Yu, J., Tan, E., Wang, L., Huang, Q., Wang, Y., Mahoney, M. W., and Keutzer, K. HAWQ-V3: dyadic neural network quantization. In Meila, M. and Zhang, T. (eds.), Proceedings of the 38th International Conference on Machine Learning, ICML 2021, 18-24 July 2021, Virtual Event, volume 139 of Proceedings of Machine Learning Research, pp. 11875–11886. PMLR, 2021. URL http://proceedings.mlr.press/v139/yao21a.html.
Yao et al. (2022) Yao, Z., Aminabadi, R. Y., Zhang, M., Wu, X., Li, C., and He, Y. Zeroquant: Efficient and affordable post-training quantization for large-scale transformers. In NeurIPS, 2022. URL http://papers.nips.cc/paper_files/paper/2022/hash/adf7fa39d65e2983d724ff7da57f00ac-Abstract-Conference.html.
Zeng et al. (2023) Zeng, W., Li, M., Xiong, W., Tong, T., Lu, W., Tan, J., Wang, R., and Huang, R. Mpcvit: Searching for accurate and efficient mpc-friendly vision transformer with heterogeneous attention. In IEEE/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pp. 5029–5040. IEEE, 2023. doi: 10.1109/ICCV51070.2023.00466. URL https://doi.org/10.1109/ICCV51070.2023.00466.
Zhang et al. (2023) Zhang, Y., Chen, D., Kundu, S., Li, C., and Beerel, P. A. Sal-vit: Towards latency efficient private inference on vit using selective attention search with a learnable softmax approximation. In IEEE/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pp. 5093–5102. IEEE, 2023. doi: 10.1109/ICCV51070.2023.00472. URL https://doi.org/10.1109/ICCV51070.2023.00472.
Zhu et al. (2015) Zhu, Y., Kiros, R., Zemel, R., Salakhutdinov, R., Urtasun, R., Torralba, A., and Fidler, S. Aligning books and movies: Towards story-like visual explanations by watching movies and reading books. In The IEEE International Conference on Computer Vision (ICCV), December 2015.

Appendix A Supplementary Experiments

Varying Batch Size.

We evaluate the secure inference with batch size $\in\{1,2,4,8\}$ on Bert-base model. As shown in Table 4, the communication size and runtime increase about linearly to the batch size for all the methods. Ditto remains about $1.4\times$ and $4.0\times$ faster than PUMA and MPCFormer, respectively.

Table 4: Inference efficiency on Bert-base with varying batch size. The input length is set to 128.

Model	Method	#Batch Size
		1		2		4		8
		Comm.	Time	Comm.	Time	Comm.	Time	Comm.	Time
Bert-base	Baseline	15.12	53.17	30.21	97.56	60.49	185.63	120.77	365.76
	MPCFormer	6.70	124.81	11.77	227.82	21.93	432.06	42.25	839.83
	PUMA	10.59	43.98	21.20	79.70	42.27	153.88	84.65	297.90
	Ditto	4.35	30.58	8.68	56.29	17.35	107.52	34.96	208.63
	Ditto	2.43 $\times$	1.44 $\times$	2.44 $\times$	1.42 $\times$	2.44 $\times$	1.43 $\times$	2.42 $\times$	1.43 $\times$

Varying Network Environment.

We evaluate the secure inference under two different network settings, i.e., LAN and WAN. Since secure inference based on MPC is communication-bound, the network status has a significant effect on the efficiency. As shown in Table 5, the runtime increases dramatically in WAN, which is nearly $10\times$ that in LAN. This is because WAN has a smaller bandwidth and higher latency. Compared to PUMA, Ditto is still $1.46\sim 1.53\times$ faster in WAN due to the reduction of communication overhead.

Table 5: Inference efficiency of Bert-base and GPT2-base under different network environments.

Network	Model	Runtime (s)
Network	Model	Baseline	MPCFormer	PUMA	Ditto
Bert-base	LAN	53.17	124.81	43.98	30.58	1.44 $\times$
Bert-base	WAN	551.45	888.55	444.43	303.50	1.46 $\times$
GPT2-base	LAN	39.60	57.57	38.33	20.30	1.89 $\times$
GPT2-base	WAN	382.98	588.14	357.65	233.32	1.53 $\times$

Comparison to 2PC works.

We also evaluate the state-of-the-art 2PC works for secure Transformer inference to make a comprehensive comparison. The concrete runtime and communication size are from the paper (Lu et al., 2023). The efficiency results are illustrated in Figure 5. In general, Ditto is orders of magnitude faster than Iron (Hao et al., 2022) and BumbleBee (Lu et al., 2023) on Bert (base and large) models with input sequence length of 128.

Appendix B Formulated Protocol Constructions

In this section, we present the formulated protocol constructions for the fixed-point computation of GeLU and Softmax functions mentioned in Section 4.2.2, and the type cast MPC primitives introduced in Section 4.3.1.

The approximation of GeLU function that computes $\mathsf{GeLU}(x)=0.125x^{2}+0.25x+0.5$ is presented in Algorithm 2. The Softmax function that computes with different fixed-point representations are shown in Algorithm 3.

Algorithm 2 Approximated

\mathsf{GeLU}

Protocol

0: Fixed-point

x

over

\texttt{FXP}_{\ell}^{f}

; Polynomial coefficients

a,b,c=\{0.125,0.25,0.5\}

0: Fixed-point

y

over

\texttt{FXP}_{\ell}^{f}

;

a_{int}=\lfloor a\cdot 2^{f}\rceil

b_{int}=\lfloor b\cdot 2^{f}\rceil

c_{int}=\lfloor c\cdot 2^{f}\rceil

\hat{y}=a_{int}\cdot x/2^{f}+b_{int},~{}~{}~{}~{}~{}~{}\vartriangleright 0.125% \cdot x+0.25

y=x\cdot\hat{y}/2^{f}+c_{int},~{}~{}~{}~{}~{}~{}\vartriangleright x\cdot(0.125% \cdot x+0.25)+0.5

4: return

y

Algorithm 3 Approximated

\mathsf{Softmax}

Protocol

0: Fixed-point

x

over

\texttt{FXP}_{\ell}^{f}

;

\ell<\ell^{\prime}

and

f<f^{\prime}

0: Fixed-point

y

over

\texttt{FXP}_{\ell}^{f}

;

x=x-\mathsf{Max}(x)

\vartriangleright

Max computes with precision bit

f

\hat{x}=\mathsf{Cast}(x,\texttt{FXP}_{\ell}^{f},\texttt{FXP}_{\ell^{\prime}}^{% f^{\prime}})

\vartriangleright

from

\texttt{FXP}_{\ell}^{f}

\texttt{FXP}_{\ell^{\prime}}^{f^{\prime}}

\hat{x}_{exp}=\mathsf{Exp}(\hat{x})

\vartriangleright

Exponential computes with precision bit

f^{\prime}

\hat{y}=\hat{x}_{exp}/\mathsf{Sum}(\hat{x}_{exp},axis=-1)

y=\mathsf{Cast}(\hat{y},\texttt{FXP}_{\ell^{\prime}}^{f^{\prime}},\texttt{FXP}% _{\ell}^{f})

\vartriangleright

from

\texttt{FXP}_{\ell^{\prime}}^{f^{\prime}}

\texttt{FXP}_{\ell}^{f}

6: return

y

In the following, the Algorithm 4 depicts the construction of downcast protocol in the MPC domain.

Algorithm 4 Secure

\mathsf{DownCast}

Protocol

0: RSS-shared

\llbracket x\rrbracket_{\ell}

over

\texttt{FXP}_{\ell}^{f}

;

0: RSS-shared

\llbracket x^{\prime}\rrbracket_{\ell^{\prime}}

over

\texttt{FXP}_{\ell^{\prime}}^{f^{\prime}}

, where

x/2^{f}=x^{\prime}/2^{f^{\prime}}

P_{i}

for

i\in\{0,1,2\}

proceed as follows:

\begin{split}&x^{\prime}_{i}=x_{i}\gg(f-f^{\prime})\mod 2^{\ell^{\prime}}\\ &x^{\prime}_{i+1}=x_{i+1}\gg(f-f^{\prime})\mod 2^{\ell^{\prime}},~{}~{}~{}~{}~% {}~{}\vartriangleright x/2^{f-f^{\prime}}\mod 2^{\ell^{\prime}}=x^{\prime}\mod 2% ^{\ell^{\prime}}\\ \end{split}

2: return

\llbracket x^{\prime}\rrbracket_{\ell^{\prime}}=\{x^{\prime}_{0},x^{\prime}_{1% },x^{\prime}_{2}\}

Appendix C Correctness Analysis

In this section, we analyze the correctness of proposed type cast protocols in Section 4.3.1. The type cast in MPC involves converting shares among rings of different sizes. Consider two rings, $\mathbb{Z}_{2^{\ell}}$ and $\mathbb{Z}_{2^{\ell^{\prime}}}$ , and let $\llbracket x\rrbracket_{\ell}=\{x_{0},x_{1},x_{2}\}$ be the input sharing of $x$ over the first ring. Our goal is to obtain the sharing of $x$ over the second ring, denoted as $\llbracket x^{\prime}\rrbracket_{\ell^{\prime}}=\{x^{\prime}_{0},x^{\prime}_{1% },x^{\prime}_{2}\}$ . We note that $\llbracket x\rrbracket_{\ell}$ and $\llbracket x\rrbracket_{\ell^{\prime}}$ are encoded over $\texttt{FXP}_{\ell}^{f}$ and $\texttt{FXP}_{\ell^{\prime}}^{f^{\prime}}$ , respectively. Hence, we require $x/2^{f}=x^{\prime}/2^{f^{\prime}}$ . Note that to ensure correctness, we have the assumption that $x^{\prime}$ can be represented using $\ell^{\prime}$ bits, i.e., $x^{\prime}\in[-2^{\ell^{\prime}-1},2^{\ell^{\prime}-1}-1]$ .

Proof.

Based on the relationship between $\{\ell,f\}$ and $\{\ell^{\prime},f^{\prime}\}$ , we have two cases that correspond to downcast and upcast, respectively.

Case 1: $\{\ell,f\}>\{\ell^{\prime},f^{\prime}\}$ (Downcast). In Algorithm 4, the input $x$ is firstly right-shifted by $t=f-f^{\prime}$ bits to lower the precision. The following step is to convert $x/2^{f-f^{\prime}}$ to the smaller ring $\mathbb{Z}_{2^{\ell^{\prime}}}$ using modulo operation.

The above steps can be formulated as

\begin{split}x^{\prime}=x/2^{t}&=((x_{0}+x_{1}+x_{2})\mod 2^{\ell})/2^{t}\\ &=x_{0}/2^{t}+x_{1}/2^{t}+x_{2}/2^{t}-w\cdot 2^{\ell-t}+w^{\prime}\\ &=(x_{0}/2^{t}+x_{1}/2^{t}+x_{2}/2^{t}-w\cdot 2^{\ell-t}+w^{\prime})\mod 2^{% \ell^{\prime}}\\ &=(x_{0}/2^{t}\mod 2^{\ell^{\prime}})+(x_{1}/2^{t}\mod 2^{\ell^{\prime}})+(x_{% 2}/2^{t}\mod 2^{\ell^{\prime}})\\ &-(w\cdot 2^{\ell-t}\mod 2^{\ell^{\prime}})+w^{\prime}\mod 2^{\ell^{\prime}}\\ \end{split}

(2)

where $w^{\prime}\in\{0,1,2\}$ denotes the potential carry bits from the lower $t$ bits. Since we have $\ell-t=64-(18-8)=54$ , $\ell^{\prime}=32$ , $w\cdot 2^{\ell-t}\mod 2^{\ell^{\prime}}=0$ . We can finally get

\begin{split}x^{\prime}&=(x_{0}/2^{t}\mod 2^{\ell^{\prime}})+(x_{1}/2^{t}\mod 2% ^{\ell^{\prime}})+(x_{2}/2^{t}\mod 2^{\ell^{\prime}})+w^{\prime}\\ &=(x^{\prime}_{0}+x^{\prime}_{1}+x^{\prime}_{2}+w^{\prime})\mod 2^{\ell^{% \prime}}\end{split}

(3)

The probabilistic $w^{\prime}$ occurs at the lowest significant bit, thus merely having a negligible impact of precision $2^{-f^{\prime}}$ . The correctness of Algorithm 4 thus holds. ∎

Case 2: $\{\ell,f\}<\{\ell^{\prime},f^{\prime}\}$ (Upcast). The input $x$ is firstly converted to the larger ring $\mathbb{Z}_{2^{\ell^{\prime}}}$ using Algorithm 1, followed by a left-shifting of $t$ bits. Regarding Algorithm 1, the masking goes as

\begin{split}(x+r)\mod 2^{\ell}=x+r-\hat{w}\cdot 2^{\ell}\end{split}

(4)

where $\hat{w}=(x+r)\overset{?}{>}2^{\ell}$ . The above equation can be transformed into

\begin{split}x\mod 2^{\ell^{\prime}}=(x+r)\mod 2^{\ell}-r+\hat{w}\cdot 2^{\ell% }\mod 2^{\ell^{\prime}}\end{split}

(5)

The correctness holds as long as $\hat{w}$ is correct. Recall that we add a bias to ensure that the MSB of $x$ is 0, $x+r$ wraps around $2^{\ell}$ if and only if the MSB of $r$ (i.e., $r_{\ell-1}$ ) is 1 and the MSB of $y=x+r\mod 2^{\ell}$ (i.e., $y_{\ell-1}$ ) is 0. Therefore, we can correctly compute the wrap as $\hat{w}=r_{\ell-1}\wedge\neg y_{\ell-1}$ . As to the bias, we have a trick that limits the range of $x\in[-2^{\ell-2},2^{\ell-2}-1]$ and choose $2^{\ell-2}$ as the bias. As a result, any input $x=x+r\in[0,2^{\ell-1}-1]$ is positive. After the conversion, the bias can be conveniently subtracted to eliminate its influence. The following left-shift operation can be regarded as multiplication by a public constant $2^{t}$ , thus satisfying $x^{\prime}/2^{f^{\prime}}=x\cdot 2^{t}/2^{f^{\prime}}=x/2^{f}$ .

∎

Appendix D Security Proof

Theorem D.1.

Based on replicated secret sharing, the protocol ${\mathsf{DownCast}}$ securely performs the share extension against the semi-honest adversary, with honest-majority assumption.

Proof.

The ${\mathsf{DownCast}}$ protocol relies on local right-shift and modulo operations, which are performed individually by each party on the shares they hold. No communication of shares between parties is required for these computations. Owing to the nature of the underlying RSS scheme, each party alone cannot reveal the secret data, proving the overall security of the protocol. ∎

Theorem D.2.

Based on replicated secret sharing, the protocol ${\mathsf{UpCast}}$ securely performs the share extension against the semi-honest adversary in the $(\mathsf{PRF},\mathsf{DownCast})$ -hybrid model, with honest-majority assumption.

Proof.

${\mathsf{UpCast}}$ facilitates the computation by letting $P_{2}$ locally sample data-independent correlated randomness and offload the subsequent computations to the left two parties, i.e., $P_{0}$ and $P_{1}$ . Recall that we have honest-majority assumption, $P_{2}$ cannot collude with either $P_{0}$ or $P_{1}$ . Hence, although $P_{2}$ knows the plaintext value of randomness, he cannot reveal the input $x$ without the information of the revealed $y$ in Step-5. The randomness $r$ is a random $\ell$ -bit integer. Its sharing over $\mathbb{Z}_{2^{\ell^{\prime}}}$ is generated by $P_{2}$ and we let $P_{0}$ and $P_{1}$ use $\mathsf{DownCast}$ to obtain its sharing over $\mathbb{Z}_{2^{\ell}}$ in Step-3. As long as the security of $\mathsf{DownCast}$ holds, the security of Step-3 holds. Subsequently, the mask-and-open operation computes $y=x+r$ over $\mathbb{Z}_{2^{\ell}}$ . Since $r$ is uniformly sampled over $\mathbb{Z}_{2^{\ell}}$ , and the computation modulos $2^{\ell}$ , information-theoretical security is guaranteed. Despite the information of $y$ , both $P_{0}$ and $P_{1}$ cannot crack $x$ . Regarding the computation of $\hat{w}$ , it also merely involves local computations, thus leaking no information to help crack $x$ . Finally, in Step-6, the two random values $z_{0},z_{2}$ over $\mathbb{Z}_{2^{\ell^{\prime}}}$ generated using $\mathsf{PRF}$ in Step-2 are used to convert the two-out-of-two sharing of $x^{\prime}$ into RSS. $P_{0}$ and $P_{1}$