以太坊創(chuàng)辦人Vitalik Buterin昨(17)日稍晚在Web3社交平臺(tái)Warpcast上發(fā)文感慨，表示鏈下ZK(零知識(shí)證明)應(yīng)用程序低估了使用STARK的潛力：我認(rèn)為鏈下ZK應(yīng)用程序確實(shí)低估了使用STARK的潛力，包括對(duì)隱私充滿(mǎn)極大要求的用例。目前，STARK的容量小于100kB，對(duì)于鏈下用例而言，與使用STARK節(jié)省的客戶(hù)端證明時(shí)間相比，這種寬帶量簡(jiǎn)直微不足道。

V神看空zkSync？

V神為何會(huì)突然有此感慨？這不禁讓人想到在昨日正式上架幣安等交易所的以太坊Layer2網(wǎng)絡(luò)zkSync。

zkSync是以太坊的第二層擴(kuò)容解決方案，它采用了zk-rollups在鏈下打包交易，并使用零知識(shí)證明(ZK)在鏈上對(duì)其進(jìn)行欺詐驗(yàn)證。但值得注意的是，同為采用zk-rollups的Layer2網(wǎng)絡(luò)，zkSync不同于已經(jīng)發(fā)幣的Starknet，它在零知識(shí)證明系統(tǒng)上采用的是zk-SNARKs技術(shù)，而Starknet采用的則是zk-STARKS技術(shù)。

因此，V神或許不是在針對(duì)zkSync發(fā)表評(píng)論，只是針對(duì)zk-STARKS技術(shù)提出看法；但也有可能是在暗示zk-STARKS技術(shù)更有發(fā)展?jié)摿σ膊灰欢ā?/p>

撰稿當(dāng)下，zkSync代幣$ZK昨日上架幣安后就持續(xù)陰跌，現(xiàn)報(bào)0.1999美元，低于此前市場(chǎng)預(yù)測(cè)的盤(pán)前價(jià)格。

zk-SNARKs與zk-STARKS有什么區(qū)別？

zk-SNARKs與zk-STARKS均屬于零知識(shí)證明技術(shù)，允許一方能夠向另一方證明其聲明是真實(shí)的，而無(wú)需透露任何其他信息，有利于增加隱私和可擴(kuò)展性。不過(guò)，二者仍然存在以下區(qū)別：

zk-SNARK：簡(jiǎn)潔+非互動(dòng)性

zk-SNARK是一種簡(jiǎn)潔、非互動(dòng)的零知識(shí)證明技術(shù)，全名為Zero-Knowledge Succinct Non-interractive Argument of Knowledge，它具備以下特征：

• zero-knowledge：零知識(shí)證明，在不暴露隱私的情況下向?qū)Ψ阶C明一件事情，讓資料「可用而不可知」。

• succinct：簡(jiǎn)潔性，要證明的東西占用的空間很小，而且可以快速驗(yàn)證(幾毫秒)。

• non-interactive：非交互性，意味著證明者和驗(yàn)證者之間不需要有交集即可快速地得到驗(yàn)證結(jié)果。

zk-SNARK的簡(jiǎn)潔性和非互動(dòng)性，是相對(duì)于傳統(tǒng)的零知識(shí)證明方案而言的。簡(jiǎn)單來(lái)說(shuō)，傳統(tǒng)方案是互動(dòng)式證明，即示證者(宣稱(chēng)某一命題為真)和驗(yàn)證者(確認(rèn)該命題確實(shí)為真)之間反復(fù)確認(rèn)，你可以理解為示證者不斷向驗(yàn)證者詢(xún)問(wèn)「是或不是?」，然后驗(yàn)證者不斷給出回答，直到最后碰出一個(gè)正確答案來(lái)，所以效率很低。

zk-SNARK的解決方案則不需要雙方反覆確認(rèn)「是或不是」，而是提前先搞一個(gè)正確答案，以此產(chǎn)生公共參考字串(CRS)，然后所有的示證者都可以直接訪問(wèn)它。但是，公開(kāi)參考字串通常由一個(gè)小團(tuán)體來(lái)保管，因此有泄漏的可能性，從而被惡意利用，例如創(chuàng)建虛假證明。這犧牲了安全性為代價(jià)。

zk-STARK：機(jī)率證明+緩沖時(shí)間

zk-STARK是成立于2017年12月的StarkWare團(tuán)隊(duì)開(kāi)發(fā)的，它是zk-SNARK的替代解決方案。

zk-STARK雖然是一種互動(dòng)式證明，但它是一種巧妙的互動(dòng)式證明——通過(guò)雜湊函數(shù)碰撞(一種機(jī)率證明的方式)來(lái)保證安全性，因此也實(shí)現(xiàn)了高效證明。簡(jiǎn)單來(lái)說(shuō)就是，先把問(wèn)題用密碼學(xué)的方式打碎，然后驗(yàn)證者隨機(jī)向示證者提出幾個(gè)問(wèn)題，如果幾輪下來(lái)，示證者都給出準(zhǔn)確的回答，那么驗(yàn)證就通過(guò)了。

zk-STARK直接利用產(chǎn)生隨機(jī)性的參數(shù)來(lái)驗(yàn)證，不需要任何第三方的「答案系統(tǒng)」，因此透明度大幅提高，并且在理論上，量子電腦對(duì)其的暴 力 破 解也是無(wú)效的。因此相對(duì)而言更加安全。

