以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

DEC:讀懂Chainlink DECO:隱私保護的預言機

Author:

Time:1900/1/1 0:00:00

0.Intro

Web3重塑了數據價值,但分布式結構的區塊鏈是一個封閉的確定性系統,智能合約沒有實現外部API調用的功能,從而誕生了預言機這個機制用來幫助智能合約獲取外部數據。

鏈下數據上鏈本身并不困難,難的是通過技術和機制設計生產信任,預言機問題就是需要解決從數據源到處理到喂價的信任問題。

成為公眾認可的預言機的一個基本條件是去中心化,即是否允許單點故障和數據驗證。鏈下去中心化的常用解決方案是使用多個數據節點形成去中心預言機網絡,每個節點都會收集數據,達成共識后輸入到區塊鏈上的智能合約。

Chainlink架構

當前預言機的主要用法是為DeFi提供PriceFeed,安全及時準確地更新基礎資產的價格。根據DefiLlama數據,Chainlink是市場上最大的預言機解決方案之一,在撰寫本文時擔保的總價值約為$11B,占整個市場的46%。

預言機市場數據

隨著區塊鏈的發展,對鏈下數據的需求越來越強烈,單純為DeFi喂價已經無法滿足開發者的需求。現實世界和Web2中的絕大多數數據都無法公開訪問,但卻是構建Web3創新應用場景所必須的。因此新一代預言機需要使智能合約能夠以隱私保護的方式支持涉及敏感數據的復雜用例。

DECO是Chainlink在這個方向的解決方案,利用零知識證明技術,讓用戶可以向智能合約生成鏈下隱私數據證明,而不向公眾或預言機節點本身透露數據。DECO可以接入現有API,即使需要終端用戶驗證,也無需API數據提供商做任何修改。目前已進行到alpha階段,正與多個合作伙伴一起測試概念驗證。

七彩虹推出首款NFT系列,將于3月16日免費空投:金色財經報道,DIY硬件廠商七彩虹科技宣布正式推出首款NFT系列——Heir of thunder系列Passcard,該系列隸屬于CVN Lab,鑄造在以太坊上(ERC-721標準),將于3月16日向符合條件的參與者進行免費空投。該Passcard是七彩虹Web3及元宇宙社區的通行證。[2023/3/8 12:49:38]

1.Background

這里提供關于TLS和ZKP的必要背景,DECO建立在這些協議之上。

1.1TLS

TLS是一個強大的、廣泛部署的安全性協議,前身是SSL,旨在促進互聯網通信的私密性和數據安全性,位于應用程序協議層和TCP/IP層之間,主要用例是對web應用程序和服務器之間的通信進行加密。

通過HTTP進行的通信都是以純文本形式進行的,容易被竊聽,篡改和冒充。使用TLS后,用戶發送到網站的HTTP數據和網站發送給用戶的HTTP數據都被加密,接收者必須使用密鑰來解密加密的數據。HTTPS?是在HTTP協議基礎上實施TLS加密,是網站的標準做法,網站需要在其源服務器上安裝TLS證書,瀏覽器會將所有非HTTPS網站標記為不安全。

非HTTPS網站

TLS的基本思路是采用公鑰加密法,網站公開共享的?TLS/SSL證書包含公鑰,而私鑰安裝在源服務器上,并由網站所有。客戶端先向服務器端索要數字證書公鑰,然后用公鑰加密信息,服務器收到密文后,用自己的私鑰解密。

BTC反彈至1.7萬美元上方后推動美股上市礦企普漲:金色財經報道,由于能源價格上漲和比特幣價格下跌,公司的利潤在整個2022年受到擠壓,但隨著近期比特幣價格反彈至17,000美元上方,美股上市礦企股價出現普漲。截至美國東部時間1月9日,Bitfarms已上漲32%,而Marathon上漲24%,Riot上漲了18%。不過,仍有部分加密礦企的股價低于1美元,比如Core Scientific、Stronghold DigitalMining、Digihost Technology等。(theblock)[2023/1/10 11:03:41]

這里有一個問題,公鑰加密計算量太大,為了減少會話耗用的時間,每一次會話客戶端和服務器端都生成一個"會話密鑰",用它來加密信息。由于"會話密鑰"是對稱加密,所以運算速度非常快,而服務器公鑰只用于加密"會話密鑰"本身,這樣就減少了加密運算的消耗時間。

