比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > XLM > Info

盤點不同類型的零知識技術方案與零知識證明項目_ARK

Author:

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

零知識技術是密碼學的一個分支,可以為許多Layer1區塊鏈項目解決擴容和隱私問題。區塊鏈可以利用零知識證明技術提升交易吞吐量,在驗證用戶身份的同時保護用戶數據隱私,實現復雜的計算,并讓企業既可以利用區塊鏈技術又能保護自身知識產權。在上述所有應用場景中,零知識證明都是不可或缺的關鍵技術。?

什么是零知識證明?零知識證明可以讓用戶在不透露信息的前提下證明自己知道或擁有信息。「證明者」會利用某一系統輸入的信息來創建證明,而「驗證者」則會驗證這個證明的計算結果,但卻無法得知信息的具體內容。最關鍵的是,零知識證明可以驗證某一數據集的有效性,并同時保護數據隱私。?

本文將探討零知識證明解決方案的獨特優勢;區塊鏈項目如何利用zkSNARK和zkSTARK等零知識證明技術幫助開發者打造高級的dApp,在為Web3實現擴容的同時也保護用戶隱私;以及Chainlink的信任最小化服務如何幫助這些協議提升去中心化水平、可靠性以及安全性。

為什么要采用零知識證明技術構建網絡??

零知識技術可以讓開發者既能利用以太坊等底層區塊鏈的安全性,又能為dApp提高交易吞吐量和速度,并同時將用戶個人信息放在鏈下,以保護用戶隱私。交易將打包上傳至鏈上,以降低終端用戶的使用成本。最終,項目可以利用這些功能打造出高級的dApp,不僅在性能上可以與Web2系統媲美,而且還能保持Web3去中心化的優勢。?

零知識證明方案VSOptimisticRollup

optimisticrollup是一種Layer2技術,是目前主流的擴容方案。據分析網站L2Beat的統計,截止至2022年6月29日,optimisticrollup占以太坊Layer2網絡總鎖倉量的74.3%,而零知識證明方案則占25.9%。?

Cointelegraph盤點波場TRON 2022年度22大成就:1月8日消息,日前,區塊鏈行業媒體Cointelegraph發布波場TRON 2022年度的22大成就, 主要包括:TRON DAO成為世界上最大的DAO、擴大與火必的合作、推出穩定幣USDD、TRX和USDD獲得更多應用場景、成為多米尼克國家公鏈、建成行業第二大穩定幣生態系統、被評為最環保區塊鏈、TVL規模僅次于幣安以及用戶帳戶從6900萬增長到1.32億等。

Cointelegraph在文中稱,2022年是波場TRON歷史性增長的一年,全年累計新增用戶6300萬。作為加密行業的全球潮流引領者,波場TRON正在打造一個可以為每個人服務的生態系統基礎設施。[2023/1/8 11:00:51]

零知識擴容方案和optimisticrollup最大的區別就是交易驗證的方式不同。optimisticrollup采用欺詐證明,只有在Layer1區塊鏈上裁決狀態變更糾紛時才需要生成欺詐證明;而零知識技術方案則是在每一批交易打包上傳至鏈上時都會發布有效性證明。也就是說,采用零知識證明的協議永遠都是有效的狀態,而代價則是要花更多的gas費在底層區塊鏈上驗證有效性證明。?

然而,將zk-rollup與鏈下數據結合可以有效優化gas費。這種效率更高的零知識技術方案包括「validium」和「volition」。這類方案也可以在不透露數據隱私的前提下證明狀態的有效性。這將有助于提升公鏈在企業的應用,企業可以更好地保護用戶數據和商業機密。?

零知識技術方案和optimisticrollup還有一個差別,那就是資金效率。在optimisticrollup中,交易終局和取款的標準時間窗口是一周;而在零知識技術方案中,用戶可以在約10分鐘內取款。?

V神盤點以太坊2020年進步,包括PoS測試網及MakerDAO等:V神在推文中列出以太坊在2017年沒有、但是在2020年擁有的東西: Uniswap;http://Tornado.cash;Status;MakerDAO;ZK Rollups(如Loopring),吞吐量超過2000 TPS;PoS測試網;叔塊率< 10%,區塊Gas上限為1000萬;Gitcoin贈款。[2020/3/28]

要了解更多關于optimisticrollup和零知識協議的差異,請觀看以下視頻。視頻中,來自OffchainLabs、PolygonHermez、MatterLabs、MetisDAO以及Optimism的負責人共同討論了以太坊Layer2的未來發展前景:https://youtu.be/t-SQQmLhepY

不同類型的零知識技術方案

