買以太坊 買以太坊
Ctrl+D 買以太坊
ads

VER:讀懂Chainlink DECO:隱私保護的預言機_Decode Coin

Author:

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

作者:kokii.eth

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

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

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

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

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

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

歐易OKX提出的比特幣生態標準BRC20-S正式開放部署,即將開放質押:7月11日消息,歐易OKX提出的比特幣生態標準BRC20-S現已正式開放部署,允許項目在歐易OKX部署BRC20-S質押池,為BRC-20資產持有者提供生態獎勵。此外,BRC-20資產質押功能即將開放,第一期將支持除BTC以外的所有BRC-20資產質押。

歐易OKX表示,BRC20-S為開放標準,歐易OKX不會對部署池進行審核,用戶可自行選擇池子進行質押,BRC20-S標準旨在為比特幣生態引入質押機制,可讓用戶在不出售BRC-20資產的前提下通過質押賺取收益,同時也可讓項目方將BRC20-S資產分發給比特幣或BRC-20資產持有者,從而助力比特幣生態發展。[2023/7/11 10:48:01]

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

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

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

時尚元宇宙游戲公司DREST完成1500萬英鎊融資:6月22日消息,時尚元宇宙游戲公司DREST宣布完成1500萬英鎊融資,投資方信息暫未披露。DREST將時尚奢侈品牌與元宇宙技術進行整合,玩家可以在元宇宙Avatar上設計品牌數字服裝并參與游戲,旗下用戶生成內容平臺則能將游戲化和品牌營銷相結合,使品牌商可以接觸到高參與度的受眾群,目前DREST合作的時尚品牌商包括Breitling、Cartier、Fendi、Gucci、Prada和Valentino等。現階段,DREST正在探索開發Web3和生活方式領域里的游戲,預計將在未來18個月內進入研發階段。[2023/6/22 21:54:55]

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

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

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

做認證密鑰協商的握手協議 (handshake protocol):明文通信,通過非對稱加密相互確認彼此驗證,確立將使用的加密算法,并生成一致的會話密鑰用于記錄協議的對稱加密

做對稱加密傳輸的記錄協議 (record protocol):協議主體,對數據傳輸進行保密性和完整性保護

馬斯克在平臺發推:AI APT OTT,但網友開始做多加密貨幣APT幣:金色財經報道,馬斯克在平臺發推:AI APT OTT,尚未知道APT意思為何,但網友開始做多加密貨幣APT幣。

行情顯示,APT短線上漲,現報13.1248 USDT,24H漲幅為5.84%。[2023/4/14 14:04:01]

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

認證 (Authentication) :判斷身份的真實性,主流的有 RSA/DSA/ECDSA

密鑰交換 (Key exchange) :通信雙方協商用于加密的密鑰,主流的有 ECDHE

加密 (Encryption) :用于通信的對稱加密,趨勢是使用GCM

MAC (Message Authentication Code,消息認證碼) :用于驗證數據完整性以及數據是否被篡改,主流有 SHA256/SHA384/SHA1等

TLS非常強大,但有一個限制:不允許用戶向第三方證明他所訪問的數據確實是來自某個特定的網站,因為數據傳輸使用的是對稱加密,用戶和服務器一樣有能力對數據進行簽名。直觀的例子是,有很多網站的服務器內都存有Alice的身份信息,可以輕松驗證Alice已經超過18歲,但Alice很難向Bob證明這點。Alice可以從網站上截圖,但截圖很容易偽造,即使截圖能被證明是真實的,也會泄露信息——Alice的確切出生日期,而不僅僅是她已超過18歲這個事實。

預言機需要去中心化(不依賴單點例如網站服務器)證明鏈下隱私數據的出處(Provenance),并在不泄露隱私的前提下供智能合約使用。零知識證明可以幫助實現這些功能。

零知識證明(Zero Knowledge Proof, ZKP)在區塊鏈受到廣泛關注,主要應用為ZK-Rollup(為了提高擴容效率在算法設計上做了不少妥協,不 zk 的 Validity Proof)與隱私技術 (真正的 zk)。零知識證明允許Prover向Verifier證明其擁有一個解(Witness)能夠解決某個計算問題(Statement),而無需透露任何關于該解(Witness)的額外信息。

美國阿肯色州新法案規定比特幣礦場將擁有與數據中心相同權利:4月10日消息,美國阿肯色州新法案規定比特幣礦場將擁有與數據中心相同的權利,該法案已獲得眾議院和參議院的批準,目前正在等待州長 Sarah Huckabee Sanders 的簽署。

該法案要求加密貨幣礦工必須使用可接受的貨幣形式支付適用的稅款和政府費用,并且必須以不會對公共電網造成壓力的方式運營,但其規定阿肯色州政府不能對礦場強加特殊的要求。[2023/4/10 13:54:58]

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

前端:編譯器,將需要驗證的Statement寫成領域特定語言(DSL),再編譯為ZK友好的格式,例如算數電路;

