基於仿真的 MPC 的獨立模型首先在哪裡提出？

用於多方計算中基於模擬的證明的獨立模型和 UC 模型在它們提供的保證方面有所不同：獨立模型在順序組合下提供安全性，而 UC 模型在並發組合下提供安全性。

通常引用 UC 模型起源於 Ran Canetti 在 FOCS 2001 上的一篇論文。但是，我找不到獨立模型的此類引用。

哪些作品介紹了單機模式？

據我了解，80、90 年代的 MPC 並沒有今天這樣正式，也許這個模型被使用了但沒有正式定義。但是，我仍然想知道這個術語是在何時何地創造的，哪些作品首先使用了這個概念（也許沒有命名）。

標準（獨立）定義經過多年發展，包括最初的 GMW、Beaver、Goldwasser-Levin 和 Micali-Rogaway。然而，今天使用的標准定義是由 Canetti 提出的，並於 2000 年發表在 Journal of Cryptology 上。該論文還證明了模序列組合定理。這是該論文的連結：https ://eprint.iacr.org/1998/018 。

上面的論文實際上只涉及誠實多數設置，這毫無價值。然而，不誠實多數所需的更改是微小而直接的，並且對模順序組合定理的證明沒有影響。

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