隱私比較是指在不暴露雙方具體數值的前提下,獲取雙方數值的大小關系。最早起源于姚期智的百萬富翁問題:有兩個百萬富翁想要比較下誰更富有,但是又不想透露自己有多少錢,如何在沒有可信第三方的情況下進行比較?這個問題是由中國第一個也是目前為止唯一一個圖靈獎獲得者姚期智在1980年代提出的,他是中國計算機學術和教育的第一人,為現代密碼學打開了一道新的大門。
在之前的文章《優雅的求職——隱私比較算法實例》中已經通過求職案例介紹了隱私比較的應用場景以及如何實現,本文則主要介紹一種在當前效率比較高的隱私比較協議。
該協議是CrypTFlow2:Practical2-PartySecureInference中提出的一個子協議,并基于此協議實現DRelu激活函數應用于神經網絡中。
--相關技術--
該協議主要使用了布爾秘密分享和不經意傳輸兩種技術進行構建:
▲不經意傳輸
不經意傳輸(OT,ObliviousTransfer)是指數據發送方有n個數據,數據接收方接收其中的一個數據,且數據接收方不能獲取其他的數據,數據發送方也不知道接收方選擇接收的數據具體是哪一個。在之前的文章《基于安全多方計算(MPC)的隱私計算技術(一)》中已介紹過一種實現方案,故本文不再贅述。
V神以RAI系統為例探討使用預言機實現共同質押的三個解決方案:1月30日消息,以太坊創始人V神(Vitalik Buterin)近日發布題為《預言機是否可實現共同質押,類RAI系統如何安全地支持質押的ETH》的提案。V神稱其強烈傾向于嘗試找到使用質押ETH作為抵押品的方法,以避免圍繞單一主導流動性質押衍生品形成網絡效應,RAI可以成為解決方案的一部分。為此,V神提出了三個方案:1.預言機作為質押者;2.預言機作為2-of-2質押者;3.分級安全的半可信預言。這三個方案均在實施難易程度、防止壞預言機、對不良CDP持有者的保護以及預言機運行意愿等方面各有利弊。不過,V神表示,方案1似乎在短期內更易于實施,并且將成為“同時賺取其他質押收益”空間的有趣補充。但是方案2和方案3似乎更無需信任,也更持久,對預言機的信任度較低,并且更好地維護了質押去中心化,因此從長遠來看,V神更傾向于選擇后兩個方案。[2023/1/30 11:36:48]
▲布爾秘密分享
在安全多方計算中會使用秘密分享將數據進行拆分后分享出去,每一方拿到每個數據的相應碎片,對于原始數據的計算邏輯都會轉為對碎片的計算,在整個計算邏輯完成后,再將碎片的計算結果進行匯聚還原以獲取原始數據的計算結果。
Meta推出虛擬語音處理基礎設施XLS-R體驗版,解決元宇宙多語言問題:11月25日消息,Meta已推出AI語言處理模型XLS-R網頁體驗版,最高能辨識128種語言,旨在解決元宇宙中聽不懂外語問題。不過,該體驗版目前存在一定缺陷,僅支持將22種語言翻譯為16種語言,但優勢在于能將語音拆成拆成25毫秒的基本單元來分析并利用上下文轉換語音內容提升辨識準確度。Meta表示,雖然元宇宙離我們仍然有一段距離,但XLS-R等技術可以作為Meta虛擬世界的基礎建設之一。[2021/11/25 7:10:21]
布爾秘密分享是指將一個布爾值b拆分成兩個碎片b0、b1,將兩個碎片匯聚到一起即可還原出原始數據b。
碎片生成:隨機生成一個布爾值b0,并和b執行異或計算出b1=b0⊕b
碎片還原:對兩個碎片執行異或操作
b=b0⊕b1
異或運算:布爾秘密分享在異或操作上是滿足同態性質的,在本地通過對碎片進行異或操作再還原就等價于對原始數據的異或操作
a=a0⊕a1,b=b0⊕b1
a⊕b=(a0⊕b0)⊕(a1⊕b1)
與運算:布爾秘密分享對于與操作不滿足同態性質,使用不經意傳輸技術以實現安全的與操作:
動態 | 報告:加密結算解決方案層出不窮 但場外交易商并不買賬:The Block發布報告稱,從表面上看,比特幣交易領域與股票交易領域并沒有太大不同。在這兩者中,都有交易員、交易所和托管人,為資產的存儲和交易提供便利。在股票市場上,結算和清算是很常見的,像DTCC這樣的公司一直在充當著這樣的角色(為華爾街后臺提供結算和清算服務)。而Gemini、Seed CX和BitGo等加密公司都希望為場外交易商提供結算解決方案。不過,加密貨幣市場上的場外交易員更喜歡雙邊交易,即用自己的系統執行、清算和結算交易。[2019/9/10]
Alice持有碎片a0和b0,Bob持有碎片a1和b1,通過與運算使得Alice獲取c0,Bob獲取c1,c0⊕c1=(a0⊕a1)∧(b0⊕b1),并保證雙方碎片的安全;
*Alice作為不經意傳輸的發送方,隨機生成一個布爾值r作為c0,并按下圖生成不經意傳輸的輸入:
*Bob作為不經意傳輸的接收方將自己的碎片a1,b1拼接成a1||b1作為不經意傳輸的選擇項獲取數據r⊕((a0⊕a1)∧(b0⊕b1))作為c1;
可驗證c0⊕c1=r⊕r⊕((a0⊕a1)∧(b0⊕b1))=(a0⊕a1)∧(b0⊕b1);
動態 | Coinone將在跨行服務中采用xCurrent解決方案:據ambcrypto報道,加密貨幣交易所Coinone 6月17日宣布,將在其跨行服務中將采用Ripple的xCurrent解決方案。[2019/6/18]
本質是將與運算的所有可能性羅列出來,加入隨機項后由另一方根據自己的數據選擇混淆后的計算結果。
--實現思路--
▲明文比較
首先不考慮比較運算的隱私性,平常情況下兩個數是如何比較大小的:
*將兩個數對齊為相同長度的數字數組,長度不夠的則在前面補0
a=123,b=5879,a=>,b=>
*對兩個數組里面的數字進行順序比較,如果對應位的數字相等,則繼續比較下一位,直到有一位不相等,最早不相等那位的比較結果即為兩個數據的比較結果,若所有位的數字都相等,則兩個數據相等。整個過程可歸納為以下公式:
X,Y都是長度為n的數據,1{X<Y},1{X=Y}是求值表達式,滿足大括號內條件時為1否則為0
X=x0||x1||x2||...||x(n-1),Y=y0||y1||y2||...||y(n-1),xi,yi表示拆分后的第i位數據
聲音 | 螞蟻金服白建民:區塊鏈專利布局的機會在于解決技術瓶頸:新華社8月30日消息,在由IPR Daily、中國信息通信研究院主辦的2018全球區塊鏈知識產權峰會上,螞蟻金服集團副總裁兼首席知識產權法務官白建民表示,針對區塊鏈技術瓶頸的解決是區塊鏈專利布局的機會,而挑戰在于立法層面的限制。白建民認為,區塊鏈技術在分布式賬本中的隱私保護、多鏈平臺間的互通以及在百級到千級節點廣域網部署中的共識算法問題中還有諸多難點需要攻克。而更大的挑戰則在技術之外,即讓多方達成共識。他說:“不能實現商業成功的區塊鏈專利是沒有價值的。”[2018/8/30]
Xi=xi||...||x(n-1),Yi=yi||...||y(n-1),用于表示去除前i-1位后的數據
1{X<Y}=1{x0<x0}⊕(1{x0=y0}∧1{X1<Y1})
1{X1<Y1}=1{x1<x1}⊕(1{x1=y1}∧1{X2<Y2})
...
1{X(n-1)<Y(n-1。=1{x(n-1)<y(n-1。
▲不安全的隱私比較
如果要將上述比較方案轉為隱私比較,最容易想到的方案是將兩個最小比較單位的數的比較隱私化,在之前的文章《優雅的求職——隱私比較算法實例》中已經介紹過:對于兩個最小比較單位的比較可通過不經意傳輸協議來完成。這樣確實是保證了單個最小比較單位的安全性,但是對于某些情況,會暴露出數據的一些情況:
a=1230b=1231,對于這兩個數字的比較,如果b作為ot的接受方也就是最小比較單元數據比較結果的獲取方,按照上述方案進行比較,會有兩點額外信息被泄露:
1)在前幾位相同的情況下:b會知道a的前三位是123;
2)兩個最小單元的數據是最小單元范圍的兩端數據:b會知道a的最后一位是0;
而根據以上兩個信息b甚至可以直接反推出a的數據,在這種情況隱私比較也就不隱私了。
▲消除不安全
本論文中的隱私比較協議,整個比較思路和上面不安全的隱私比較是一致的,但是該協議引入了秘密分享技術,在通過不經意傳輸協議獲取比較結果時發送方對每個數據都混淆上一個隨機項,這樣雙方都不會獲取到最小比較單元數據的比較結果,而是比較結果的碎片,并使用碎片按照明文比較的流程遞歸的進行比較,所有最小比較單元都比較完成后,再將比較結果的碎片進行還原以獲取整個數據的比較結果。
由于最小單元的比較結果都是碎片,到比較結束才會還原遞歸計算的結果,就避免了獲取最小比較單元比較結果導致的信息泄露。
--協議流程--
Alice擁有數據x,Bob擁有數據y,數據的二進制長度為l,最小比較單元的二進制長度為m,劃分的最小比較單元個數為q=l/m,最小比較單元的十進制最大值為M=2^m-1
1)雙方分別劃分數據:x=x0||...||x(q-1),y=y0||...||y(q-1)
2)對于所有的最小比較單元xi(0<=i<q),通過不經意傳輸獲取每個最小比較單元比較結果的碎片
*Alice作為不經意傳輸的發送方準備數據:隨機生成布爾值<lt_i>_0,<eq_i>_0,分別作為xi是否小于和等于yi的布爾分享碎片,對于0<=j<=M,分別設置兩個不經意傳輸實例的輸入為:
sij=<lt_i>_0⊕1{xi<j}
tij=<eq_i>_0⊕1{xi=j}
*Bob將yi作為輸入分別執行兩個不經意傳輸實例,獲取兩個比較結果的碎片:
<lt-i>1和<eq-i>1
例如當m取2時,Alice的第一個最小比較單元x0=2,Bob的第一個最小比較單元y0=1,Alice隨機生成<lt_0>_0,<eq_0>_0,并按下表生成兩個不經意傳輸的輸入:
Bob使用y0作為兩個不經意傳輸的選擇項,獲取:
<lt_0>_1=0⊕<lt_0>_0,<eq_0>_1=0⊕<eq_0>_0
3)所有最小比較單元比較完成后,雙方都獲取了對應的最小比較單元間是否小于和是否等于的布爾分享碎片,即可按照明文比較流程,使用碎片遞推計算出最終比較結果的碎片。
對于碎片的異或操作,只需要進行本地對碎片進行異或就行。對于碎片的與操作,則需要按照上面介紹的方案通過不經意傳輸計算出結果的碎片。
在遞推過程中主要有兩個地方需要執行與操作:
當前面所有比較單元相等,需要比較下一個時:
1{x0||x1=y0||y1}∧1{x2<y2}
計算前面所有比較單元是否都相等時:
1{x0||x1=y0||y1}=1{x0=y0}∧1{x1=y1}
--總結--
該協議整體思路和明文的比較流程一致,并使用不經意傳輸和秘密分享技術保證數據的隱私性,也是當前效率比較高的協議。
對于單個元素的比較,與運算的OT實例,無法通過OT擴展進行優化,因為需要進行遞歸的計算,前后有依賴關系。對于批量元素的比較則可在縱向對于相同位置與運算的OT實例通過OT擴展來優化效率。
作者簡介
劉敬
趣鏈科技數據網格實驗室BitXMesh團隊
參考文獻
原論文:RatheeD,RatheeM,KumarN,etal.CrypTFlow2:Practical2-partysecureinference//Proceedingsofthe2020ACMSIGSACConferenceonComputerandCommunicationsSecurity.2020:325-342.
Tags:ALILICICEALICEBALI TOKENDevious Licks GoldSynth iCEXalice幣怎么樣
這是ProtocolLabs創始人JuanBenet在EthCC2021上的演講概要,以下為具體內容: Filecoin網絡是面向生態的.
1900/1/1 0:00:00在寫這篇文章的時候,花了幾個小時把美國和我guo的各種數據和政策一一梳理了一遍,不可謂不深刻!看得越多,對未來的走向越不明朗,進入了一種懷疑,甚至模糊不清的狀態,就像最近的反彈行情一樣.
1900/1/1 0:00:00注:數字銀行AnchorageDigital向美國證券交易委員會提供了關于數字資產監管事宜的建議,并且出現在了美國SEC的官網上,本文對這封信進行了重要內容的節選.
1900/1/1 0:00:00眾所周知,Token是打造大規模強協作平臺不可或缺的經濟激勵方式。CHAIR是全球首個權益NFT去中心化交易平臺,在之前的文章中已經做了相關的介紹,今天我們來聊一聊CHAIR平臺的權益Token.
1900/1/1 0:00:00鏈集市·讓區塊鏈落地更簡單《區塊鏈行業觀察》專欄·第34篇作者丨RafiaRaji 圖片丨來源于網絡 區塊鏈最簡單的形式是一種去中心化的數據庫架構.
1900/1/1 0:00:00當行情上漲之后,市面上就全部都是好消息,這一點在加密市場尤為明顯。根據報道,此前亞馬遜內部一位匿名消息認識告訴倫敦商業報紙,計劃在2021年底錢接受比特幣支付,據悉,這不僅是為了某個未來的時間點.
1900/1/1 0:00:00