區塊鏈通過數十個為全球數百萬用戶提供服務的開放和無需許可的網絡,為互聯網提供了一種完全透明的方法。然而,透明度雖然提供了許多好處,但它必須與強大的隱私工具相平衡,這些工具可以加強每個鏈上用戶的機密性和數據安全性。隨著Web3越來越和隱私保護掛鉤,洞察推動鏈上隱私向前發展的趨勢和技術是至關重要的。
下文提供了兩種Web3隱私方法不同維度的比較:零知識證明(Zero-Knowledge Proofs)和可信執行環境(Trusted Execution Environments)。無論是開發人員還是用戶,了解這些技術之間的差異對于理解Web3的未來都十分重要。在比較這些技術之前,讓我們先定義一些術語。
零知識證明:零知識證明(ZKP)是一種加密機制,它允許任何人證明一個陳述的真實性,而不需要分享陳述中的信息,也不需要透露信息是如何獲得的。在區塊鏈中,有些人可以運行計算來驗證一個證明是否正確,如果是的話,就根據證明更新系統狀態,而不需要了解被驗證的數據是什么。
可信執行環境:可信執行環境 (TEE) 通過將處理器的一個區域與CPU的其余部分分開來使用基于硬件的安全計算模型。當用于啟用機密區塊鏈時,這些環境會接收加密數據并運行無法被任何人(甚至是硬件主機)直接監視或篡改的計算。
G7將制定央行數字貨幣指導原則,強調透明度和隱私保護:10月11日消息,周一公布的一份文件草案顯示,七國集團(G7)計劃呼吁將透明度和隱私保護作為針對央行數字貨幣(CBDC)制定的一套共同指導原則的一部分。
這13條規則預計將于周三在華盛頓舉行的一次財長會議上獲得批準。日本共同社(Kyodo News)獲得的文件指出,發行此類貨幣是“主權問題”,但同時表示“通過制定一套共同的原則,強調透明度、法治和健全的經濟治理等共同價值觀的根本重要性,這些原則可以指導七國集團及以后對零售CBDC的探索。”(The Japan Times)[2021/10/11 20:21:16]
現在來讓我們深入探討這兩種隱私保護技術。
1 應用可擴展性 Web3 Cloud Service
ZKP的一個關鍵特征是經常需要在某些應用程序中開發獨特的電路以滿足特定用例,來讓證明者在不泄露任何信息的情況下證明知識的準確性。通常通過構建一個基于特定秘密的特定計算的電路來執行此操作。然后驗證者會收到證明該電路已被正確執行的證據。
Neo創始人達鴻飛:區塊鏈在技術上可通過新型密碼學工具或分層來解決隱私保護難題:Neo創始人達鴻飛在微博上表示,在人工智能大會直播環節與大家就區塊鏈技術價值做了更深入的討論。曾有雜志把區塊鏈比作信任的機器,輸送“石油”,這里的“石油”其實是指我們從繁雜的數據中提煉出的有價值的數據。人們逐漸意識到數據作為一種新型生產要素,蘊含著許多有價值的信息,而人工智能、大數據等新興技術可以把這些有價值的“石油”從地底下提煉出來。但提煉后如何運輸給需要的人和企業?區塊鏈可以完成這個職責,區塊鏈可以確認數據歸屬權、使用權等,把數據這種新型要素組織起來,把經濟活動的行為用數字化的方式完成,最終實現減少碳排放的大目標。
區塊鏈在技術上可通過新型密碼學工具,如零知識證明,或分層來解決隱私保護難題。從治理的角度,探索區塊鏈的可管理性,與現存法律及制度進行結合,有助于區塊鏈成為主流化的應用。[2021/7/13 0:48:20]
在某些應用中,同一電路不能由多個證明者使用,而在其他應用中,使用通用ZKP方案,單個電路可以被多個證明者使用。但是,多次使用的電路需要仔細設計,以確保它們不能用于揭示有關正在證明的秘密的任何信息。
對于TEE,跨多個用例和應用的可擴展性取決于它是如何實現的,而這是由一系列因素決定的,包括硬件和軟件架構以及TEE用例的具體要求。在某些情況下,例如在移動設備上實現TEE時,可能僅限于簡單的應用程序。然而,對于Web3 dApp,區塊鏈驗證者使用的TEE通常能夠處理大型計算工作負載。這些環境支持執行任意機器代碼,因此可以被多個開發人員用于眾多應用。
歐美正在研究去中心化的隱私保護新冠病追蹤方案:上周末,谷歌和蘋果宣布了一項大規模合作。在未來的幾個月里,他們將對操作系統進行更新,以識別新冠病攜帶者。當用戶的藍牙連接到附近的其他設備時,系統會記錄下此人與誰接觸。此前消息,由來自8個國家的130多個研究機構組成的“基于隱私保護的泛歐鄰近監控(PEPP-PT)”,正在匯總各種不同的接觸追蹤提議,包括由25名學術研究人員支持的去中心化隱私保護鄰近追蹤(DP-3T)倡議。他們認為,PEPP-PT可以提供一個在進行必要的疾病監測時保護隱私的模式。比利時最高學府魯汶大學(Katholieke Universiteit Leuven)副教授和研究員、Nym首席科學家Claudia Diaz評論稱:“這個系統非常好,因為它不會泄露(隱私),很難從可見的信息中提取出任何有意義的信息,因為只有一些隨機的密鑰,沒有人能理解,除非你和本人互動。”注:Nym是一個開源、去中心化、無許可的協議。而美國的接觸者追蹤系統需要解決的問題包括如何保持用戶的藍牙ID真正匿名,如何確保將藍牙數據上傳到服務器,從而形成一種去中心化、開放的系統方法。(CoinDesk)[2020/4/14]
Oasis可以處理一些低級但是安全至關重要的細節,比如建立可信執行環境(TEE),進行遠程(重新)認證,組織計算委員會,提供可信的防篡改存儲,數據可用性等等。對于用戶和開發者來說,Oasis將TEE封裝成在Oasis網絡上運行的Runtime,有著精心設計的外部接口,讓基于TEE的機密計算變得容易使用和安全。
聲音 | 人民大學孟小峰:區塊鏈技術應用于隱私保護領域還處于探索階段:據人民網消息,日前,在中國計算機學會青年計算機科技論壇(CCF YOCSEF)上,中國人民大學教授孟小峰表示,區塊鏈技術應用于隱私保護領域還處于探索階段。孟小峰認為,去中心化、可溯源的區塊鏈技術是一個可以研究的隱私保護方向,其有利于在隱私泄露之后溯源、追責,但由于技術尚不成熟、效率不高等問題,區塊鏈技術應用于隱私保護領域還處于探索階段,而且區塊鏈的使用成本也較高,監管部門或者企業會否采用尚無法確定。[2019/4/3]
對于Solidity開發人員來說,這意味著在Oasis網絡上使用TEE進行構建時,不會有基于用戶數量或特定生態系統的獨特限制或要求。開發人員不僅可以通過只進行幾個修改即可將加密狀態添加到任何Solidity dApp中,還可以明確選擇他們希望加密的狀態,以及他們希望保持公開的地方。Web3開發人員可以利用TEE的顯著靈活性和可擴展性,為任何建立在任何區塊鏈網絡上的應用程序提供安全執行,而不必費力開發ZKP電路。
2 安全性和性能 Web3 Cloud Service
ZKP的計算成本可能很高,這取決于所使用的算法類型和所要證明問題的復雜度。ZKP通常需要大量的計算資源來生成證明,因為它們的安全性完全來自加密操作。然而,證明驗證本身是很快的,但是大多數ZKP算法的復雜度與其電路的大小成正比,且ZKP算法有很多種。某些類型的計算成本要高于其他類型。使用ZKP的開發人員通常認為其安全性和隱私保護優勢將超過計算成本。
動態 | BCH開發商推出隱私保護錢包Neutrino:據news.bitcoin消息,3月16日,BCH全節點Bchd開發商宣布推出隱私保護錢包Neutrino。它使用一種稱為客戶端過濾的新技術來混淆用戶交易,以更好地保護用戶的隱私。[2019/3/18]
TEE旨在為運行敏感代碼提供一個安全和隔離的環境,而無需承擔昂貴的加密操作成本。由于 TEE的安全性是基于具有一些軟件要素的硬件,而不是完全依賴密碼學,因此可以提高復雜工作負載的性能。然而,TEE也不能幸免于攻擊,尤其是試圖利用系統意外信息泄露的側信道攻擊。但另一方面,也存在各種緩和技術,包括一些常規通用的、眾所周知的技術(例如恒定時間密碼學)和個別用例所需要的特定方法。
TEE旨在平衡安全性和性能,因此大多數TEE設置都針對效率進行了優化,并且通常會使用專用硬件來最大限度地減少任何額外安全操作對性能的影響。實際上,基于TEE操作的大部分計算開銷主要來自偶爾需要進行額外的安全相關任務,例如加密和解密數據或驗證在TEE中運行的代碼的完整性。
例如,如果我們想為Web3 DEX提供隱私功能,僅僅使用ZKP是不夠的,而且將被證明是一項極其困難的任務。相比之下,TEE實現提供了更大的靈活性,可以更輕松高效地實現DEX所需的更復雜的私有數據聚合任務。
或者設想一個涉及發送者和接收者之間的穩定幣交易的場景。當今,所有交易數據對發送方、接收方、發行方和任何其他查看區塊鏈的人完全可見已成為一種常態規范。然而,使用TEE,開發人員可以建立復雜和精密的應用程序,自定義鏈上數據的可見性。無論是只有發送方和接收方看到數據,還是發行方也有可見權限,甚至只有發送方可以查看數據——所有這些選項都可以供dApp開發者在強大而靈活的TEE中構建。
3 智能合約靈活性 Web3 Cloud Service
TEE是為在大量計算工作負載下實現高性能而構建的,例如高級智能合約和數據密集型Web3應用程序產生的那些。易用性和開發人員靈活性是TEE環境適用于Web3構建復雜應用程序的主要原因。
總的來說,TEE很適合通用智能合約的執行,尤其是需要聚合大量私有數據的智能合約。開發者的體驗也更為簡單。例如,建立在Oasis Sapphire(由TEE提供支持的保密EVM)上的保密應用程序可以在幾天內開發完成,而使用其他隱私技術可能需要數月甚至數年的時間。
ZKP以往并沒有針對智能合約執行進行優化。近來,其在支持EVM兼容性方面已經取得了顯著進展,但是這些兼容性改進主要集中在可擴展性(而不是隱私)用例上,例如ZK-EVM。ZKP在通用智能合約執行中保障隱私方面仍然存在局限性。這是因為ZKP需要證明者能夠獲得所有全局狀態和交易數據的訪問權限,但如果一些全局狀態是私有的,它將無法做到這一點。這對需要在多方參與的情況下實現隱私的應用產生了嚴重的限制,因為在這種情況下需要來自多個參與者的知識。
在某些用例較為簡單的應用中,ZKP可以輕松解決用戶隱私問題。但隨著計算負載變得更加復雜和數據輸入量的增長,這種隱私變得更具挑戰性、成本更高且靈活性更低。為了緩解這些問題,有時需要定制電路來保護具有大量復雜數據負載的dApp。一些使用ZKP構建的團隊正在構建框架以簡化將ZKP集成到智能合約中的過程,但它們沒有提供與TEE所提供的相同級別的隱私靈活性。
4 信任權衡 Web3 Cloud Service
了解任何Web3隱私技術的信任模型對開發者和用戶都很重要。盡管ZKP可以成為一種有效的擴展工具,但我們應該清楚為什么ZKP作為Web3的隱私解決方案是有限的。例如,一些基于ZKP的解決方案可以依賴半可信的排序器來驗證信息。如果一個應用程序允許多個排序器,那么隱私就會變得更糟。但在特定的用例中,ZKP可以提供有效的隱私——一個典型的例子是Zcash加密貨幣。在不透露用戶擁有或正在花費多少硬幣的情況下,每個用戶需要證明他們沒有重復花費硬幣。使用ZKP來證明一個用戶沒有作弊是非常必要的。但要明確的是:這種技術僅限于非常具體的用例(如貨幣),并沒有為可通用的安全計算而進行優化。
對于TEE,信任的概念就在名稱中。但是,TEE的可信度在很大程度上僅限于基于硬件的信任,在這種情況下,TEE的實施是為了提供一個與系統其余部分隔離的安全執行環境。這種基于硬件的信任主要是基于硬件設計者和制造商以及他們的安全實踐。這種信任在很大程度上可以通過安全啟動程序、安全飛地和其他行業標準技術來驗證。TEE允許開發者為數據輸入產生防篡改證明,并為他們正在構建或使用的任何應用提供證明。
5 結論 Web3 Cloud Service
簡而言之,任何一種Web3隱私技術都會呈現出不同的優勢、劣勢與權衡取舍。
ZKP可以滿足一些以隱私為重點的用例,但其性能、可擴展性以及對通用計算的支持均存在局限性。而TEE等其他Web3隱私技術則對構建擁有海量并發用戶和數據的dApp的開發人員更具吸引力。在這些情況下,TEE提供了一種靈活、可擴展且高性能的工具,用于將高保密性集成到任何Web3應用程序中。
但是這兩種工具也可以互補,例如,例如一些Web3應用程序能夠在基于TEE的系統中使用ZKP,從而提高安全性與穩健性。無論開發者目前選擇使用哪種隱私工具,未來的Web3隱私技術定會蓬勃發展,給開發者提供廣闊的選擇空間。
論道Web3云服務
個人專欄
閱讀更多
金色薦讀
金色財經 善歐巴
Chainlink預言機
區塊律動BlockBeats
白話區塊鏈
金色早8點
Odaily星球日報
歐科云鏈
MarsBit
深潮TechFlow
2023 年 4 月 7 日 21:00,「ChainBreaker Podcast」播客活動第四十六期拉開帷幕.
1900/1/1 0:00:00比特幣雖然長期以來一直被視為安全和去中心化的價值存儲,或者“數字黃金”,但不得不承認它支持更高級應用的潛力仍然相對未被開發.
1900/1/1 0:00:00PEPE 上幣安了。幣安宣布將在創新區上線 Pepe(PEPE),并將在北京時間今晚 24:00 開放 PEPE/USDT、PEPE/TUSD 交易對.
1900/1/1 0:00:00Curve穩定幣crvUSD正式上線加入穩定幣大戰。Curve Finance 5月4日發推表示,crvUSD智能合約正式部署在以太坊主網上,但與crvUSD 智能.
1900/1/1 0:00:00隨著投資者擔憂美國銀行業危機進一步深化,比特幣引領加密市場強勢反彈。比推終端數據顯示,比特幣打破了連續五天的下跌趨勢,突破2.9萬美元,盤中一度觸及3萬美元,市值第二大加密貨幣以太坊上漲 4.5.
1900/1/1 0:00:001.值得關注的一些比特幣L2敘事項目雖然比特幣長期以來一直被稱為安全和去中心化的價值存儲或“數字黃金”,但其支持更高級應用程序的潛力相對尚未開發.
1900/1/1 0:00:00