隱私計算：動態的加密技術——區塊鏈技術引卷之八_NAR:ASH

通證通研究院×FENBUSHIDIGITAL聯合出品文：宋雙杰，CFA；孫含儒；吳振宇特別顧問：沈波；Rin；JX導讀隱私計算技術是密碼學的一個前沿發展方向，填補了數據在計算環節隱私性問題的空白，將基于密碼學的信息安全體系打造成完整的閉環，為云計算、分布式計算網絡和區塊鏈等技術的應用提供隱私性基礎。本專題將簡述隱私計算技術，并分析其起源、技術方向與應用前景。摘要隨著信息技術的不斷發展，數據逐漸成為政府、企業與個人的重要資產，其發掘、存儲、處理與使用變得愈發重要，逐漸產生了隱私性需求。隱私計算，是一類數據或計算方法保持加密狀態，不泄露給其他合作方的前提下，進行計算合作的技術，其出現填補了密碼學出現以來在信息的處理和使用環節的空白。目前階段，密碼學層面的隱私計算主要有全同態加密、多方安全計算、零知識證明等主要的技術方向。滿足同態性的加密函數能夠實現在不解密原始數據的前提下對加密數據進行某一運算，提供了對加密數據的計算能力。全同態加密算法則是指給定任意一種運算規則，可以通過算法構造出對加密數據的相應運算規則，并滿足同態性。全同態加密是相對基礎性的隱私計算技術，應用范圍較廣，但其目前計算效率較低，并存在一定局限性。安全多方計算解決如何在參與計算的各方不泄露自身輸入、且沒有可信第三方的情況下安全地計算約定的函數并得到可驗證結果的問題。安全多方計算主要解決的主要目的是解決互不信任的參與方在保護隱私的前提下協同計算的難題。其自身同樣存在局限性，不能保證參與者的誠實度，也無法阻止參與者惡意輸入。零知識證明是證明者在不透露隱私數據的情況下，向任意第三方證明自己確實擁有特定數據的算法。多用于匿名區塊鏈隱藏交易細節，實現匿名性。隱私計算在云計算、分布式計算網絡和區塊鏈三個方向有廣闊發展前景。隱私計算可以讓數據在云計算過程中保持加密狀態，提高了計算過程中的數據安全。隱私計算也使隱私數據上鏈成為可能，并且同樣通過區塊鏈技術確保其可驗證性。風險提示：技術存在瓶頸，落地應用不及預期目錄1隱私計算：加密技術的另一維度2主要技術方向：全同態加密、安全多方計算與零知識證明2.1全同態加密2.2安全多方計算2.3零知識證明3應用前景3.1安全云計算3.2分布式計算網絡3.3加密鏈上數據與隱藏交易信息正文隱私計算技術是密碼學的一個前沿發展方向，填補了數據在計算環節隱私性問題的空白，將基于密碼學的信息安全體系打造成完整的閉環，為云計算、分布式計算網絡和區塊鏈等技術的應用提供隱私性基礎。本專題將簡述隱私計算技術，并分析其起源、技術方向與應用前景。1隱私計算：加密技術的另一維度

信通院公布最新隱私計算評測結果，螞蟻鏈摩斯獲得多項認證:7月14日消息，7月13日，在2022年隱私計算大會上，中國信通院公布第六批可信隱私計算評測結果。結果顯示，共計34家企業的產品通過評測。在本批次測評中，螞蟻鏈摩斯安全計算平臺通過性能、功能等四類150項測評，包括信通院首次推出的“多方安全計算-性能大規模專項評測”、“聯邦學習-性能大規模專項評測”，進一步驗證了功能的全面性和性能的領先性。螞蟻鏈摩斯是國內領先的隱私計算產品，曾先后獲得iDASH2019、iDASH2021隱私計算比賽全球冠軍。據了解，摩斯早在2020年就已通過信通院多方安全計算和聯邦學習的基礎能力測評。[2022/7/14 2:12:32]

