互聯網時代,數據隱私已經變成一個既敏感又常見的問題。隨著數據泄露事件頻發,大家對隱私保護的需求也在逐步提升。區塊鏈技術由于具有匿名、不可篡改、可追溯等屬性,在隱私計算方向具有天然的優勢,一旦出現落地級應用,將催生萬億級的市場需求,是非常適合早期優選布局的賽道。
隱私保護作為一種"剛需的存在",可以保護用戶和擴大加密市場,是Web3.0的重要方向之一。現在越來越多的頭部VC和開發者入場隱私賽道,角逐日漸激烈,對于隱私保護,也出現了不同的解決方案。
基于當下情況,密碼極客對目前的隱私解決方案進行了整理,目前的隱私解決方案主要分為四大類:
零知識證明(ZKP)
可信執行環境(TEE)
安全多方計算(MPC)
同態加密(HE)
下面密碼極客就這四類隱私解決方案進行詳細闡述。
零知識證明提供了一種方法,在不透露一組信息或數據的具體細節內容的情況下,以加密方式證明對這組特定信息或數據的了解。舉個簡單的例子來理解:
阿里巴巴被強盜抓住,為了保命,他需要向強盜證明自己擁有打開石門的密碼,同時又不能把密碼告訴強盜。他想出一個解決辦法,先讓強盜離開自己一箭之地,距離足夠遠讓強盜無法聽到口令,足夠近讓阿里巴巴無法在強盜的弓箭下逃生。阿里巴巴就在這個距離下向強盜展示了石門的打開和關閉。
隱私網絡Iron Fish空投kyc已開放,隨后按照順序依次向三個階段積分用戶開放:3月6日消息,據官方推特,隱私網絡Iron Fish宣布空投kyc已開放,目前僅限參與Pull Request的用戶。此外,在接下來的幾天里,將按順序向第1階段、第2階段和第3階段的積分用戶開放。[2023/3/6 12:45:11]
這個整個過程就是零知識證明,證明者能夠在不向驗證者提供任何有用信息(石門的口令)的情況下,使驗證者相信某個論斷(阿里巴巴知道打開石門的方法)是正確的。
零知識證明目前有多種實現方式,如zk-SNARKS、zk-STARKS、PLONK以及Bulletproofs。每種方式在證明大小、證明者時間以及驗證時間上都有自己的優缺點。
基本特征
完整性:如果陳述為真,則誠實的驗證者可以相信誠實的證明者確實擁有正確的信息。
可靠性:如果陳述為假,則任何不誠實的證明者都無法說服誠實的驗證者相信他擁有正確的信息。
零知識性:如果陳述為真,則驗證者除了從證明者那里得知陳述為真以外,什么都不知道。
熱門項目
Zcash使用比特幣的底層軟件和協議運行。它已經去采用零知識證明,可以創建隱私交易,隱藏用戶交易金額以及接收者和接收者的地址。可以應用零知識證明來證明鏈下數據,并同時在鏈上隱藏數據內容。
隱私基礎設施Nym發布基于Cosmos的區塊鏈主網Nyx:據官方推特,隱私基礎設施 Nym 已發布基于 Cosmos 的區塊鏈主網Nyx,并已在Nyx 上為 其 Nym 主網生成了第一個區塊。開發團隊表示,這離Nym向其功能齊全的主網 mixnet 的推出更近了一步。目前,Nym團隊正在引入包括Dokia Capital、16z支持的Figment、Chorus One等在內的驗證者。
此外,瑞士電信巨頭 Swisscom正式加入Nym網絡,其金融科技創新經理Dominic Vincenz指出:“Nym已經建立了一個強大的全球隱私網絡,該網絡既去中心化又激勵,我們很高興與Nym合作,支持隱私增強基礎設施的發展,并培養新的以數據所有權為中心的商業模式。”[2022/1/19 8:59:55]
IdentDeFi是以太坊Denver大會上的初創項目,它利用 ZK 證明來保持用戶匿名性和識別合規用戶,專注于開放、安全、保護隱私的合規性檢查。它可以識別 KYC 用戶。運行流程上,用戶進行一次 KYC,并在驗證后鑄造一個不可轉讓的 NFT,然后協議可以檢查用戶是否持有該 KYC NFT,從而幫助協議篩選符合資格的用戶來使用其平臺。
Aleo是第一個提供完全私有應用程序的平臺。Aleo利用去中心化系統和零知識證明為用戶提供具有絕對隱私的無限計算。通過構建一個默認為私有、開源且為Web構建的區塊鏈,Aleo具有獨特的優勢來解決區塊鏈采用的缺點。使用Aleo,用戶可以訪問個性化的Web服務世界,而無需放棄對其私人數據的控制。
隱私瀏覽器Opera加密錢包添加cUSD、cEUR以及CELO支持:隱私瀏覽器Opera宣布其加密錢包添加對Celo Dollar(cUSD)、Celo Euro(cEUR)兩種穩定幣以及CELO代幣的支持。Opera加密貨幣主管Cuautemoc Weber在一封電子郵件中表示:“穩定幣不受市場波動的影響。Opera的目標是讓區塊鏈技術盡可能廣泛且易于訪問。通過我們的內置加密錢包和跨Opera瀏覽器的Web3支持,我們多年來一直遵循這一策略。”(CoinDesk)[2021/6/25 0:06:30]
TEE 是一種具有運算和儲存功能,能提供安全性和完整性保護的獨立處理環境。它是CPU上的一塊區域,這塊區域的作用是給數據和代碼的執行提供一個更安全的空間,并保證它們的機密性和完整性。
比如說,目前移動端的系統運行環境叫做REE(Rich Execution Environment),在其中運行的系統叫做Rich OS(Operating System),它可以給上層應用提供設備的所有功能,比如攝像頭,觸摸屏等,但Rich OS存在很多的安全隱患,它可以獲得應用所有的數據,但很難驗證是否被篡改,還會受到各種各樣的攻擊,這時候就需要TEE幫忙了。
TEE提供了一個與REE隔離的環境保存用戶的敏感信息,TEE可以直接獲取REE的信息,而REE不能獲取TEE的信息。當用戶付款時,通過TEE提供的接口來進行驗證,以保證支付信息不會被篡改,密碼不會被劫持,指紋信息不會被盜用。
Brave瀏覽器推出Beta版隱私保護搜索引擎:金色財經報道,面向隱私的網絡瀏覽器Brave推出了新功能Brave Search的測試版,該功能不會跟蹤用戶的搜索或點擊內容。BraveSearch基于Tailcat,即Brave于3月收購的開放搜索引擎。[2021/6/23 23:58:18]
軟硬件協同的安全機制:隔離是其本質屬性,隔離可以是通過軟件,也可以是硬件實現,更多的軟件、硬件、IP、總線一體的安全機制
算力共享:能使用CPU的同等算力、硬件資源
開放性:有對應的REE側,才有TEE的必要性,只有在開放性中才需要可信執行環境的保護
ChainLink 預言機項目是基于合約可信數據源Town Crier而建立的。在可信執行環境與現實世界中的可信數據源間建立可信的通信通道,由可靠的數據源將數據發送給可信執行環境下的預言機系統,然后再將數據發送給區塊鏈。通過遠程驗證(Remote Attestation)后,可信執行環境中的程序一定會嚴格按照設定的邏輯執行,所以,通過這種預言機獲取的數據是可信的。
Ekiden是一個由Oasis Lab開發的智能合約平臺,主要利用可信執行環境以一種隱私保護的形式來執行智能合約。在Ekiden的網絡里,節點分為計算節點和合約節點。合約節點用于區塊鏈本身的管理維護,計算節點用于執行用戶的交易。用戶的交易直接發給合約的執行節點,然后在TEE里運行,執行的結果將會以密文的形式保存在區塊鏈上。Ekiden模型的最大貢獻之一是它與合約計算的共識脫離,該合約計算允許更高級別的并發性,同時保持區塊鏈的完整性。
Zcoin將合作開發下一代隱私協議:Zcoin(XZC)官方發表推特表示,正在與Aramjivanyan和Martun合作開發下一代隱私協議。數學計算部分已經解決,白皮書正在書寫中。XZC全球均價18.89美元,跌幅0.5%。[2018/6/18]
從架構的角度來看,Ekiden將底層區塊鏈系統與基于TEE的執行相結合。TEE-區塊鏈組合可實現智能合約的安全和可擴展執行,同時還保留了強大的機密性,完整性和可用性保證。下圖提供了Ekiden架構的概述:
TeeChan是一個支付通道。支付通道是改善比特幣支付可擴展性的解決方案之一,能夠解決區塊鏈本身的數據存儲,共識等待,手續費高以及拓展性等問題。在TeeChan系統中,沒有支付通道的用戶可以直接在線下創建支付通道,由于TEE環境本身的隔離性,即使用戶本身也無法隨意的動用TEE內賬戶里的資產,因此只要有支付通道在對方TEE里創建,那么你就不需要擔心對方在沒有你允許的情況下把那筆錢用在別的地方。
MPC 由姚期智在1982 年提出,指參與者在不泄露各自隱私數據情況下,利用隱私數據參與保密計算,共同完成某項計算任務。
該技術能夠滿足人們利用隱私數據進行保密計算的需求,有效解決數據的“保密性”和“共享性”之間的矛盾。安全多方計算包括多個技術分支,目前,在MPC 領域,主要用到的是技術是秘密共享、不經意傳輸、混淆電路、同態加密、零知識證明等關鍵技術,你可以認為安全多方計算是一堆協議集。
輸入隱私性:安全多方計算研究的是各參與方在協作計算時如何對各方隱私數據進行保護,重點關注各參與方之間的隱私安全性問題,即在安全多方計算過程中必須保證各方私密輸入獨立,計算時不泄露任何本地數據。
計算正確性:安全多方計算參與各方就某一約定計算任務,通過約定MPC協議進行協同計算,計算結束后,各方得到正確的數據反饋。
去中心化:傳統的分布式計算由中心節點協調各用戶的計算進程,收集各用戶的輸入信息,而安全多方計算中,各參與方地位平等,不存在任何有特權的參與方或第三方,提供一種去中心化的計算模式。
MIT Engima 在醫療領域的設計結合了安全多方計算和區塊鏈。他們計劃將區塊鏈用于醫療數據的分享和隱私計算。他們將系統分成3個層次,最底層是區塊鏈網絡; 中層是Engima提供的加密設施層,提供秘密分享和安全計算的功能; 上層是數據倉庫層,有提供傳統醫療數據的數據倉庫,也有智能合約等。
HE關注數據處理安全,它提供了一種對加密數據進行處理的功能。也就是說,其他人可以對加密數據進行處理,但是處理過程不會泄露任何原始內容。同時,擁有密鑰的用戶對處理過的數據進行解密后,得到的正好是處理后的結果。
??靈活性:信息的分享可以隨時發起或者取消,例如向委員會成員提供或撤銷信息訪問權限。
??安全性:在個人信息的保護方面會更加安全,例如它可以幫助個人提交基因組數據或其他健康信息以篩查自己是否患有癌癥,但無需透露任何實際身份信息。
??全面性:同態加密支持下一代網絡安全和功能。例如,我們可以使用簡潔、非交互且能夠快速驗證的加密證明,即零知識證明以確保代碼中不包含任何錯誤。
在區塊鏈中的應用
區塊鏈應用的基本邏輯是將需要存證的信息上鏈,并通過眾多區塊鏈節點的驗證和存儲,確保上鏈數據的有效性和不可篡改性。例如,在比特幣中,用戶將轉賬信息進行廣播,區塊鏈節點在進行驗證后將其打包上鏈,保證交易的合法性;在以太坊中,需要依賴區塊鏈節點對智能合約的正確執行,以實現鏈上信息的統一性和正確性。但是,無論是公有鏈還是聯盟鏈,直接基于明文信息進行區塊鏈發布通常會在泄露一定的敏感數據。
為了保護鏈上信息的隱私性,同時又能實現區塊鏈節點對相關信息的可計算性,可對數據進行同態加密,并將計算過程轉化為同態運算過程,節點即可在無需獲知明文數據的情況下實現密文計算。
總的來說,隱私性問題是目前密碼學研究中最令人興奮的領域之一。但由于隱私賽道的技術門檻較高,讓其在現實世界中得以使用,在理論技術的效率方面還有大量工作需要落地。雖然在過去幾年,加密行業中迎來多次關于Web3隱私賽道即將爆發的討論,但目前來看隱私賽道仍然比較小眾,用戶量與使用量都不是很高,甚至很多人認為隱私是偽命題。
從客觀角度來看,資本過去幾年非常積極布局隱私賽道能看出作為底層基礎設施,隱私解決方案是一個未來必須要完成的底層架構,它在確保財務數據與商業機密不被泄露上承擔了關鍵性作用。因此隱私必然成為加密生態迎來下一波爆發的重要基礎設施。
從開發者與資本的大量流入來看,隱私賽道仍然處于早期,有充足的時間與資金。目前,大部分隱私基礎設施及應用仍在開發與建設當中。未來,它們能否形成對通用智能合約平臺的強力競爭,并在廣泛的數據使用場景中贏得更多用戶,仍然值得關注與觀察。
本篇轉自密碼極客的Mirror:
https://mirror.xyz/0x65F9C4a20Dd2E32f8673FD6dc3106Db1443AE4af/xDLSCii2Hdz7aR_J8B5HLiDOl6eqfys0wAmJpJ-cqkQ,經授權發布。
Web3.0的投資市場從未像現在這般競爭激烈。Cryptopolitan數據顯示,2022年第一季度,Web3.0初創公司已獲得超1.73億美元的投資.
1900/1/1 0:00:00“區塊鏈技術基于密碼學原理和共識機制,是一種去中心化的分布式賬本數據庫,具有鮮明的保密性。雄安新區自2017年上線區塊鏈資金管理平臺開始,大力建設全球第一座區塊鏈城市.
1900/1/1 0:00:00隨著Covid-19大流行加速了經濟的數字化轉型,服務提供商爭相推出相關技術解決方案,以提供新的客戶體驗并開辟創新的在線銷售和營銷渠道.
1900/1/1 0:00:00“猿宇宙”來勢洶洶,中國的投資人也坐不住了。5月2日消息,繼朱嘯虎、蔡文勝之后,LinkVC 創始人林嘉鵬和同舟資本創始合伙人張了了分別購入一枚“無聊猿”NFT,加入了“無聊猿游艇俱樂部”.
1900/1/1 0:00:00原標題:Web3.0有哪些投資機會與就業機會?每一個加密世界的原住民,應該都對Web3.0 這一概念并不陌生.
1900/1/1 0:00:00隨著收入增長放緩和通脹擔憂加劇,Facebook母公司Meta計劃放緩員工招聘步伐。周三,Meta發言人在一份聲明中表示:據CNBC援引知情人士透露,在最近幾周推遲了對初級工程師的招聘后,Met.
1900/1/1 0:00:00