Layer2方案可以采用有效性證明或欺詐證明,并可以將數據儲存在鏈上或鏈下

基礎架構

zk-Rollup

zk-rollup會將多筆交易打包在一起,并發布到Layer1區塊鏈上,同時還會發布一個驗證計算有效性的證明。發布到鏈上的證明也被稱作「有效性證明」。有效性證明分為SNARKs和STARKs兩類。一旦這些證明在底層區塊鏈上得到了驗證,zk-rollup的狀態就會更新。

動態 | 2019年區塊鏈十大事件盤點:1:中國擁抱區塊鏈

2019年10月24日,中央局第十八次集體學習時強調,區塊鏈技術的集成應用在新的技術革新和產業變革中起著重要作用。

2:央行數字貨幣試點

2014年中國央行開始研究法定數字貨幣(DCEP)。DCEP的完整字面意思就是數字貨幣電子支付。

3:Facebook發布Libra計劃

2019年6月,Facebook發布Libra白皮書,Libra的使命是建立一套簡單的、無國界的貨幣和為數十億人服務的金融基礎設施。

4:去中心化金融DeFi

去中心化金融(DeFi),解決傳統金融行業中的痛點,被稱作DeFi 是加密史上第二個突破。

5:IEO開始流行

IEO是ICO之后,幣圈誕生的一種新籌集資金方式,項目方依托交易所進行資金籌集。

6:Bakkt 推出比特幣期貨

2019年9月23日, 號稱幣圈牛市的發動機的Bakkt上線。

7:嘉楠科技上市

美國東部時間11月21日嘉楠科技正式上市納斯達克,IPO發行價最終鎖定在每股9美元,總計募資9000萬美元。

8:模式幣走紅幣圈

模式幣,使用類似模式的幣種,通過拉人頭、分紅、合伙人等等推廣營銷模式,配合資金控盤,來吸引散戶進場接盤。

9:以太坊伊斯坦布爾升級

以太坊網絡在2019年12月8日, 9,069,000區塊高度完成升級,代號:伊斯坦布爾(Istanbul)。

10:吳忌寒詹克團之爭

吳忌寒奪權:10月29日全球最大的礦機生產商之一的比特大陸創始人吳忌寒以比特大陸集團董事會主席、北京比特大陸科技有限公司法定代表人、執行董事的身份,向全體員工發送郵件,宣布解除詹克團在比特大陸的一切職務,即刻生效。[2019/12/23]

Validium

動態 | 區塊鏈未能上榜漢語盤點2019年度國際詞:漢語盤點2019年度候選字詞中,巴黎圣母院、區塊鏈、貿易摩擦、黑洞照片、脫歐上榜國際詞。12月20日,國家語言資源監測與研究中心、商務印書館、央視新聞等單位聯合舉辦的“漢語盤點2018”揭曉儀式在北京舉行。最終,“奮”“改革開放四十年”“退”“貿易摩擦”分別當選年度國內字、國內詞、國際字、國際詞。(央視新聞)[2019/12/21]

Validium結合了有效性證明和鏈下數據存儲,以提升可擴展性。有效性證明發布在底層區塊鏈上,而數據則儲存在鏈下。這將大幅提升吞吐量并降低gas費。?

雖然Validium在效率和可擴展性方面遠超zk-rollup,但是卻可能由于受到攻擊導致數據不可用,或用戶無法取出資金。不過這個數據可用性問題可以通過PoS系統來解決,采用經濟激勵機制確保數據儲存在各個節點中,并且隨時可用。值得一提的是,攻擊者雖然有可能暫停交易,但卻無法直接盜走用戶資金。?

Volition

Volition結合了zk-rollup和validium,用戶可以自由選擇使用zk-rollup或validium方案,這兩種方案共享同一個狀態根。即使validium被攻破,zk-rollup上的資金也仍然是安全的。?

因此,機構愿意支付更高的費用來換取zk-rollup的安全保障,而個人用戶則更傾向于交易成本較低的validium,兩者在volition上可以無縫交互。比如DEX中做市商提供了幾億美元的流動性,因此會選擇zk-rollup;而散戶持倉相對較小,因此會選擇validium。?

雅虎財經2018年2月7日加密峰會盤點:

1. 摩根大通區塊鏈負責人Farooq:區塊鏈將從根本上改變商業的運作;數字貨幣必須解決洗錢問題。

2.Blockchain CEO:數字貨幣最厲害之處,就是在與任何國家無關的情況下成為金融體系的一部分。

3.DCG(數字貨幣集團)創始人Barry Silbert:大多數幣種沒有真正的實用性;希望未來讓DCG上市。