隨著信息技術的不斷發展，數據逐漸成為政府、企業與個人的重要資產，其發掘、存儲、處理與使用變得愈發重要，逐漸產生了隱私性需求。數據科學的發展使數據的應用場景不斷擴展，相應的合作也開始涌現，隱私性問題也隨之而來。例如，企業可能需要使用合作方的數據以形成某種判斷或結果，而合作方并不愿意將自己的數據完全交給他人，企業同樣不希望自己的查詢條件或分析方法被合作方得知；使用云計算資源時，使用者也希望自己的數據和運算方法能夠保密，然而現實中卻不得不將內容全部上傳，從而面臨泄露的風險。隨著云計算和區塊鏈的發展，隱私計算的需求愈發涌現，這一結合了密碼學和計算科學的前沿領域再次受到了大家的關注。隱私計算，是一類在保證數據提供方不泄露敏感數據的前提下，對數據進行計算并能驗證計算結果的技術。當代密碼學起源于1977年，RonRivest，AdiShamir和LeonardAdleman發明了非對稱式加密算法RSA。RSA利用了目前計算機分解素因子運算難度的不對稱性，設計了公鑰用于加密、私鑰用于解密的公鑰加密體系，私鑰不會出現在數據傳輸環節，極大提高了加密數據傳輸的安全性。RSA算法發表于1977年4月3日，猶太民族的逾越節，如摩西出埃及一般，人類的加密技術突破了長期以來的瓶頸，到達了新的階段。密碼學通過數學理論將數據轉化為密文狀態，無私鑰不能讀取其內容，解決了不安全環境下隱私存儲與通信的問題，但在使用環節存在空白。到了信息的使用環節，在通訊和存儲過程中處于加密狀態的數據就不得不進行解密以用于查詢和計算。所以，基于密碼學的信息加密體系在使用環節是存在空白的，目前尚不能構成閉環的加密系統。當信息擁有者不得不提交數據使用第三方服務時，他就面臨著信息泄露的風險，其他環節的加密狀態也就失去了意義。針對這種情況，學術界開展了加密狀態下進行數據計算的研究，也就是我們所說的隱私計算。1978年RonRivest、LeonardAdleman和MichaelL.Dertouzos提出了同態加密問題，并在同年提出了滿足乘法同態的算法RSA。在此之前，密碼學研究關注的都是數據在存儲和傳輸過程中的靜態安全，而同態加密問題的提出將加密技術的研究從靜態引向動態，是理論上的巨大革新，也開創了隱私計算的先河。1982年，華人圖靈獎得主姚期智開創性的提出的百萬富翁問題，引入了多方安全計算概念。姚期智在他的論文《ProtocolsforSecureComputations》中提出了百萬富翁問題，即兩個百萬富翁在沒有可信第三方、不透露自己的財產狀況的情況下，如何比較誰更富有。20世紀80年代，MIT研究員ShafiGoldwasser、SilvioMicali和CharlesRackoff提出了零知識證明的概念。零知識證明涉及兩個參與方：證明者和驗證者。它的目的是解決如下問題：證明者如何向驗證者證明自己擁有某一特定的數據，但證明過程不能透露任何有關該數據的信息。經過學界的不斷研究和發展，以全同態計算、安全多方計算和零知識證明為代表的隱私計算取得了一定的成果，也成為了密碼學研究的熱點問題之一。2主要技術方向：全同態加密、安全多方計算與零知識證明

交大復旦等聯合籌建數字身份與數據流通信任技術實驗室：開展隱私計算和區塊鏈技術攻關:今年6月，我國頒布了《數據安全法》，9月1日將開始正式實施，上海市人大也正在起草《上海市數據條例》。近日，上海市數字證書認證中心、復旦大學計算機學院、上海交通大學電子信息與電氣工程學院、移動互聯網系統與應用安全國家工程實驗室等宣布共同發起籌建數字身份與數據流通信任技術實驗室，該實驗室將基于數字信任技術的產學研生態合作，開展隱私計算、區塊鏈、前沿密碼等數字信任技術攻關和產業應用，支撐城市數字化轉型、數據要素市場構建和網絡安全體系建設。[2021/7/23 1:10:58]

目前階段，密碼學層面的隱私計算主要有全同態加密、多方安全計算、零知識證明三種主要的技術方向。此外，還有可信執行環境、不可區分混淆等方向。本篇專題將解析全同態加密、安全多方計算與零知識證明，并分析它們的優勢與不足。

