看空zkSync？ V神：零知識(shí)證明應(yīng)用低估了zk-STARKS潛力
以太坊創(chuàng)辦人Vitalik Buterin昨(17)日稍晚在Web3社交平臺(tái)Warpcast上發(fā)文感慨，表示鏈下ZK(零知識(shí)證明)應(yīng)用程序低估了使用STARK的潛力：我認(rèn)為鏈下ZK應(yīng)用程序確實(shí)低估了使用STARK的潛力，包括對(duì)隱私充滿極大要求的用例。目前，STARK的容量小于100kB，對(duì)于鏈下用例而言，與使用STARK節(jié)省的客戶端證明時(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)式證明，即示證者(宣稱某一命題為真)和驗(yàn)證者(確認(rèn)該命題確實(shí)為真)之間反復(fù)確認(rèn)，你可以理解為示證者不斷向驗(yà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ì)而言更加安全。
你可能感興趣的文章
-
幣安新幣挖礦上線ZK零知識(shí)證明項(xiàng)目Manta！BNB漲破320美元
交易所幣安（Binance）昨晚公告上線其第44期「新幣挖礦」項(xiàng)目：隱私零知識(shí)證明（ZKP）項(xiàng)目Manta（MANTA），用戶可在今（16）日8:00后將BNB和FDUSD投入礦池中參與挖礦，BNB…
2024-01-16 -
聯(lián)合國(guó)計(jì)劃以ZK零知識(shí)證明打造去中心化數(shù)字身份DID保護(hù)難民安全
聯(lián)合國(guó)難民署（UNHCR）正在研究應(yīng)用零知識(shí)證明（ZK-proofs）技術(shù)，以建立一套去中心化數(shù)字身份（DID）機(jī)制來(lái)保護(hù)難民,旨在幫助快速且安全地驗(yàn)證難民身份，尤其在跨越國(guó)境時(shí)…
2023-12-23 -
Optimistic證明 Vs. ZK證明：未來(lái)誰(shuí)將成為主流
optimistic證明（又名欺詐證明或錯(cuò)誤證明）是結(jié)算rollup狀態(tài)更新的主要可行方法,本文將詳細(xì)介紹Optimistic證明系統(tǒng)的發(fā)展過(guò)程，當(dāng)前格局以及未來(lái)發(fā)展趨勢(shì),…
2025-04-18 -
幣安上線代幣ZK、開(kāi)啟空投計(jì)劃！超5萬(wàn)名用戶可獲得
交易所幣安將在今日（17日）17:00上線ZKsync原生代幣ZK，并且似乎是為了平息用戶怒火，幣安計(jì)劃向符合資格的用戶發(fā)放200ZK,另外ZK空投申領(lǐng)已于今日15:00開(kāi)放，用戶可以至申…
2024-06-17 -
ZKsync回應(yīng)空投質(zhì)疑：交易為0的空投地址為測(cè)試地址，代幣將銷毀
交易量對(duì)于分配規(guī)模和價(jià)值縮放沒(méi)有影響,ZKsync回應(yīng)空投質(zhì)疑：交易為0的空投地址為測(cè)試地址，代幣將銷毀…
2024-06-14 -
Meme幣拖累幣圈創(chuàng)新？ V神建議多探索ZK技術(shù)、去中心化社交、預(yù)測(cè)市場(chǎng)等
以太坊共同創(chuàng)辦人Vitalik Buterin昨（12）日在社群平臺(tái)X回應(yīng)，闡述了加密貨幣領(lǐng)域未來(lái)可能的發(fā)展方向，其中包括ZK技術(shù)、p2p支付、預(yù)測(cè)市場(chǎng)……
2024-06-14