4.Fundstrat Global Advisors聯合創始人Tom Lee:數字貨幣市場不僅僅是個“十年的故事”,它將持續存在30年。數字貨幣市場像新興市場。如果相信區塊鏈,那就必須相信比特幣、以太坊以及所有的公鏈。

5.Indiegogo股權眾籌和加密貨幣投資負責人:最終將需要與監管機構來一次有意義的、權威的對話。

6.Chain聯合創始人兼CEO Adam Ludwin:人們其實希望對數字貨幣進行監管;以加密方式上發行傳統貨幣以后將是這個領域中的很大一部分。

7.瑞波CEO:瑞波超過50%合作金融機構為日本公司,瑞波幣將在3-5年內成功;長期看好比特幣,認為比特幣不會滅亡,但也不會解決付款問題。

8.Goodwin Procter律所合伙人Grant Fondo:不管某個項目看起來有多好,別把雞蛋放在一個籃子里。

9.數字商會總裁Perianne Boring:數字貨幣投資者需要做好研究,同時要有批判性思維。[2018/2/8]

有效性證明

SNARK

SNARK的全稱是「zero-knowledgesuccinctnon-interactiveargumentonknowledge」。這是一種加密證明,文件很小而且很容易驗證。它利用橢圓曲線生成一個加密證明,該橢圓曲線假設無法從一個公開的基點找到隨機橢圓曲線元素的離散對數。橢圓曲線的計算成本低于STARK的哈希函數,因此SNARK協議的gas成本更低。

STARK

STARK全稱是「zero-knowledgescalabletransparentargumentofknowledge」。這種加密證明幾乎不需要證明者和驗證者之間產生任何交互。STARKs相比SNARKs的最大優勢在于證明時間更短,而且更容易擴展。另外,由于STARKs采用哈希函數,因此也可以抗量子攻擊。?

值得一提的是,STARKs的發明者是EliBen-Sasson,此人是StarkWare的聯合創始人,這個團隊也開發了StarkEx和StarkNet。?

采用零知識技術的區塊鏈項目

采用了零知識技術方案的區塊鏈項目

采用zk-STARK的項目

StarkEx

StarkEx是以太坊上的Layer2擴容方案,采用STARK證明來驗證自托管的交易,并在上面開發交易和支付應用。基于StarkEx的項目包括DeversiFi、Sorare和dYdX,目前已完成了幾億筆交易并實現了幾千億美元的交易額。然而,StarkEx無法支持智能合約功能,因此無法實現功能完備的dApp。

StarkNet

StarkNet是一個通用平臺,開發者可以使用StarkNet在以太坊的zk-rollup上部署智能合約。以太坊主流的dAppAave和Maker都計劃在StarkNet上發布。值得注意的是,StarkEx的zk-rollup也可以在StarkNet上發布,以提高應用的可擴展性。

為了充分利用STARK在計算和可擴展性方面的優勢,StarkWare開發了Cairo語言,這是一種高效且圖靈完備的編程語言,專門用于創建STARK證明。這意味著StarkWare需要開發文檔、框架和其他工具來激活其開發者生態。?

ImmutableX

ImmutableX是一個NFT平臺,用于鑄造和交易NFT和通證。該平臺使用StarkEx打造專屬的zk-rollup。ImmutableX平臺上NFT鑄造和交易量達到數百萬,而且即使在以太坊網絡擁堵期間也可以保持較低的成本。?

ImmutableX也將在StarkNet上發布。有效性證明不會直接發布到以太坊上,而是先發布到StarkNet上,然后再通過StarkNet的rollup發布到以太坊上。ImmutableX可以利用StarkEx在StarkNet上發布應用鏈,為項目提供layer3擴容方案。?

采用zk-SNARK的項目

Zcash

Zcash前身是ZeroCash。名字中的「zero」指使用零知識證明技術來實現隱私交易。Zerocash是早期出現的加密項目之一,推動了零知識證明技術在行業中的應用。?

Loopring

Loopring是以太坊上的DEX,支持訂單簿交易,并且不托管用戶資產。Loopring接入了ChainlinkPriceFeeds,服務幾十萬用戶,交易量高達數十億。?

zkSync1.0

zkSync1.0是以太坊上的rollup。它與StarkEx一樣,都支持通證轉賬和兌換,但不支持智能合約。該協議由MatterLabs開發。

zkSync2.0

zkSync2.0與StarkNet一樣,也是以太坊的Layer2擴容方案。采用了volition基礎架構,可以支持智能合約。zkSync采用zk-SNARK來驗證交易,并采用PoS系統zkPorter來保障數據可用性。zkSync2.0和StarkNet的主要區別除了有效性證明之外,還有前者可以兼容EVM。1inch、Alchemix和Curve都計劃在zkSync2.0上發布。?