2.1全同態加密在RSA算法問世前使用對稱式加密算法的時代，加密和解密數據遵循同樣的規則。對稱式加密的關鍵要素包括加密算法和密鑰，數據發送方使用特定的密鑰加密數據，并且將加密數據和密鑰發送給接收方。在傳輸的過程中，加密數據或密鑰存在被攔截的風險。一旦加密算法被破解，如果不及時更換密鑰，那么雙方此后的通信過程就不再安全。非對稱式加密保證了數據存儲與傳輸的安全。非對稱式加密算法通過產生成對的公鑰與私鑰，公鑰用于加密數據，私鑰用于解密對應公鑰所加密的數據。在上面的例子中，數據接收方只需對發送方公開公鑰，發送方使用接收方的公鑰加密數據，接收方收到后使用私鑰解密。整個加解密過程中雙方不需要交換有關私鑰的信息，因此安全性非常高。同態加密保證了數據計算過程的安全，提供了對加密數據進行處理的功能。如果要對原始數據進行處理，一般需要先解密數據。如果執行計算過程的一方是不可信任的，那之前的加解密過程等于白費心思。同態原本是抽象代數中的概念。用加密函數f表示從原始數據M經加密得到密文S的過程，f^(-1)表示其逆運算，即解密過程：

如果原始數據S1、S2之間可以進行某種運算“+”，并且運算結果仍然是可以被加密函數處理的，此外還滿足

就稱該加密函數f滿足對運算“+”的同態性。這里的“+”表示一種抽象的運算規則，它可以是我們熟知的加法、乘法等等。滿足同態性的加密函數能夠實現在不解密原始數據的前提下對加密數據進行某一運算。對加密后的數據進行計算得出結果：

微眾銀行多方大數據隱私計算平臺通過信通院權威評測:6月24日，由中國信通院主辦的“2021大數據產業峰會-成果發布會”在北京召開。會議發布了最新一批“中國信通院大數據產品能力評測”結果。微眾銀行多方大數據隱私計算平臺WeDPR-PPC首批通過 “區塊鏈輔助的隱私計算產品”權威評測。

“中國信通院大數據產品能力評測”是國內首個面向大數據產品的權威評測體系，經過7年發展，已成為大數據領域技術研發和行業發展的風向標，為用戶選擇大數據產品提供有力支持。[2021/6/28 0:11:31]

計算服務請求者在收到計算結果后進行解密，獲得的結果：

與原始數據直接運算結果相等。常見的非對稱加密算法RSA、ECC都是加法同態的。全同態加密算法則是指給定任意一種運算規則，可以通過算法構造出對加密數據的相應運算規則，并滿足同態性要求。全同態加密算法按照發展階段可以劃分為三類。2009年，CraigGentry在論文《FullyHomomorphicEncryptionUsingIdealLattices》中給出了全同態加密的首個算法實現，也是首個同時滿足加法同態和乘法同態的加密算法。但Gentry的算法效率極低。據測試，該算法執行單次位操作運算需要30分鐘，遠遠無法滿足大規模應用的需求。Brakerski和VinodVaikuntanathan在初代全同態加密算法的基礎上作出改進，于2011年提出了BGV算法。它的數學基礎是RLWE問題的求解難度的不對稱性。CraigGendry、AmitSahai和BrentWaters于2013年發表GSW13算法，進一步優化了同態乘法算法。目前主流的全同態加密計算系統均使用后兩類加密算法。