因此TLS協議主要可以分為兩個層:

做認證密鑰協商的握手協議(handshakeprotocol):明文通信,通過非對稱加密相互確認彼此驗證,確立將使用的加密算法,并生成一致的會話密鑰用于記錄協議的對稱加密做對稱加密傳輸的記錄協議(recordprotocol):協議主體,對數據傳輸進行保密性和完整性保護

TLS協議棧

TLS的加密套件是4個算法的組合:

認證(Authentication)?:判斷身份的真實性,主流的有RSA/DSA/ECDSA密鑰交換(Keyexchange)?:通信雙方協商用于加密的密鑰,主流的有ECDHE加密(Encryption)?:用于通信的對稱加密,趨勢是使用GCMMAC(MessageAuthenticationCode,消息認證碼)?:用于驗證數據完整性以及數據是否被篡改,主流有SHA256/SHA384/SHA1等TLS非常強大,但有一個限制:不允許用戶向第三方證明他所訪問的數據確實是來自某個特定的網站,因為數據傳輸使用的是對稱加密,用戶和服務器一樣有能力對數據進行簽名。直觀的例子是,有很多網站的服務器內都存有Alice的身份信息,可以輕松驗證Alice已經超過18歲,但Alice很難向Bob證明這點。Alice可以從網站上截圖,但截圖很容易偽造,即使截圖能被證明是真實的,也會泄露信息——Alice的確切出生日期,而不僅僅是她已超過18歲這個事實。

韓國對涉欺詐在逃的加密貨幣項目創始人發出逮捕令:9月15日消息,在對穩定幣TerraUSD及其對應的數字幣Luna的驚人崩潰進行調查之后,韓國檢察官已經獲得了對Terraform Labs首席執行官Do Kwon的逮捕令,逮捕令有效期為一年。Do Kwon被認為在新加坡,韓國檢察官希望取消他的護照,并尋求國際刑警組織的協助來實施逮捕。據報道,韓國首爾南部地區檢察官辦公室最近獲得了對Do Kwon和其他五人的逮捕令,其中包括Terraform的創始成員尼古拉斯-普拉蒂亞斯,所有這些人都被認為在新加坡。韓國檢察官指控Kwon違反了資本市場法,檢察官認為Terraform通過向投資者提供夸大或虛假的信息來抬高Luna的價格,實際上從事欺詐性交易。如果罪名成立,Kwon和其他人可能會被處以總額為其利潤三至五倍的罰款或至少一年的監禁。(金十)[2022/9/15 6:58:05]

預言機需要去中心化證明鏈下隱私數據的出處,并在不泄露隱私的前提下供智能合約使用。零知識證明可以幫助實現這些功能。

1.2ZKP

零知識證明在區塊鏈受到廣泛關注,主要應用為ZK-Rollup與隱私技術(真正的zk)。零知識證明允許Prover向Verifier證明其擁有一個解能夠解決某個計算問題,而無需透露任何關于該解的額外信息。

一個典型的ZK系統可以分為前端和后端。

前端:編譯器,將需要驗證的Statement寫成領域特定語言,再編譯為ZK友好的格式,例如算數電路;后端:證明系統,檢查電路正確性的交互式論證系統,例如Marlin,Plonky2,Halo2;

韓國5大加密交易平臺擬從本月開始試行上幣審查聯合指南:8月11日消息,韓國5大加密交易平臺(Upbit、Bithumb、Coinone、Korbit和Gopax)計劃從8月開始試行加密資產支持(上市)審查的聯合指南,對Token上市進行審核。此前消息,韓國5大加密交易平臺于6月份成立數字資產交易平臺聯合協商機構(DAXA),將并制定Token共同審查標準。(News1)[2022/8/11 12:18:32]

ZK系統

在區塊鏈這樣的開放系統上構造交互提問的流程很復雜,證明需要任何人都能隨時進行驗證,因此區塊鏈應用上的ZK系統通常是非交互式的,交互式可以使用Fiat–Shamir-heuristic轉換為非交互式。

2.HowDECOworks

DECO在HTTPS/TLS協議基礎上進行了擴展,使得服務器端無需修改就能使用。

DECO的核心思想是在Prover(用戶或運行DECOProver的Dapp),Verifier(運行DECOVerifier的Chainlink預言機),Server(數據提供商)?之間構建一個新穎的三方握手協議。