ZigZag

ZigZag是一個去中心化交易平臺,采用訂單簿模式交易ERC-20通證。相比之下,大多數DEX采用的都是自動做市商模式。ZigZag的訂單簿模式得益于zk-rollup強大的可擴展性。zkSync注冊表中的任何通證都可以在ZigZag中交易。該協議目前在zkSync1.0上運行,但計劃在zkSync2.0和StarkNet上發布。?

Mina

Mina是輕量級區塊鏈,采用SNARKs創建容量最大為22kb的區塊。項目可以在Mina上開發部署應用,并可以實現全部智能合約功能。?

零知識證明協議如何提升去中心化水平、可靠性和安全性

零知識證明協議可以使用Chainlink去中心化的預言機服務提升安全保障并實現自動化。Web3生態中的各個協議可以使用Chainlink信任最小化的服務來訪問任何外部API,并利用安全的鏈下計算來打造更高級的應用。?

零知識證明協議可以使用以下服務來提升dApp性能:

精準的市場數據——ChainlinkPriceFeeds為DeFi經濟保駕護航,為去中心化的穩定幣、借貸協議以及交易平臺等各種用例提供極其可靠且精準的市場數據。?

可驗證的隨機數——ChainlinkVRF可以創建隨機數以及加密證明,并一起上傳至鏈上進行驗證。NFT平臺可以利用隨機數,以公平可驗證的方式鑄造NFT。區塊鏈游戲可以利用隨機數打造無法預測的游戲體驗。?

智能合約自動化——ChainlinkKeepers是去中心化的交易自動化服務,可以自動觸發關鍵的智能合約功能,比如結算限價單交易、執行清算以及rebase通證等。?

儲備金證明——Chainlink儲備金證明可以基于加密事實自動驗證儲備資產,為零知識證明協議降低風險,提高透明性并避免DeFi系統性風險。?

跨鏈通信——跨鏈互操作性協議為協議提供通用的開放標準,用于打造安全的跨鏈應用,在Web3世界中傳輸通證、發送消息并觸發交互。?

總結

零知識證明與底層區塊鏈和去中心化的預言機網絡相結合,勢必將推動區塊鏈行業轉型,項目團隊將開發出可擴展性和成本效益極高的應用,并同時保障用戶隱私。?

雖然其他的Layer2解決方案可能會為某些應用提供更好的基礎架構,但隨著區塊鏈行業的不斷發展,zk-rollup、validium和volition勢必將獲得更多個人用戶和企業的青睞。?

Tags:ARKSTASTARSTARKMarkaccyBitstampStarFish OSSTARK價格

XLM
Web3:零知識證明的路在何方?_ROLL

零知識技術(簡稱ZK)是一種使能技術,它不僅將改變Web3,還將改變其他行業。它是一種可以通用的技術,具有大量的用例。我們正處于弄清這項技術所能實現的所有用例的早期階段.

1900/1/1 0:00:00
為什么要使用零知識證明來開發跨鏈協議_RELAY

用戶需要什么樣的跨鏈服務在過去的幾年當中出現了各種各樣的獨立公鏈以及以太坊Layer2。由于在安全性、低成本、快速交易以及開發者和用戶社區差異等方面,不同鏈都具有各自不同的優勢,用戶在不同鏈之間.

1900/1/1 0:00:00
末日博士 Roubini 抨擊趙長鵬為“一顆行走的定時炸彈”_區塊鏈

著名經濟學教授、被稱為“末日博士”的RoubiniMacroAssociates首席執行官NourielRoubini在阿布扎比(AbuDhabi)舉行的加密行業活動ADGMCryptoDay中.

1900/1/1 0:00:00
金色早報 | CZ:行業復蘇基金或多達20億美元_ENT

頭條 ▌CZ:行業復蘇基金或多達20億美元11月17日消息,TechCrunch記者JacquelynMelinek在個人社交媒體表示,Binance創始人CZ表示一直在對行業復蘇基金進行討論.

1900/1/1 0:00:00
金色Web3.0日報 | 華納兄弟將推出《權力的游戲》系列NFT_DYDX

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

1900/1/1 0:00:00
金色早報 | FTX的破產程序開始 交易平臺資產開始歸集到一個地址_FTX

頭條 ▌VitalikButerin:FTX的欺詐行為比Mt.Gox和Luna更嚴重11月12日消息,以太坊創始人VitalikButerin第一次對FTX崩盤事件發表直接評論.

1900/1/1 0:00:00
ads