同態(tài)加密(HE)是一種隱私保護技術(shù)，可以直接在加密數(shù)據(jù)上執(zhí)行計算任務。HE支持安全的遠程計算，云服務提供商可以在不查看高度敏感數(shù)據(jù)的情況下進行數(shù)據(jù)計算(即“可用不可看”)。但是，盡管頗具吸引力，但性能和可編程性方面面臨的挑戰(zhàn)仍然是HE廣泛采用的主要障礙。

[[379274]]

要實現(xiàn)HE的潛力就需要開發(fā)一種編譯器，將未加密的純文本代碼庫實時轉(zhuǎn)換為加密代碼。為此，F(xiàn)acebook、紐約大學和斯坦福大學的研究人員開發(fā)了Porcupine(https://arxiv.org/pdf/2101.07841.pdf)，這是一種HE的“合成編譯器”，開發(fā)團隊聲稱，與啟發(fā)式驅(qū)動的、完全手動優(yōu)化的代碼相比，它的速度提高了51%。

研究人員解釋說，在一個純文本代碼示例中，Porcupine會合成執(zhí)行相同計算的HE代碼。在內(nèi)部，Porcupine使用稱為Quill的組件對指令噪聲、等待時間、行為和HE程序語義進行建模。Quill使Porcupine能夠推理并搜索可驗證的HE內(nèi)核，同時最大程度地減少代碼的延遲和噪聲累積。結(jié)果是一套套件，可以自動化和優(yōu)化純文本到HE代碼的映射和調(diào)度。

在實驗中，研究人員使用一系列圖像處理和線性代數(shù)程序?qū)orcupine進行了評估。根據(jù)研究人員的說法，對于小型程序，Porcupine能夠找到與人工書寫的基線相同的優(yōu)化實現(xiàn)。在更大、更復雜的程序上，Porcupine能發(fā)現(xiàn)分解優(yōu)化，甚至涉及可分離過濾器的特定應用優(yōu)化。

研究人員寫道：“我們的結(jié)果證明了我們基于綜合的編譯方法的有效性和普遍性，并進一步激發(fā)了自動推理在HE中對性能和生產(chǎn)率的提升。Porcupine提取了構(gòu)建正確的HE計算的細節(jié)，以便應用程序設計人員可以將精力集中在其他設計注意事項上。”

對HE的熱愛已經(jīng)催生了許多家創(chuàng)業(yè)公司，指在將其引入生產(chǎn)系統(tǒng)?？偛课挥谛聺晌髦菁~瓦克的Duality Technologies最近從英特爾的一個風險投資部門獲得了資金，并將其HE平臺推向“無數(shù)”企業(yè)(尤其是受管制行業(yè)的企業(yè))的隱私保護解決方案。銀行可以在各個機構(gòu)之間進行增強隱私的金融犯罪調(diào)查，企業(yè)的銷售策略也可以這樣做，而科學家可以利用它與有關病歷的研究進行合作。

【本文是51CTO專欄作者“安全牛”的原創(chuàng)文章，轉(zhuǎn)載請通過安全牛（微信公眾號id:gooann-sectv）獲取授權(quán)】

戳這里，看該作者更多好文