MPC的數學模型

MPC的問題分類

• 由算法適用性來看，MPC既適用于特定的算法，如加法、乘法、AES，集合交集等；也適用于所有可表示成計算過程的通用算法。
• 根據計算參與方個數不同，可分為只有兩個參與方的2PC和多個參與方（≥3）的通用MPC。
• 安全兩方計算所使用的協議為Garbled Circuit(GC)+Oblivious Transfer(OT)；而安全多方計算所使用的協議為同態加密+秘密分享+OT
• 在安全多方計算中，安全挑戰模型包括半誠實敵手模型和惡意敵手模型。市場大部分場景滿足半誠實敵手模型。2pc的主要是半誠實模型
• 半誠實敵手模型：計算方存在獲取其他計算方原始數據的需求，但仍按照計算協議執行。半誠實關系即參與方之間有一定的信任關系，適合機構之間的數據計算
• 惡意敵手模型：參與方根本就不按照計算協議執行計算過程。參與方可采用任何（惡意）方式與對方通信，且沒有任何信任關系。結果可能是協議執行不成功，雙方得不到任何數據；或者協議執行成功，雙方僅知道計算結果。更多適用于個人之間、或者個人與機構之間的數據計算

MPC的技術棧

混淆電路（GC）

兩方安全計算執行過程

假設有兩個人Alice和Bob，分別持有一個數據a和b，兩個互不信任的人希望用一個函數F來計算a和b的值，下面是協議的執行過程

有一個問題：在上述的第四步中，A知道了B的值b，這與安全計算的概念違背，因此我們需要OT協議來保證數據的隱蔽性

不經意傳輸（OT）

這個是“二選一”的OT方案

總結

以上是生活随笔為你收集整理的多方安全计算（MPC）知识汇总的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。