看空zkSync? V神:零知識證明應(yīng)用低估了zk-STARKS潛力
以太坊創(chuàng)辦人Vitalik Buterin昨(17)日稍晚在Web3社交平臺Warpcast上發(fā)文感慨,表示鏈下ZK(零知識證明)應(yīng)用程序低估了使用STARK的潛力:我認為鏈下ZK應(yīng)用程序確實低估了使用STARK的潛力,包括對隱私充滿極大要求的用例。目前,STARK的容量小于100kB,對于鏈下用例而言,與使用STARK節(jié)省的客戶端證明時間相比,這種寬帶量簡直微不足道。
V神看空zkSync?
V神為何會突然有此感慨?這不禁讓人想到在昨日正式上架幣安等交易所的以太坊Layer2網(wǎng)絡(luò)zkSync。
zkSync是以太坊的第二層擴容解決方案,它采用了zk-rollups在鏈下打包交易,并使用零知識證明(ZK)在鏈上對其進行欺詐驗證。但值得注意的是,同為采用zk-rollups的Layer2網(wǎng)絡(luò),zkSync不同于已經(jīng)發(fā)幣的Starknet,它在零知識證明系統(tǒng)上采用的是zk-SNARKs技術(shù),而Starknet采用的則是zk-STARKS技術(shù)。
因此,V神或許不是在針對zkSync發(fā)表評論,只是針對zk-STARKS技術(shù)提出看法;但也有可能是在暗示zk-STARKS技術(shù)更有發(fā)展?jié)摿σ膊灰欢ā?/p>
撰稿當(dāng)下,zkSync代幣$ZK昨日上架幣安后就持續(xù)陰跌,現(xiàn)報0.1999美元,低于此前市場預(yù)測的盤前價格。
zk-SNARKs與zk-STARKS有什么區(qū)別?
zk-SNARKs與zk-STARKS均屬于零知識證明技術(shù),允許一方能夠向另一方證明其聲明是真實的,而無需透露任何其他信息,有利于增加隱私和可擴展性。不過,二者仍然存在以下區(qū)別:
zk-SNARK:簡潔+非互動性
zk-SNARK是一種簡潔、非互動的零知識證明技術(shù),全名為Zero-Knowledge Succinct Non-interractive Argument of Knowledge,它具備以下特征:
zero-knowledge:零知識證明,在不暴露隱私的情況下向?qū)Ψ阶C明一件事情,讓資料「可用而不可知」。
succinct:簡潔性,要證明的東西占用的空間很小,而且可以快速驗證(幾毫秒)。
non-interactive:非交互性,意味著證明者和驗證者之間不需要有交集即可快速地得到驗證結(jié)果。
zk-SNARK的簡潔性和非互動性,是相對于傳統(tǒng)的零知識證明方案而言的。簡單來說,傳統(tǒng)方案是互動式證明,即示證者(宣稱某一命題為真)和驗證者(確認該命題確實為真)之間反復(fù)確認,你可以理解為示證者不斷向驗證者詢問「是或不是?」,然后驗證者不斷給出回答,直到最后碰出一個正確答案來,所以效率很低。
zk-SNARK的解決方案則不需要雙方反覆確認「是或不是」,而是提前先搞一個正確答案,以此產(chǎn)生公共參考字串(CRS),然后所有的示證者都可以直接訪問它。但是,公開參考字串通常由一個小團體來保管,因此有泄漏的可能性,從而被惡意利用,例如創(chuàng)建虛假證明。這犧牲了安全性為代價。
zk-STARK:機率證明+緩沖時間
zk-STARK是成立于2017年12月的StarkWare團隊開發(fā)的,它是zk-SNARK的替代解決方案。
zk-STARK雖然是一種互動式證明,但它是一種巧妙的互動式證明——通過雜湊函數(shù)碰撞(一種機率證明的方式)來保證安全性,因此也實現(xiàn)了高效證明。簡單來說就是,先把問題用密碼學(xué)的方式打碎,然后驗證者隨機向示證者提出幾個問題,如果幾輪下來,示證者都給出準確的回答,那么驗證就通過了。
zk-STARK直接利用產(chǎn)生隨機性的參數(shù)來驗證,不需要任何第三方的「答案系統(tǒng)」,因此透明度大幅提高,并且在理論上,量子電腦對其的暴 力 破 解也是無效的。因此相對而言更加安全。
以上就是看空zkSync? V神:零知識證明應(yīng)用低估了zk-STARKS潛力的詳細內(nèi)容,更多關(guān)于zk-SNARKs與zk-STARKS有什么區(qū)別?的資料請關(guān)注腳本之家其它相關(guān)文章!
你可能感興趣的文章
-
SEC反駁Ripple:與LUNA事件的Terra和解性質(zhì)不同
Ripple和SEC的起訴案從2020年至今仍未結(jié)束,Ripple在13日向美國紐約南區(qū)法院地方法官Analisa Torres要求處以不超過1000萬美元的民事罰款,然而,隔日SEC致信反駁其論點,聲…
2024-06-17 -
SEC堅決反對Ripple降低罰款:數(shù)額不足難以達到懲罰效果
美國證券交易委員會(SEC)對Ripple Labs最新要求降低罰款的主張?zhí)岢鰪娏曳磳ΓJ為這樣的罰款數(shù)額不足以達到應(yīng)有的懲罰效果, 更多詳細資訊請看下面正文…
2024-06-17 -
Curve創(chuàng)辦人Michael Egorov認為1.4億美元清算始于UwU Lend被盜
涉及自動清算1億美元貸款的重大挫折后,Curve Finance創(chuàng)辦人Michael Egorov重申平臺將致力于成為最安全的借貸平臺,而被Egorov拿來借貸的平臺UwU Lend發(fā)生的「漏洞事件」也…
2025-04-18 -
Ripple批SEC罰款20億美元太多!引用Terraform和解案認為罰1千萬剛好
The block報導(dǎo),與美國證監(jiān)會(SEC)訴訟抗戰(zhàn)已久的Ripple Labs,在周四的法庭文件中對SEC求處的20億美元罰款表達強烈反對,更多詳細資訊請看下面正文…
2024-06-15 -
Terraform與SEC以45億美元罰金和解!Do Kwon需自付2億美元
美國證 監(jiān) 會(SEC)周三提交「最終同意判決提案」,請求紐約南區(qū)美國地方法院法官Jed Rakoff批準該計劃,據(jù)該提案,Terraform將支付35.8億美元的非法所得、4.2億美元的民事罰…
2024-06-13 -
礦企Bitfarms實施毒丸計劃!反對Riot惡意并購
隨著礦企Bitfarms年度股東大會的落幕,該公司也宣布采用了俗稱毒丸計劃(Poison Pill)的股權(quán)攤薄反收購措施,公開對另一礦商Riot的收購提議表達強烈反對,稱其嚴重低估了該…
2024-06-12 -
Harry Dent:美股將迎史詩級暴跌、Nvidia會蒸發(fā)98%!
盡管美股屢創(chuàng)新高、AI晶片巨頭英偉達(Nvidia)股價表現(xiàn)搶眼,但美國經(jīng)濟學(xué)家Harry Dent在10日警告,美股史詩級崩盤將至,納斯達克綜合指數(shù)可能暴跌92%,英偉達股價將暴跌9…
2024-06-12 -
繼Notcoin爆火后!TON生態(tài)小游戲Hamster Kombat(倉鼠快打)操作教學(xué)
繼Notcoin爆火后,Telegram上的小游戲Hamster Kombat近期熱度也直線飆升,本文整理了Hamster Kombat的多種玩法,以利讀者參與游玩, 更多詳細資訊請看下面正文…
2024-06-08 -
富蘭克林計劃推出加密私募基金!將投資競爭幣、提供質(zhì)押獎勵
全球最大的資產(chǎn)管理公司之一Franklin Templeton正在考慮推出一檔全新的加密私募基金,范圍將涵蓋競爭幣及質(zhì)押獎勵, 更多詳細資訊請看下面正文…
2024-06-07 -
Bybit正式官宣:開放海外中國籍用戶注冊賬號!能避開監(jiān)管禁令?
中國在2021年9月宣布禁止加密貨幣,并宣布相關(guān)的所有交易都是非法的,不過Bybit近日突然允許海外中國籍用戶進行KYC身份認證,希望滿足用戶的需求, 更多詳細資訊請看下面正文…
2024-06-07