全同態加密是相對基礎性的隱私計算技術，潛在應用范圍較廣。全同態加密技術實現了密文的直接運算，解決了計算合作中的隱私問題。通過全同態加密，計算資源的需求方可以將涉及隱私的數據以密文狀態發送給云服務器或計算公司等非可信的第三方并完成計算，不需要擔心任何的信息安全問題。現有的解決方案效率損失較大，尚不能大規模商業應用。目前，已經有一些算法相對Gentry最初的算法有了一定程度的改進，如Smart等人提出的BGV算法放棄了Bootstrapping而采用換模技術與私鑰交換技術，一定意義上取得了突破，是目前效率最好的全同態加密算法。但是，從絕對性能來看，當前全同態加密算法的效率還是非常低的，同樣的運算所消耗的計算資源大約要比明文高6個數量級。因此，全同態加密仍是一種處于研究和實驗階段的技術，尚不足以商業應用。未來，全同態加密技術的落地一方面有賴于更高效率算法的出現，另一方面也將受惠于設備計算能力的提高，可能將從關鍵性數據開始逐步應用，最終擴展到更多的計算場景。同態加密自身也存在一定局限性。同態加密的所有中間結果都是加密的，因此服務器不能對中間值做出任何決策，也就是說需要計算所有的條件分支，因此只能將所有操作都包含到函數中，增加了函數復雜性，并會造成性能損失。M.VanDijk和A.Juels已經證明同態加密必須在同一個密鑰下進行，在多方合作中有共謀的可能，因此全同態加密通常適合協作計算，目前可以防止串謀攻擊的同態加密安全計算效率低于其他通用協議。2.2安全多方計算安全多方計算解決了如何在參與計算的各方不泄露自身輸入、且沒有可信第三方的情況下安全地計算約定的函數并得到可驗證結果的問題。例如，在百萬富翁問題中，兩名富翁可以各自加密自己的財產狀況X和Y作為輸入，通過特定的算法，雙方可以得到可信的X和Y的比較結果，但無法獲知對方的財產情況。姚期智提出的混淆電路是針對兩方計算的一種解決方案，Goldreich、Micali和Wigderson等人對其進行了研究和發展，目前已經成為密碼學領域的熱點問題之一。安全多方計算還有如下應用場景：將一個需要加密的密鑰K拆分為n個不同的部分，保管在不同參與方，各方都不知道其他人保管的那部分。利用這n份中的任意至少t個部分就能夠完整地恢復密鑰K的內容，這樣的密鑰保管方式又稱為門限簽名。安全多方計算主要目的是解決互不信任的參與方在保護隱私的前提下協同計算的難題。現實世界中，會經常出現一些協作情景下，計算參與方希望運用他們的數據得到某些結果，但不愿意把自己的數據透露給其他人的情況。安全多方計算的設計理念滿足了現實經濟合作中參與方希望得到合作利益卻不希望被泄露自己數據的客觀需求，具有較大的潛在市場空間，其主要應用領域包括電子選舉、電子拍賣、資產托管等。

殷利梅：數據交易在“區塊鏈+隱私計算”等推動下將會實現破局:國家工業信息安全發展研究中心信息政策所數字經濟室主任殷利梅表示，展望“十四五”，數字經濟將保持快速、持續、健康發展，成為未來經濟發展“主形態”，中國作為全球數字經濟第二大國，有望實現增速領跑。分領域看，算力基礎設施對經濟社會發展的支撐作用不斷擴大，數據交易在“區塊鏈+隱私計算”等新技術推動下將會實現破局，政府、企業、個人的數字理解、使用和技能水平都將極大提升，數字消費不斷提質擴容增強經濟發展的新動能，線上線下融合發展推動工作生活方式加速變革，數字貿易在競爭合作中步入高速發展的新階段。（人民日報海外版）[2021/2/6 19:01:35]

大部分安全多方計算方案對參與方的誠實性有所要求。在安全多方計算研究中，通常將參與者分為誠實者、半誠實者和攻擊者。誠實者提供正確數據，且不嘗試竊取他人輸入數據；半誠實者提供正確數據，在沒有不利后果的前提下愿意獲取他人輸入；攻擊者提供虛假數據破壞合作，且試圖竊取他人輸入。大部分相對高效的安全多方計算協議都只有應對大部分參與方都是誠實者或半誠實者的情況具有安全性，僅SPDZ線的研究成果能夠在大部分參與者都是攻擊者的情況下保證安全性和正確性。安全多方計算協議至少應該能夠在在所有參與者都是半誠實者的情況下運行，才能夠適應市場經濟的現實情況，保護參與者隱私。惡意的攻擊者不期望得到正確的結果，所以更多地要依靠激勵機制的設計來加以限制。除了結果的正確性和輸入的隱私性外，安全多方計算協議還要保證參與方之間的公平性。即計算結果只能所有人都得到或都得不到，以應對攻擊者可能的提前終止行為。安全多方計算的局限性有：效率較低；無法保證參與方輸入的真實性。無法阻止參與方惡意構造輸入，并從結果推測其他人的輸入。2.3零知識證明零知識證明，是證明者在不透露隱私數據的情況下，向任意第三方證明自己確實擁有特定數據的算法，分為交互式和非交互式兩種。零知識證明算法具有以下特性：完備性。如果證明方和驗證方都是誠實的，證明方確實擁有特定的數據，那么驗證一定通過。穩定性。如果證明方沒有擁有特定的數據，那么誠實的證明方幾乎不可能通過驗證。零知識性。在驗證過程結束后，驗證方不會得到任何有關關于數據的信息。在非對稱加密中，已經出現類似零知識證明的概念。如果某人需要證明他確實是某一特定私鑰的持有者，他可以讓驗證方隨機生成一個數字，自己用私鑰對數字進行簽名。如果該簽名可以被對應的公鑰驗證，那么證明通過。在整個過程中，持有者的私鑰不會被泄露。但由于公鑰和私鑰是一一對應的，只要完成了這個驗證過程，第三方很容易將私鑰持有者和公鑰對應起來。zk-SNARK是經典的非交互式零知識證明算法，被應用在匿名數字通證ZCash的匿名交易環節。zk-SNARK的核心技術與同態加密、多方安全計算有一定的聯系。ZCash匿名交易的發送方可以在不泄露交易的金額、地址等細節的前提下向驗證者證明交易的合法性。零知識證明是密碼學的高級應用，但并不是所有問題都可以通過零知識證明算法進行驗證。Goldreich,Micali和Wigderson證明了，多項式時間內可以驗證解正確性的問題一定存在零知識證明算法。3應用前景

