零知識技術是密碼學的一個分支,可以為許多 Layer 1 區塊鏈項目解決擴容和隱私問題。區塊鏈可以利用零知識證明技術提升交易吞吐量,在驗證用戶身份的同時保護用戶數據隱私,實現復雜的計算,并讓企業既可以利用區塊鏈技術又能保護自身知識產權。在上述所有應用場景中,零知識證明都是不可或缺的關鍵技術。
什么是零知識證明(ZKP)?零知識證明可以讓用戶在不透露信息的前提下證明自己知道或擁有信息。「證明者」(prover)會利用某一系統輸入的信息來創建證明,而「驗證者」(verifier)則會驗證這個證明的計算結果,但卻無法得知信息的具體內容。最關鍵的是,零知識證明可以驗證某一數據集的有效性,并同時保護數據隱私。
本文將探討零知識證明解決方案的獨特優勢;區塊鏈項目如何利用 zkSNARK 和 zkSTARK 等零知識證明技術幫助開發者打造高級的 dApp,在為 Web3 實現擴容的同時也保護用戶隱私;以及 Chainlink 的信任最小化服務如何幫助這些協議提升去中心化水平、可靠性以及安全性。
零知識技術可以讓開發者既能利用以太坊等底層區塊鏈的安全性,又能為 dApp 提高交易吞吐量和速度,并同時將用戶個人信息放在鏈下,以保護用戶隱私。交易將打包上傳至鏈上,以降低終端用戶的使用成本。最終,項目可以利用這些功能打造出高級的 dApp,不僅在性能上可以與 Web2 系統媲美,而且還能保持 Web3 去中心化的優勢。
optimistic rollup 是一種 Layer 2 技術,是目前主流的擴容方案。據分析網站 L2Beat 的統計,截止至 2022 年 6 月 29 日,optimistic rollup 占以太坊 Layer 2 網絡總鎖倉量的 74.3%,而零知識證明方案則占 25.9%。
Cobo 鏈上安全團隊盤點分析 1 月區塊鏈安全事件:2月17日消息,Cobo安全研究團隊近日盤點并解析了 1 月發生的典型區塊鏈安全事件,對跨鏈橋、智能合約、錢包等多種類型的真實攻擊案例和漏洞進行了技術解讀,并為普通用戶規避區塊鏈中的安全風險提供了一些建議。建議普通用戶及時撤銷無限授權、留意未審計項目風險等。
Cobo 區塊鏈安全研究團隊成員來自知名安全實驗室,有多年網絡安全與漏洞挖掘經驗,曾協助谷歌 、微軟處理高危漏洞。團隊目前重點關注智能合約安全、DeFi 安全等方面 ,研究并分享前沿區塊鏈安全技術。[2022/2/17 9:57:31]
零知識擴容方案和 optimistic rollup 最大的區別就是交易驗證的方式不同。optimistic rollup 采用欺詐證明(fraud proof),只有在 Layer 1 區塊鏈上裁決狀態變更糾紛時才需要生成欺詐證明;而零知識技術方案則是在每一批交易打包上傳至鏈上時都會發布有效性證明(validity proof)。也就是說,采用零知識證明的協議永遠都是有效的狀態,而代價則是要花更多的 gas 費在底層區塊鏈上驗證有效性證明。
然而,將 zk-rollup 與鏈下數據結合可以有效優化 gas 費。這種效率更高的零知識技術方案包括「validium」和「volition」。這類方案也可以在不透露數據隱私的前提下證明狀態的有效性。這將有助于提升公鏈在企業的應用,企業可以更好地保護用戶數據和商業機密。
零知識技術方案和 optimistic rollup 還有一個差別,那就是資金效率。在 optimistic rollup 中,交易終局和取款的標準時間窗口是一周;而在零知識技術方案中,用戶可以在約 10 分鐘內取款。
央行盤點2020:積極運用區塊鏈等技術將金融服務融入實體經濟“關鍵動脈”:央行發布《盤點央行的2020 | ⑦金融科技和金融基礎設施》表示,積極運用大數據、人工智能、區塊鏈等技術將金融服務融入實體經濟“關鍵動脈”。首個由我國專家召集制定的ISO標準《銀行產品服務描述規范》正式發布,同時牽頭研制移動支付、區塊鏈、綠色金融等多項國際標準。(中國人民銀行公眾號)[2021/1/11 15:53:08]
要了解更多關于 optimistic rollup 和零知識協議的差異,請觀看以下視頻。視頻中,來自 Offchain Labs、Polygon Hermez、Matter Labs、Metis DAO 以及 Optimism 的負責人共同討論了以太坊 Layer 2 的未來發展前景:https://youtu.be/t-SQQmLhepY
zk-Rollup
zk-rollup 會將多筆交易打包在一起,并發布到 Layer1 區塊鏈上,同時還會發布一個驗證計算有效性的證明。發布到鏈上的證明也被稱作「有效性證明」。有效性證明分為 SNARKs 和 STARKs 兩類。一旦這些證明在底層區塊鏈上得到了驗證,zk-rollup 的狀態就會更新。
Validium
Validium 結合了有效性證明和鏈下數據存儲,以提升可擴展性。有效性證明發布在底層區塊鏈上,而數據則儲存在鏈下。這將大幅提升吞吐量并降低 gas 費。
雖然 Validium 在效率和可擴展性方面遠超 zk-rollup,但是卻可能由于受到攻擊導致數據不可用,或用戶無法取出資金。不過這個數據可用性問題可以通過 PoS 系統來解決,采用經濟激勵機制確保數據儲存在各個節點中,并且隨時可用。值得一提的是,攻擊者雖然有可能暫停交易,但卻無法直接盜走用戶資金。
動態 | 區塊鏈未能上榜漢語盤點2019年度國際詞:漢語盤點2019年度候選字詞中,巴黎圣母院、區塊鏈、貿易摩擦、黑洞照片、脫歐上榜國際詞。12月20日,國家語言資源監測與研究中心、商務印書館、央視新聞等單位聯合舉辦的“漢語盤點2018”揭曉儀式在北京舉行。最終,“奮”“改革開放四十年”“退”“貿易摩擦”分別當選年度國內字、國內詞、國際字、國際詞。(央視新聞)[2019/12/21]
Volition
Volition 結合了 zk-rollup 和 validium,用戶可以自由選擇使用 zk-rollup 或 validium 方案,這兩種方案共享同一個狀態根(state root)。即使 validium 被攻破,zk-rollup 上的資金也仍然是安全的。
因此,機構愿意支付更高的費用來換取 zk-rollup 的安全保障,而個人用戶則更傾向于交易成本較低的 validium,兩者在 volition 上可以無縫交互。比如 DEX 中做市商提供了幾億美元的流動性,因此會選擇 zk-rollup;而散戶持倉相對較小,因此會選擇 validium。
SNARK
SNARK 的全稱是「zero-knowledge succinct non-interactive argument on knowledge」(中文為「簡潔的非交互式零知識證明」)。這是一種加密證明,文件很小而且很容易驗證。它利用橢圓曲線生成一個加密證明,該橢圓曲線假設無法從一個公開的基點找到隨機橢圓曲線元素的離散對數。橢圓曲線的計算成本低于 STARK 的哈希函數,因此 SNARK 協議的 gas 成本更低。
動態 | 信通院盤點2018金融科技十大熱詞 區塊鏈在多個領域均有應用:據中國信通院官網消息,3月21日,中國信通院盤點2018金融科技十大熱詞。區塊鏈在保險科技、供應鏈金融、監管科技、數字金融反欺詐和支付科技等金融科技熱點均有應用。比如供應鏈金融方面,區塊鏈通過加密數據的交易確權、基于存證的交易真實證明、基于共享賬本的信用拆解和基于智能合約的執行等,能有效解決上述痛點,助力供應鏈金融的落地;支付科技方面,區塊鏈技術帶來支付變革,港版支付寶AlipayHK用戶通過區塊鏈技術向菲律賓錢包Gcash匯款也能像境內轉賬一樣實時到賬,7×24小時不間斷、省錢省事、安全透明,可謂重新定義了“跨境匯款”。[2019/3/21]
STARK
STARK 全稱是「zero-knowledge scalable transparent argument of knowledge」(中文是「零知識的可擴展、透明知識證明」)。這種加密證明幾乎不需要證明者和驗證者之間產生任何交互。STARKs 相比 SNARKs 的最大優勢在于證明時間更短,而且更容易擴展。另外,由于 STARKs 采用哈希函數,因此也可以抗量子攻擊。
值得一提的是,STARKs 的發明者是 Eli Ben-Sasson,此人是 StarkWare 的聯合創始人,這個團隊也開發了 StarkEx 和 StarkNet。
StarkEx
StarkEx 是以太坊上的 Layer 2 擴容方案,采用 STARK 證明來驗證自托管的交易,并在上面開發交易和支付應用。基于 StarkEx 的項目包括 DeversiFi、Sorare 和 dYdX,目前已完成了幾億筆交易并實現了幾千億美元的交易額。然而,StarkEx 無法支持智能合約功能,因此無法實現功能完備的 dApp。
2017年盤點 納斯達克五個漲幅超過200%的比特幣相關股票:1、Overstock.com(納斯達克股票代碼OSTK),漲幅214%;2、迅雷(納斯達克股票代碼XNET),漲幅310%;3、Bitcoin Investment Turst(納斯達克股票代碼GBTC),漲幅1167%;4、First Bitcoin Capital Corp(納斯達克股票代碼BITCF),漲幅1624%;5、Bitcoin Services Co.(納斯達克股票代碼BTSC),漲幅19275%。[2017/12/19]
StarkNet
StarkNet 是一個通用平臺,開發者可以使用 StarkNet 在以太坊的 zk-rollup 上部署智能合約。以太坊主流的 dApp Aave 和 Maker 都計劃在 StarkNet 上發布。值得注意的是,StarkEx 的 zk-rollup 也可以在 StarkNet 上發布,以提高應用的可擴展性。
為了充分利用 STARK 在計算和可擴展性方面的優勢,StarkWare 開發了 Cairo 語言,這是一種高效且圖靈完備的編程語言,專門用于創建 STARK 證明。這意味著 StarkWare 需要開發文檔、框架和其他工具來激活其開發者生態。
Immutable X
Immutable X 是一個 NFT 平臺,用于鑄造和交易 NFT 和通證。該平臺使用 StarkEx 打造專屬的 zk-rollup。Immutable X 平臺上 NFT 鑄造和交易量達到數百萬,而且即使在以太坊網絡擁堵期間也可以保持較低的成本。
Immutable X 也將在 StarkNet 上發布。有效性證明不會直接發布到以太坊上,而是先發布到 StarkNet 上,然后再通過 StarkNet 的 rollup 發布到以太坊上。Immutable X 可以利用 StarkEx 在 StarkNet 上發布應用鏈,為項目提供 layer 3 擴容方案。
Zcash
Zcash 前身是 ZeroCash。名字中的「zero」指使用零知識證明技術來實現隱私交易。Zerocash 是早期出現的加密項目之一,推動了零知識證明技術在行業中的應用。
Loopring
Loopring 是以太坊上的 DEX,支持訂單簿交易,并且不托管用戶資產。Loopring 接入了 Chainlink Price Feeds,服務幾十萬用戶,交易量高達數十億。
zkSync 1.0
zkSync 1.0 是以太坊上的 rollup。它與 StarkEx 一樣,都支持通證轉賬和兌換,但不支持智能合約。該協議由 Matter Labs 開發。
zkSync 2.0
zkSync 2.0 與 StarkNet 一樣,也是以太坊的 Layer 2 擴容方案。采用了 volition 基礎架構,可以支持智能合約。zkSync 采用 zk-SNARK 來驗證交易,并采用 PoS 系統 zkPorter 來保障數據可用性。zkSync 2.0 和 StarkNet 的主要區別除了有效性證明之外,還有前者可以兼容 EVM。1inch、Alchemix 和 Curve 都計劃在 zkSync 2.0 上發布。
ZigZag
ZigZag 是一個去中心化交易平臺,采用訂單簿模式交易 ERC-20 通證。相比之下,大多數 DEX 采用的都是自動做市商(AMM)模式。ZigZag 的訂單簿模式得益于 zk-rollup 強大的可擴展性。zkSync 注冊表中的任何通證都可以在 ZigZag 中交易。該協議目前在 zkSync 1.0 上運行,但計劃在 zkSync 2.0 和 StarkNet 上發布。
Mina
Mina 是輕量級區塊鏈,采用 SNARKs 創建容量最大為 22kb 的區塊。項目可以在 Mina 上開發部署應用,并可以實現全部智能合約功能。
零知識證明協議可以使用 Chainlink 去中心化的預言機服務提升安全保障并實現自動化。Web3 生態中的各個協議可以使用 Chainlink 信任最小化的服務來訪問任何外部 API,并利用安全的鏈下計算來打造更高級的應用。
零知識證明協議可以使用以下服務來提升 dApp 性能:
精準的市場數據——Chainlink Price Feeds 為 DeFi 經濟保駕護航,為去中心化的穩定幣、借貸協議以及交易平臺等各種用例提供極其可靠且精準的市場數據。
可驗證的隨機數——Chainlink VRF 可以創建隨機數以及加密證明,并一起上傳至鏈上進行驗證。NFT 平臺可以利用隨機數,以公平可驗證的方式鑄造 NFT。區塊鏈游戲可以利用隨機數打造無法預測的游戲體驗。
智能合約自動化——Chainlink Keepers 是去中心化的交易自動化服務,可以自動觸發關鍵的智能合約功能,比如結算限價單交易、執行清算以及 rebase 通證等。
儲備金證明——Chainlink 儲備金證明可以基于加密事實自動驗證儲備資產,為零知識證明協議降低風險,提高透明性并避免 DeFi 系統性風險。
跨鏈通信——跨鏈互操作性協議(CCIP)為協議提供通用的開放標準,用于打造安全的跨鏈應用,在 Web3 世界中傳輸通證、發送消息并觸發交互。
零知識證明與底層區塊鏈和去中心化的預言機網絡相結合,勢必將推動區塊鏈行業轉型,項目團隊將開發出可擴展性和成本效益極高的應用,并同時保障用戶隱私。
雖然其他的 Layer 2 解決方案可能會為某些應用提供更好的基礎架構,但隨著區塊鏈行業的不斷發展,zk-rollup、validium 和 volition 勢必將獲得更多個人用戶和企業的青睞。
Chainlink
企業專欄
閱讀更多
金色早8點
比推 Bitpush News
Foresight News
Delphi Digital
區塊鏈騎士
PANews
深潮TechFlow
鏈捕手
區塊律動BlockBeats
DeFi之道
Tags:ARKSTASTARSTARKDarkShield Games StudiobStable價格STARL幣starknet幣價分析
DeFi數據 1、DeFi代幣總市值:357.6億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量15.
1900/1/1 0:00:00在中國數字資產交易平臺發布儀式的前5天,螞蟻集團旗下的數字藏品售賣平臺“鯨探”發生了新變化。2022年12月25日,鯨探上線“空間”功能,出現了“虛擬地塊”這種在Web3元宇宙平臺常見的場景,支.
1900/1/1 0:00:00編譯:Zion 在過去幾年里,大量藝術家進入了加密經濟。這些創作者的主要動力是什么?能夠從其作品的二次銷售中賺取版稅。然而,在目前的范式中,NFT版稅最終是可選項.
1900/1/1 0:00:00DeFi數據 1、DeFi代幣總市值:343.13億美元 DeFi總市值及前十代幣 數據來源:coingecko2、過去24小時去中心化交易所的交易量14.
1900/1/1 0:00:00來源:Fred Wilson、Katie Haun本文的發現有點巧,筆者在11月13日,針對FTX和目前加密市場的情況,在推特上AT了USV的合伙人Fred Wilson.
1900/1/1 0:00:00▌數據:比特幣網絡結算轉賬量跌至每天30億美元,降幅達77%金色財經報道,據區塊鏈分析公司Glassnode最新報告數據顯示.
1900/1/1 0:00:00