后端:證明系統,檢查電路正確性的交互式論證系統,例如Marlin, Plonky2, Halo2;

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

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

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

Provenance:當Prover從Web Server查詢信息時,Verifier見證交互過程,并收到由Prover就TLS會話數據創建的一個承諾(Commitment),由此Verifier就能驗證信息的真實來源;

機構分析:金價在錄得三個月來的最大跌幅后料持穩:6月14日消息,金價在錄得三個月來最大跌幅后持穩,此前市場擔心美聯儲本周可能考慮進行1994年以來最大的加息,以遏制持續高企的通脹。新加坡交易商GoldSilver Central Pte總經理Brian Lan表示,預計美聯儲在本周將堅持加息50個基點。金價正在整固,此前略低于一周的支撐位,但與股票、債券甚至加密貨幣相比,金價保持得很好。金價可能會在區間內波動,直到美聯儲宣布加息。除非出現意外情況,金價應該會繼續守在1800美元上方。(金十)[2022/6/14 4:25:30]

Privacy:如果數據無需隱私,Prover可以直接向Verifier提供可以解密數據的密鑰,供開發者在Dapp中加入數據;如果需要隱私,Prover利用ZKP生成不泄露數據的證明,供開發者在Dapp中加入。

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

三方握手,Prover,Veri?er和Server建立特殊格式的會話密鑰,保證數據不可偽造;

查詢執行,Prover使用帶有她的私有參數 θs(例如賬號密碼,API key)的Query,向Server查詢數據 ;

證明生成,Prover證明響應滿足所需條件。

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

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

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

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

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

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

只揭示特定的數據行:在不揭示其他數據塊的前提下,證明 R 的第 i 個數據塊是 Bi

隱藏包含隱私數據的數據行:證明 R_{-i} 和 R 相等,除了 Bi 被刪除

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

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

目前的Alpha Test中DECO依舊是使用Dapp在充當Prover,在未來的迭代中,計劃Prover可以由終端用戶本地部署(例如手機),或在可信執行環境(TEE)中部署。

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

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

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

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

數字身份/社交身份證明(你擁有某個線上賬戶):PhotoChromic是一個數字身份解決方案,使用DECO將Web3用戶與其Twitter或Discord社交賬戶綁定,并在過程中不暴露底層個人身份數據,使應用能夠過濾出真實的用戶。

DAO的抗女巫攻擊,SBT,KYC/AML,etc.

Axiom為Uniswap TWAP構建ZK預言機,采取完全來自鏈上的可驗證數據源,更類似于Indexing(eg. Hyper Oracle);和DECO更像是互補而非競爭關系:越來越多的經濟活動會發生在鏈上,純鏈上預言機是一個方向;越來越多的鏈下數據需要上鏈,鏈下隱私預言機也是一個方向。

Empiric Network 利用zk計算將整個預言機放在鏈上,沒有數據必須流過的鏈下基礎設施,和DECO不是一個方向上。

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

金色財經

金色早8點

Odaily星球日報

Arcane Labs

澎湃新聞

深潮TechFlow

歐科云鏈

鏈得得

MarsBit

BTCStudy

Tags:VERPROECODECOBancor Governance TokenDucato Protocol TokenIQONIQ FanEcoSystemDecode Coin

中幣下載
NAN:金色早報 | 國際清算銀行發布關于應對加密貨幣風險報告_Ethereum Gold

▌國際清算銀行發布關于應對加密貨幣風險報告金色財經報道,國際清算銀行 (BIS) 建議,在經歷了特別動蕩的一年之后,有關加密貨幣的當局可以采取三種不同的方法:監管、遏制或呼吁全面禁止該行業.

1900/1/1 0:00:00
ITA:VC年報:2022年加密行業融資金額共 377 億美金 投資項目共 1769 個_EGW Capital

根據 Messari 統計,2022 年加密 VC 公開的投資項目共 1769 個,相比 2021 年提高了 30%(2021 年共 1364 個項目).

1900/1/1 0:00:00
AME:如何定義 GameFi 用戶?_EFI

Daniel, 2023 年 1 月數據源: Footprint Analytics在 GameFi 中,要知道有多少人真正在玩一個游戲并不那么簡單.

1900/1/1 0:00:00
ZK Validator: 2022年零知識證明領域回顧

原文: 作者:Zero Knowledge Validator隨著 2022 年即將結束,我們想整理一份關于零知識技術領域進展的報告.

1900/1/1 0:00:00
EFI:官方釋放信號 GameFi游戲大有可為?_CAME價格

2022年末,某官媒以一篇題為《深度挖掘電子游戲產業價值機不可失》的觀點性文章沖上熱搜,引發廣泛討論,眾多游戲行業從業者認為,這是我國逐漸放開游戲版號審批的強烈信號.

1900/1/1 0:00:00
WEB3:金色Web3.0日報 | Base主網即將推出_WEB

DeFi數據 1、DeFi代幣總市值:457.79億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量34.

1900/1/1 0:00:00
ads