如何使用海狸乘法三元組進行除法

使用 Beaver 的乘法三元組實現加法、減法甚至廣義多項式非常簡單直覺。然而，在兩個秘密共享值上似乎很難實現除法（每個值都具有精度 $ f $ ).

假設安全兩方計算的情況，有兩個秘密值

$$ [a]\leftarrow{0,1}^n, [b]\leftarrow{0,1}^n $$

我們希望安全地計算

$$ c= \Bigl\lfloor\dfrac{a}{b}\Bigr\rfloor $$

在哪裡 $ c $ 是一個整數。

所以我的問題是：如何設計這樣的劃分協議，或者有沒有論文？非常感謝。

存在許多可以安全地計算任何函式的*通用多方協議。*其中一些，例如SPDZ和this one，使用 Beaver 三元組。這些協議可以計算整數除法，因為整數除法是一個函式。

但是，使用通用多方協議可能不是最實用或最有效的。因此，對於整數除法的專用協議也進行了一些研究。例如，這裡有一篇論文描述了用於整數除法的安全兩方協議。該論文中的“相關工作”部分包含對多於兩方的其他整數除法協議的引用。不過，我不確定這些協議中的任何一個都使用 Beaver 三元組。

引用自：https://crypto.stackexchange.com/questions/68213