以上就是看空zkSync？ V神：零知識(shí)證明應(yīng)用低估了zk-STARKS潛力的詳細(xì)內(nèi)容，更多關(guān)于zk-SNARKs與zk-STARKS有什么區(qū)別？的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！

你可能感興趣的文章

• 

  SEC反駁Ripple：與LUNA事件的Terra和解性質(zhì)不同

  Ripple和SEC的起訴案從2020年至今仍未結(jié)束，Ripple在13日向美國(guó)紐約南區(qū)法院地方法官Analisa Torres要求處以不超過(guò)1000萬(wàn)美元的民事罰款，然而，隔日SEC致信反駁其論點(diǎn)，聲…

  2024-06-17
• 

  SEC堅(jiān)決反對(duì)Ripple降低罰款：數(shù)額不足難以達(dá)到懲罰效果

  美國(guó)證券交易委員會(huì)(SEC)對(duì)Ripple Labs最新要求降低罰款的主張?zhí)岢鰪?qiáng)烈反對(duì)，認(rèn)為這樣的罰款數(shù)額不足以達(dá)到應(yīng)有的懲罰效果, 更多詳細(xì)資訊請(qǐng)看下面正文…

  2024-06-17
• 

  Curve創(chuàng)辦人Michael Egorov認(rèn)為1.4億美元清算始于UwU Lend被盜

  涉及自動(dòng)清算1億美元貸款的重大挫折后，Curve Finance創(chuàng)辦人Michael Egorov重申平臺(tái)將致力于成為最安全的借貸平臺(tái),而被Egorov拿來(lái)借貸的平臺(tái)UwU Lend發(fā)生的「漏洞事件」也…

  2025-04-18
• 

  Ripple批SEC罰款20億美元太多！引用Terraform和解案認(rèn)為罰1千萬(wàn)剛好

  The block報(bào)導(dǎo)，與美國(guó)證監(jiān)會(huì)(SEC)訴訟抗戰(zhàn)已久的Ripple Labs，在周四的法庭文件中對(duì)SEC求處的20億美元罰款表達(dá)強(qiáng)烈反對(duì)，更多詳細(xì)資訊請(qǐng)看下面正文…

  2024-06-15
• 

  Terraform與SEC以45億美元罰金和解！Do Kwon需自付2億美元

  美國(guó)證 監(jiān) 會(huì)(SEC)周三提交「最終同意判決提案」，請(qǐng)求紐約南區(qū)美國(guó)地方法院法官Jed Rakoff批準(zhǔn)該計(jì)劃,據(jù)該提案，Terraform將支付35.8億美元的非法所得、4.2億美元的民事罰…

  2024-06-13
• 

  礦企Bitfarms實(shí)施毒丸計(jì)劃！反對(duì)Riot惡意并購(gòu)

  隨著礦企Bitfarms年度股東大會(huì)的落幕，該公司也宣布采用了俗稱(chēng)毒丸計(jì)劃(Poison Pill)的股權(quán)攤薄反收購(gòu)措施，公開(kāi)對(duì)另一礦商Riot的收購(gòu)提議表達(dá)強(qiáng)烈反對(duì)，稱(chēng)其嚴(yán)重低估了該…

  2024-06-12
• 

  Harry Dent：美股將迎史詩(shī)級(jí)暴跌、Nvidia會(huì)蒸發(fā)98％！

  盡管美股屢創(chuàng)新高、AI晶片巨頭英偉達(dá)（Nvidia）股價(jià)表現(xiàn)搶眼，但美國(guó)經(jīng)濟(jì)學(xué)家Harry Dent在10日警告，美股史詩(shī)級(jí)崩盤(pán)將至，納斯達(dá)克綜合指數(shù)可能暴跌92%，英偉達(dá)股價(jià)將暴跌9…

  2024-06-12
• 

  繼Notcoin爆火后！TON生態(tài)小游戲Hamster Kombat(倉(cāng)鼠快打)操作教學(xué)

  繼Notcoin爆火后，Telegram上的小游戲Hamster Kombat近期熱度也直線飆升，本文整理了Hamster Kombat的多種玩法，以利讀者參與游玩, 更多詳細(xì)資訊請(qǐng)看下面正文…

  2024-06-08
• 

  富蘭克林計(jì)劃推出加密私募基金！將投資競(jìng)爭(zhēng)幣、提供質(zhì)押獎(jiǎng)勵(lì)

  全球最大的資產(chǎn)管理公司之一Franklin Templeton正在考慮推出一檔全新的加密私募基金，范圍將涵蓋競(jìng)爭(zhēng)幣及質(zhì)押獎(jiǎng)勵(lì), 更多詳細(xì)資訊請(qǐng)看下面正文…

  2024-06-07
• 

  Bybit正式官宣：開(kāi)放海外中國(guó)籍用戶(hù)注冊(cè)賬號(hào)！能避開(kāi)監(jiān)管禁令？

  中國(guó)在2021年9月宣布禁止加密貨幣，并宣布相關(guān)的所有交易都是非法的,不過(guò)Bybit近日突然允許海外中國(guó)籍用戶(hù)進(jìn)行KYC身份認(rèn)證，希望滿(mǎn)足用戶(hù)的需求, 更多詳細(xì)資訊請(qǐng)看下面正文…

  2024-06-07