現場 | 王允臻：隱私計算是我到目前為止所了解到的唯一的真正保障數據主權的:在今日隱私計算發展研討會的圓桌討論中，萬向控股CIO王允臻表示，分布式的邏輯，分布式邏輯就要求打通數據孤島。前面有其他的演講者也講的很好，那么數據達不到有行政上的問題，組織關系上的問題，還有更重要的是一個隱私安全保護。就說我現在要讓我的數據被利用，唯一的方法就是把數據開放。你要拿走我的數據，這樣的話你是沒有前途的，怎么來解決這個問題？我所謂的就是美國人說得data sovereignty，就是數據主權，假如說你沒有辦法保證你的數據，你是數據的唯一擁有者的話，談得上什么主權，國家的土地主權不是說這塊土地技術，國家又必須是一個排他性的唯一的，那么這樣一來的話就可以和隱私計算就聯系在一起，因為隱私計算是我到目前為止所了解到的唯一的真正保障數據主權的。[2019/9/17]

目前，隱私計算技術效率較低，實際的商業應用較少。隨著技術的不斷發展，云計算、區塊鏈乃至分布式計算網絡逐漸走入了人們的視野，人們對數據安全的重視為隱私計算的應用提供了迫切需求。隱私計算在安全云計算、分布式計算網絡和加密區塊鏈三個方向將有較廣的應用前景。3.1安全云計算云計算極大的提高了算力資源的利用效率，市場規模增長迅速，具有廣闊的發展前景。隨著信息技術的發展，網絡通信速度和服務器計算能力逐步提高，云計算產業發展迅速。一方面，云計算服務通過出租計算資源的形式，避免了個人和企業重復購買硬件設備的資源浪費，人們可以不再擁有很多使用頻率較低的硬件，轉而租用隨時待機的線上計算資源，服務提供商的硬件也可以保持極高的使用率，提高了資源配置的效率；另一方面，云計算服務提供商擁有大量的計算硬件，可以為這些設備提供適宜的運行環境和及時的維護，數據中心的建設將極大降低單位計算資源的成本，發揮規模效應。云計算的這些優勢使其近年來高速發展，目前已經形成約2602億美元的市場規模。云計算技術受到了各行業的普遍認同，具有非常豐富的應用場景和廣闊的發展空間，將會極大地改變計算資源的利用方式。