Provenance:當Prover從WebServer查詢信息時,Verifier見證交互過程,并收到由Prover就TLS會話數據創建的一個承諾,由此Verifier就能驗證信息的真實來源;Privacy:如果數據無需隱私,Prover可以直接向Verifier提供可以解密數據的密鑰,供開發者在Dapp中加入數據;如果需要隱私,Prover利用ZKP生成不泄露數據的證明,供開發者在Dapp中加入。

消息人士:三箭資本持有Deribit股份僅為2500萬美元,而非5億美元:7月20日消息,對于三箭資本(3AC)破產的法院文件可能高估了該公司剩余資產的價值,特別是其對加密期權交易所Deribit的敞口。由清算人RussellCrumpler撰寫并提交給英屬維爾京群島法院的1,100頁宣誓書中,3AC被描述為“資不抵債”,需要完全“清盤”。這些文件還詳細介紹了3AC的剩余資產,其中包括GBTC、BTC、AVAX和NEAR的持有量,以及Deribit的股份。目前索賠總額為28億美元。根據宣誓書,3AC持有Deribit股票價值5億美元,或3AC剩余資產的一半。然而,一位知情人士表示,3AC持有的Deribit股票價值接近2,500萬美元,而不是5億美元。3AC并不直接擁有Deribit的股份,而是擁有名為3ACQCPDeribitSPV的新加坡特殊目的公司(SPV)的股份。

據悉,SPV的最大股東是3AC和QCP Soteria Node,后者是一家控股公司,其投資組合包括Algorand和PundiX。SPV的董事包括QCP Soteria Node創始人SherwinLee、QCPCapital聯合創始人DariusSit和三箭資本聯合創始人SuZhu。(Cointelegraph)[2022/7/20 2:25:06]

DECOExample

具體來說,DECO協議由三個階段組成:

三方握手,Prover,Veri?er和Server建立特殊格式的會話密鑰,保證數據不可偽造;查詢執行,Prover使用帶有她的私有參數?θs的Query,向Server查詢數據;證明生成,Prover證明響應滿足所需條件。

DECOArchitecture

2.1Three-partyhandshake

注:以下說明基于AES-CBC-HMAC加密算法,TLS1.3只保留了更安全的AEAD作為加密算法,使用一個密鑰用作加密和MAC,不需要MAC密鑰。但由于TLS1.3的密鑰獨立性,同樣也可以構建一個復雜度類似的三方握手協議。

Prover?P?不能在獲取MAC密鑰后再作出承諾,否則他就可以偽造或篡改數據,因此三方握手的思想是將Prover?P?和Veri?er?V?共同作為TLS客戶端,與TLSserver?S?建立一個共享MAC密鑰。MAC密鑰?k?在客戶端側被切分,Prover持有?kp,Veri?er持有?kv,k=kp+kv。同時,?P?還持有用于對稱加密算法的加密密鑰?k^{Enc}。如果Veri?er不作惡,三方握手協議就能確保數據是不可偽造的。

2.2Queryexecution

在握手之后,由于MAC密鑰是秘密共享的,P?和?V?執行一個交互式協議,并使用私有參數?θs?來構建一個加密查詢的TLS消息Query?Q。然后?P?作為一個標準的TLS客戶端將?Q?發送給?S,這個過程中只有?P?與?S?通信,其發送的任何查詢都無法泄露給?V?。

在從?S?收到響應?R?后,P?通過向?V?發送密文?R??承諾會話,并收到?V?的?kv?,驗證響應?R?的真實性。

2.3Proofgeneration

接下來,P?需要證明密文?R??對應的明文?R?滿足某些屬性,如果不需要隱私可以直接揭示加密密鑰?k^{Enc},在需要隱私的情況下需要使用零知識證明。

假如明文由幾個數據塊組成?R=(B1,...,Bn),DECO使用選擇性公開來生成零知識證明:

只揭示特定的數據行:在不揭示其他數據塊的前提下,證明?R?的第?i?個數據塊是?Bi隱藏包含隱私數據的數據行:證明?R_{-i}?和?R?相等,除了?Bi?被刪除

然而,很多時候Verifier需要驗證所揭示的子字符串是否出現在正確的上下文中,上面提到方法不足以提供上下文的完整性保護。為了彌補這一點,DECO利用了一種名為零知識兩階段解析的技術:Prover在本地解析其會話數據,確定能說服Verifier的最小子字符串,再向Verifier發送數據。由此實現了隱私性。