但是，使用云計算服務不可避免地犧牲隱私性。目前在使用云計算服務的過程中，用戶數據以明文的形式存儲在云服務提供商處。一方面，數據會不可避免地被云計算提供商獲取，雖然有相關法規保護，但普通用戶在與寡頭企業的博弈中始終處于不利地位；另一方面，雖然有安全措施，但是云端服務器上的數據仍然有可能被內鬼和黑客獲取。云計算雖然提高了計算資源的使用效率，但數據安全性無法得到保障。隱私計算可以讓數據在云計算過程中保持加密狀態，避免被服務提供商和其他第三方獲取，極大地提高了云計算過程中的數據安全。傳統密碼學無法在數據計算環節保證安全性，而隱私計算技術填補了這一空白，使得包括云計算在內的各種數據合作變得更加安全和隱私。機密數據可以通過全同態加密算法交由云計算服務商計算，而無需直接傳輸明文數據。通過安全多方計算，數據擁有者之間可以放心地進行合作計算，而無需擔心自己的數據會被合作者或第三方獲取。隱私計算將極大的擴大云計算的應用場景。3.2分布式計算網絡分布式計算網絡是云計算的高級形態，利用個體廣泛的計算資源，形成分布式的運算網絡。隨著個人計算設備性能的提高和互聯網節點接入數的增加，網絡計算能力的冗余越來越多。人們閑置的手機、計算機等設備能夠通過分布式計算網絡重新被有效利用。隨著通信技術的不斷發展，網絡的帶寬逐漸提高讓分布式計算網絡的建立從理論逐漸走向現實。分布式計算網絡能防止云計算寡頭壟斷計算資源。云計算的規模效應非常明顯，發展到后期必然形成寡頭壟斷格局，人們的使用習慣形成后，這些企業將提高價格，獲取高額壟斷利潤，公眾難以充分享受到效率提升所帶來的利益。分布式計算網絡不同于云計算，是對存量計算資源的利用，個體不放棄對計算資源的所有權，只是在網絡上進行互助與資源共享。企業可能持有較高的計算能力，但與分布式計算網絡所整合的人類全體計算設備的力量相比，很難形成壟斷性的優勢。任何企圖獲取壟斷利潤的行為，都是與全世界的算力作對，不具備經濟合理性。隱私計算為分布式計算網絡提供了信息安全的保證。分布式計算網絡很可能會以一種點對點的形式存在，節點間直接進行計算資源的分配，其中的安全問題尤為重要。這樣的形式下，數據將直接從計算資源的需求節點發送到不受信任的提供節點，數據安全相比云計算會面臨更大的挑戰。如果可以使用隱私計算，就可以從根本上解決分布式計算網絡的信息安全問題，用戶一方面可以安全地使用他人的計算資源，另一方面也可以在不公開數據的前提下進行計算合作，將極大的豐富分布式計算網絡的應用場景。3.3加密鏈上數據和隱藏交易信息區塊鏈可以提供可信的分布式記賬，極大的降低了信任成本，但面臨鏈上數據可驗證和隱私性的兩難。區塊鏈通過共識機制實現了不可篡改的分布式記賬，為價值互聯網提供了一種可靠的全新信任形式，將極大的促進線上資產的發展，并以信任為切入點改變互聯網乃至經濟社會的生態。但是，鏈上的信息對所有人來說都是公開可查的，隱私性有很大犧牲。對數據隱私的擔憂限制了智能合約的應用范圍。運行在區塊鏈上的智能合約將區塊鏈帶入了2.0時代，實現了支付結算以外的諸多功能。但是，智能合約鏈上運行帶來的可信性同樣要以犧牲隱私性為代價，所有的處理記錄都可以在區塊鏈上被查找，其應用范圍也會受數據敏感性的限制。隱私計算使隱私數據上鏈成為可能，并且同樣通過區塊鏈技術確保其可驗證性。通過使用隱私計算技術，數據可以在保持加密狀態的進行確認、處理和計算，信息上鏈的可信性和隱私性之間的兩難將會得到解決。人們通過全同態加密、安全多方計算和零知識證明等技術，在不泄露原始敏感數據的前提下使用區塊鏈進行信息驗證。隱私計算的效率相比常規計算更低。隱私計算與區塊鏈的結合，將解決數據可驗證性與隱私性的問題，極大地拓展區塊鏈的使用場景。但走向商業落地仍需要有硬件計算能力或技術突破。

附注：因一些原因，本文中的一些名詞標注并不是十分精準，主要如：通證、數字通證、數字currency、貨幣、token、Crowdsale等，讀者如有疑問，可來電來函共同探討。本文為通證通研究院原創。未經授權，禁止擅自轉載。轉載請后臺回復關鍵詞

Tags：區塊鏈NARGENASH工業區塊鏈ZINARIGENSMETASH

Luna