簡潔的非交互式零知識證明在計算和內存方面通常在Prover側具有很高的開銷。由于DECO進行的ZKP的Verifier是指定的,因此可以使用更高效的交互式零知識證明,例如更小的內存使用,避免可信設置,廉價的計算等。

目前的AlphaTest中DECO依舊是使用Dapp在充當Prover,在未來的迭代中,計劃Prover可以由終端用戶本地部署,或在可信執行環境中部署。

3.Application

DECO可以驗證用戶鏈下身份信息的有效性,同時還能保障數據隱私,從而解鎖很多Web3創新應用場景,從經濟到社交。

自托管社交恢復/法律身份證明:使用DECO,利用已經擁有成熟身份驗證機制的機構網站充當社交恢復其中一個守護人。

信用借貸/資金證明?:Teller是一個DeFi信用借貸協議,使用DECO協議證明用戶在鏈下銀行賬戶中的資產余額超過了貸款所要求的動態最低門檻。

粉絲證明/交互證明:Clique是一個社交預言機,正在開發一種解決方案,提供對跨各種社交媒體平臺的鏈下用戶影響力、忠誠度和貢獻的深度分析。

數字身份/社交身份證明:PhotoChromic是一個數字身份解決方案,使用DECO將Web3用戶與其Twitter或Discord社交賬戶綁定,并在過程中不暴露底層個人身份數據,使應用能夠過濾出真實的用戶。DAO的抗女巫攻擊,SBT,KYC/AML,etc.4.OtherPlayers

Axiom為UniswapTWAP構建ZK預言機,采取完全來自鏈上的可驗證數據源,更類似于Indexing;和DECO更像是互補而非競爭關系:越來越多的經濟活動會發生在鏈上,純鏈上預言機是一個方向;越來越多的鏈下數據需要上鏈,鏈下隱私預言機也是一個方向。EmpiricNetwork?利用zk計算將整個預言機放在鏈上,沒有數據必須流過的鏈下基礎設施,和DECO不是一個方向上。4.Conclusion

Chainlink作為當前預言機的絕對龍頭,通過DECO預言機,海量鏈下私有數據將能在隱私保護的前提下被鏈上智能合約調用,可以解鎖從金融到身份到社交等諸多應用場景。潛在的隱患是Prover的證明生成速度,和Verifier的中心化問題。

Tags:VERECODECPROLeagueDAO Governance TokenECO2DecredMoonLift Protocol

火幣網下載官方app
區塊鏈:章魚網絡劉毅:Web3 游戲的主流化之路

鏈茶館在2022年12月28日的第十屆金茶獎盛典分論壇「Web3基礎設施演進為游戲帶來的新思考」中邀請了多位行業大咖從不同維度探討Web3游戲的可能性.

1900/1/1 0:00:00
CEL:貫穿2023年整年的投資敘事:ETH/L2s、AI、應用鏈

2023,你對哪個項目最有信心?我在Twitter上問了這個問題,從我的追隨者那里收到了大量有趣的回復。我想把一些與我有共鳴的回復寫到這里,并利用它來強調我自己在不同板塊中的想法.

1900/1/1 0:00:00
ENT:“2022年度鏈游頒獎盛典”獲獎名單公布

2023年1月17日,由亞洲區塊鏈游戲聯盟主辦,DeepBrainChain特別贊助的“2022區塊鏈游戲頒獎盛典”圓滿落幕.

1900/1/1 0:00:00
比特幣:比特幣NFT「開荒進行時」:Ordinals協議、FOMO和爭論

1月21日,比特幣核心貢獻者CaseyRodarmor創建的Ordinals協議發布了0.4.0版本,正式將NFT帶入了比特幣主網.

1900/1/1 0:00:00
Curve:DEX王座之爭:curve 還是uniswap(2)

上回書說到正當?@DeFi_Made_Here?與?@DeFi_Cheetah?兩人殺的難分難解之際,半路殺出個程咬金,一名白衣銀甲的小將?@WinterSoldierxz?殺入陣中.

1900/1/1 0:00:00
IMM:Buidler DAO 翻譯:Web3 公共物品全景

公共物品包含一系列不同的產品和服務,這些產品和服務被生態系統中的大多數人使用。這些是協議層所需的構件,例如,去中心化的存儲、跨鏈橋接、身份解決方案或錢包.

1900/1/1 0:00:00
ads