買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > Polygon > Info

ROL:尋找 2023 ZK 賽道新密碼_STAR

Author:

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

會議成員

主持人:Jesse,Biteye內容組長

嘉賓:

Cora,PolygonHeadofChina

Leo,StarkNet中文核心貢獻者

Todd,A&TCapitalInvestmentDirector

Young,Scroll研究員

潘致雄,ChainFeedsFounder

問題導覽

1.ZKrollup它是什么?它在我們區塊鏈的擴容和隱私方面起到了什么作用?

2.Polygon、StarkNet、Scroll三個不同項目對于ZKevm解決方案里面的特色是哪些?以及目前的進展以及之后的發展計劃?

3.零知識證明在未來的Web3中會去扮演著什么樣的角色呢?除了經常談到的擴容和隱私,還有沒有哪些場景沒有被挖掘?在零知識證明賽道里面還有哪些值得關注的早期項目?

4.作為普通投資者的話,我們如果想要搭上ZK的快車,我們有哪些可以做的?

會議摘要

zkevm分類:按照V神zkevem的4個分類(以太坊兼容性和zk證明時間的權衡),scroll和polygon正在建設第二個分類,而starkware通過把Solidity編譯成Cairo,也可以實現第四個分類。

項目計劃:Scroll2月份下旬測試網遷移到以太坊Goerli,年底launch主網;polygon的zkevm會在3月27號進行主網測試版上線;Starkware的Cairo升級到Cairo1.0,需要社區投票。

項目新動向:基于zk技術的PolygonID;Visa最近在Starkware做了支付的應用,關注Starkware的鏈游和defi;Scroll開源方式和社區共建zkevm,以及分布式的證明者網絡。

zk應用場景:擴容,隱私,zk跨鏈橋,zkoracle,zk+gamefi,zk工具(比如利用semaphore開發隱私社交unirep.social)。

Cora

Hello,大家好,我是Cora,來自Polygon,Polygon我覺得大家應該現在都比較熟悉,現在是整個區塊鏈的第三大生態,早期它是一個以太坊的側鏈,然后做到了一個layer2圍繞以太坊的一個全站的擴容方案,包括主網也是上鏈的。

主網在2020年已經推出了,接下來我們將從一個圍繞以太坊的一個全站擴容方案,演變成一個專攻于zk的方案。

在2021年的時候,我們推出了一個10億美金的基金專門針對于zk的研發,Polygon現在針對于zk即將推出zkevm。

3月27號是zkevm主網測試版本的一個上線的日子,包括用zk的技術,我們還做了polygonID,未來會牽扯到比如說是跟英國的一個手機服務商,還有HTC的合作。

未來的Socialfi賽道也會與PolygonID會有比較大的融合,也希望大家期待,謝謝。

Leo

大家好,我是StarkNet中文的Leo,主要是負責StarkNet在中文社區的內容教育,StarkNet是StarWare這個團隊用Stark有效性證明來做的Layer2的擴展方案。

StarWare最早開發的是大家都很熟知的StarkEx,上面的應用有DYDXIMX等非常知名的項目。

現在已經處理的總交易量已經有8500?多億,單日的最高交易量有100多億。StartEx是最早的一個利用zk技術stark有效性證明來做的一個擴展的方案。

在StartEx之后,StarkWare就推出了StarkNet,它是一個通用計算的一個開放式的平臺。

最早StarkNet上已經有很多的開發者和應用,最著名的就是近期的visa主動在StarkNet上利用賬戶抽象來做一些轉賬支付的應用。

所以說StarkNet未來在Layer2上會有非常不同的表現,希望大家能多多關注,謝謝。

Todd

我是Todd,來自于A&TCapital,我們Fund在zk方面目前為止投了有像Scroll,delphinuslab,然后最近也有參與一些硬件方面的投資。ZK也是我重點去關注去研究的一個方向,就先介紹到這里。

美國聯邦管理局正尋找中間機構管理其扣押的加密貨幣:美國聯邦管理局(USMS)正在尋找中間機構來幫助管理其在打擊犯罪分子過程中扣押的加密貨幣。據悉,USMS本身一直在管理從罪犯手中奪取的虛擬資產,有時還會將這些資產拍賣給公眾。今年2月,該機構首次拍賣約4040枚BTC,當時的成交價約為3,770萬美元。(Coindesk)[2020/6/9]

Young

Hello大家好,我是Young。目前做一些ZK和以太坊相關一些技術研究,然后Scroll的話我們是一個字節碼級別去兼容以太坊的zkrollup,也就是evm的ZKRollup。Scroll是在不犧牲安全性的前提下,對以太坊進行擴容。

我們與其他擴容方案不同的是,我們開發人員可以在Scroll上面擁有和以太坊完全相同的開發體驗。

目前我們正在和以太坊基金會一起以開源的方式去共同去buildzkevm.因此Scroll的應該說是這種性能最好的Layer2。

從整個ZKevm的話,從第一天Build我們就是以一種開源的方式,其實有這樣一個開源的代碼,對于整個項目有非常多的一些獨特屬性,所有的PR和代碼都經過了一些貢獻者和社區同行的評審,同時就是這樣一個開源的氛圍,吸引了很多的zk開發的人才,還有一些對ZK關注的行業的學術機構。

目前對于開發者的體驗的話,大家在我們上面去部署,你不需要去重新去編譯或者審計,可以無縫的去從原來EVM去遷移到Scroll網絡上,對于開發者的體驗會非常好。

另外我們在Proof方面我們會有個Proofnetwork,這樣可以高效的支持我們去做一些并行加速的計算幫助證明快速的生成。

我們會構建一個decentralized一個Provernetwork,然后還會有一個極快的GPU的解決方案來支持它。

目前整個網絡的情況是在去年10月份的時候,允許了開發者還有一些DeFi在上面去部署合約,包括一些ERC20代幣的一些跨鏈。

然后目前的話,目前我們會在2月底左右我們會上線ETHGoerli的測試網,這版本的功能會是一個更加完整的proof,然后我們會把所有的code都會去對應zk化。

我們目前在生態方面的合作了包括像Lens,Thegraph、Ledger、Orbiter,目前已經有幾十個項目步入我們的測試網,還有100多個項目正在我們測試網去做一些測試。

目前整個測試網的一個數據化是我們目前做zkevm的同行總交易量的300倍左右,然后應該是zkSync的目前總交易量的2萬倍左右。

潘致雄

我叫潘致雄,我們現在在做一個叫ChainFeeds的內容聚合平臺,平時的話我是比較關注密碼學和zk相關的一些進展,會做一些學習,今天來主要是向各位項目方學習。

Jesse

在開始之前向大家簡單的介紹一下什么是零知識證明,以及它是如何工作的。零知識證明它的英文就是Zero-knowledgeProof,也就是俗稱的zk,是一個早在1985年就提出來的數學協議。

零知識證明里面有兩個重要的角色,一個是證明者,他要證明自己知道某一個信息,另外一個是驗證者,用來驗證證明者是否知道這個信息,零知識證明允許證明者來向驗證者證明某一件事情的真實性,但是除了這個事實之外,不會再透露任何其他的信息。

所以零知識證明提供了一種有效的,幾乎沒有風險的一種數據分享方式,利用零知識證明,我們可以保留對數據的所有權,可以極大的提高隱私保護,有可能會使我們數據泄露的事情成為過去式。

零知識證明有三個特點,分別是完整性、合理性和零知識。完整性是指如果一個聲明是真實的,誠實的驗證者會被誠實的證明者說服,也就是說如果一個事實是對的,那么它是錯不了。

合理性是指如果一個聲明是錯誤的,在絕大多數的情況下,欺騙的證明者不能讓誠實的驗證者相信這個虛假的證明,也就是說如果一個事件它是錯誤的,那么肯定是對不了。

最后一點零知識,如果一個聲明它是真實的,驗證者除了能得知這個聲明是真實的之外,他不能再獲得任何多余的信息。那么零知識證明是如何工作的?它主要分為交互式、零知識證明和非交互式零知識證明。交互式由三者組成,分別是證據、挑戰和回應三部分。

證據指的就是秘密信息,不想讓其他人知道的信息,用證據就是來建立一系列的問題,而這些問題只有知道這些信息的人能夠正確回答,驗證者會首先發起一個挑戰,他會隨機的抽取一個問題來要求證明者來回答,證明者接受這個問題之后,會把計算的結果返還給驗證者,證明者的回應能夠使驗證者來檢查這個證明者是否知道這個證據。

Kleiman正在尋找CSW出示偽造文件并作偽證的證據:在“Kleiman方訴CSW”一案中,在法院抨擊CSW出示偽造文件并在關于郁金香信托(Tulip Trust)的持續法律糾紛中作偽證后,Kleiman方面的法律團隊正在努力尋找主要證人。CSW的法律團隊也正試圖傳喚nChain前首席執行官Jimmy Nguyen提供證詞。據悉,這個案子已經持續了20個多月,CSW提供的文件顯示,法庭懷疑nChain參與了這起案件。(Cointelegraph)[2020/3/31]

如果這個過程重復很多次之后,證明者在不知道這個秘密信息的情況下,猜中正確答案的概率就會變得非常的低,這也就是為什么零知識證明它是有效的,但是交互式的零知識證明它具有一定的局限性,一方面它是需要我們進行多次的重復驗證,效率會比較低。

另一方面,每一個證明它不可以在獨立的驗證中重復使用,所以其實交互式證明相對來說效率會比較低。

因此有人就提出了一個非交互式的零知識證明,它由證明者和驗證者來共享一個密鑰,通過僅進行一次的認證,來使零知識證明更加有效。

而且證明一旦生成之后,任何有共享密鑰和驗證算法的人都可以進行驗證。所以非交互式的零知識證明是zk技術里面的一大突破,也促進了現在zk賽道的蓬勃發展,主要的方法就有大家所熟知的ZK-SNARK和ZK-STARK。

Jesse

在了解完零知識證明之后,下面我們進入提問環節。

首先第一個問題是,ZKrollup它是什么?它在我們區塊鏈的擴容和隱私方面起到了什么作用?

Young

關于零知識證明的話,它本身的概念還是比較寬泛的,建議大家就可以去看一下相關文章。

然后我稍微在零知識證明這里補充一個案例,比如說在一個現場,你知道現場主持人的電話號碼,但是你不能去暴露他這個號碼。你如果知道信息的話,你直接可以給他打電話,如果他的電話在現場響了之后,那就說明你知道他的信息。

所以你要證明一個statement的真實性,而不去透露任何超出這個statement本身有效性的信息。

關于ZKRollup我們可以首先了解一下什么是Rollup,它其實是一種把計算去移到鏈下,同時把一些記錄的消息或者交易放在Layer1上的一種方式。

Rollup本質上實現了兩個大的方向,它釋放了原來技術層的一些資源,同時又繼承了目前Layer1的安全性。

然后Rollup主要分為兩種,一種是OptimismRoll-up,然后另一種就是今天要講的ZKRollup。ZKRollup的一個出發點就是一開始在Layer1上有一個問題,每筆交易都需要去廣播到一個P2P的網絡里,各個節點會收到一個裝滿交易的塊,大家都需要去重新執行里面的所有交易,這樣的方式其實在Layer1是非常低效的,而且會存在大量冗余。

所以說ZKRollup背后的idea就是說你現在不需要去把每個交易去廣播到一個P2P的網絡里,正好相反,把所有的交易發送到一個離線的Layer2節點,假設你現在收到了1000條交易,他可以去產生一個數學證明的proof,這個是依賴于input的一些交易產生的證明,他不需要去重新廣播到所有的交易,它只需要去提交這條交易的一部分。

比如說可以恢復出account數值等一些比較重要的信息,它可以作為publicinput和再加proof,它要比原生的交易要小很多,而且驗證這些proof的效果和你去重新去執行去計算這些交易是完全等價的。

因此我們可以把ZKRollup歸結為三點,它利用了ZK-SNARK去做交易的驗證。

其次所有節點之間它不需要相信證明者就可以驗證交易的正確性,同時它在使交易成本更低的情況下,又繼承了以太坊的安全性。

關于ZKRollup的擴容和隱私方面,主流的zkevm它并沒有去考慮隱私性。

其實主要用到了ZK-SNARK里面一個的特性去把計算量給壓縮下來。目前這一塊的話,做ZKevm項目和一些隱私保護項目也沒法對比,但是做隱私是一個非常重要的方向。

Cora

ZKevm大致大家理解的就是用ZKRollup解決evm兼容的問題。簡單的說就是讓零知識證明ZK這個技術更好的兼容以太坊現有的基礎設施,然后提高zk證明的生成和驗證效率。

蒙特利爾正在尋找切斷追蹤裝置的加密貨幣盜竊案逃犯:加拿大蒙特利爾擔心,一名被指控與重大加密貨幣盜竊案有關的男子會逃往國外逃避法律程序。蒙特利爾警察局(SPVM)稱,34歲的Vukasin Popovic據稱在周六上午切斷了他的追蹤裝置。據報道,嫌犯于2月12日被捕。在審判期間,他在出庭后第二天獲釋,前提是他戴著電子GPS手鐲。陳:“他可能會用自己的真實身份,甚至以Duliano Jovanovic或者Djuliano Jovanovic的名義使用假身份。”他還可能使用另一個假身份。據悉,Vukasin Popovic膚色白皙,頭發和眼睛是棕色的。他大約身高五英尺七英寸(170.18厘米),體重接近200磅(181.4斤)。要求公眾如果看到Popovic或知道其下落,就與當局聯系。(Global News)[2020/3/22]

ZKRollup的evm兼容之所以成為一個需要解決的問題,是因為以太坊在創立之初沒有考慮兼容ZK技術,現在用evm直接生成驗證zk的證明速度是非常慢的,根據以太坊目前的情況,可能需要幾個小時,所以說ZKRollup需要在evm兼容與ZK效率之間做一個平衡。

之前整個行業是認為evm等效的zkevm是不會存在的,以太坊的社區要做出一定的妥協,例如提款延遲和欺詐證明為ZKRollup設計全新的語言,或者用特殊編譯器來兼容zkevm相對來說都是缺乏對現有以太坊開發工具的支持。

要做到真正的evm等價,就意味著以太坊可以在不采取折中的措施的情況下進行擴展,而擴展以太坊的最佳的方式就是要保留現有的以太坊生態,比如代碼工具和基礎設施都是需要正常工作的。

之前在V神的一個博客里他對于zkevm進行過詳細劃分,比如說類型一是兼容性最強,但ZK效率最低的,這個是他個人想要的一個最理想的形態。

類型二是Polygon目前比較想達到的一個目標,雖然不完全等效以太坊,但是完全等效evm。類型二與以太坊的數據結構上會有一些不同,刪除了部分對ZK不友好的堆棧,但它會完全兼容現有以太坊的APP調試的工具和開發人員的一些基礎設施。

類型三其實就是目前polygon處在的一個階段,幾乎等效于evm。

Polygon6個月前推出的測試網和3月27號即將推出的主網測試版本,都是希望有通過一些測試能讓整一個方案就得到一個更好的優化,盡量的往類型二去靠。

目前面臨的一個問題首先就是鏈上可能需要足夠的多測試的項目,從中找尋有一個更優化的方式。

Todd

從本人角度來講,ZKevm跟其他的evm最核心一個區別就是他們最后發送到以太坊的section,或者說一個數據Data包里面,所包含的東西是不一樣的。

Zk發送回以太坊的是一個zk的proof,在以太坊一層網絡上是需要能有一個verifier,然后來驗證zkevm發回到以太坊一層的package,來確認以evm為自己虛擬機的Layer2,他們在過去的這一個塊里面所執行所有交易的真實性。

而其他的evm更多的其實是直接把整個交易壓縮了以后就發回,并不是以一個proof的形式所發回去的.ZK的Layer2通常來講只需要等待以太網一層網絡驗證完了proof以后,其他整個Layer2過去這一個區塊的交易就已經可以達到最終性了,而不是像Arbitrum或者Optimism大概需要有7天的等待期,才能夠完成對Layer2交易的確認。

再說一下瓶頸這個階段,剛剛cora已經講了很多了,我補充一個,如果想要在ZKevm里完全實現對以太坊EVM完全等效的話,目前這是一個很難的一個難題。

這個地方現在被卡住最明顯的一件事情是因為整個evm原來的Code編譯到zk整個電路里面去,這是一個非常不友好,相當于兩套設計的方案,其中的兼容性會不太友好。

那么如果說一定要將100%的EVM等效編譯到頁面里面去會出現一個問題,你所對應的proof的生成時間會非常長,大家可能也看過去年V神寫的一篇文章,一個完全等效的evm生成一個proof的時間,大概會在幾個小時這樣的一個量級。

這種冗長的時間會對這個類型的ZKevmLayer2的交易效率會有非常明顯的影響,用戶提出去的交易到能夠確認需要等幾個小時,這樣的一個時間是過長的,文章里面也涉及到對整個電路部分的優化。

個人理解這個部分的優化現在無論是以太坊自己的的團隊,還是說外部的一個團隊,大家都在嘗試著去把優化盡可能的實現,使得說一個絕對完全等效的ZKevm能夠盡快的被大家所用上。

聲音 | 安信證券:央行數字貨幣的發行可圍繞三條主線尋找投資機會:9月24日,中國人民銀行行長易綱在發布會上回應稱,人民銀行從2014年就開始研究數字貨幣,目前取得了積極進展。安信證券認為,央行數字貨幣的發行勢必將對現有的金融市場帶來顛覆性的變化,創造全新的商業機會。建議圍繞三條主線尋找投資機會:(1)發行環節—銀行IT供應商。(2)流通環節—錢包服務提供商、支付服務提供商。(3)管理環節—安全加密、KYC認證。(第一財經)[2019/9/25]

在那之前就像大家剛才講像Scroll或者Polygon,大家可能都會選擇像Type2或者type3的這樣的一些ZKevm,雖然等效性沒有那么強,但是也能夠極大可能性的讓開發者不改變過去的開發習慣就可以實現一些應用。

Jesse

Polygon、StarkNet、Scroll三個不同項目對于ZKevm解決方案里面的特色是哪些?以及目前的進展以及之后的發展計劃?

Leo

我現在介紹一下StarkEx和StarkNet。StarkEx它是一個商用的定制的解決方案,就像dydx等項目專門去為他定制的zk電路,然后因為它對于ZK在擴容方面的應用的話,這種單獨為每個應用來單獨定制的話是非常容易,但是這樣的話其實是不具備開放性。

Starkware想要做另外一種擴容方案,一個開放式的無需許可的,然后這種通用型的Layer2解決方案,就推出了StarkNet。剛才cora說到,如果要做這種evm全兼容的通用型電路,難度是非常大的。

剛才也說到它的速度會比較慢,所以說Starkware在這方面就做了一個自己的語言,叫Cairo,Cairo它也是一個通用型的語言,是專門來處理stark證明的一個語言。

Cairo之前的一個版本跟Python比較像,最近要做一次重大的更新,升級到Cairo1。Cairo1是基于Rust的全新的語言。

Cairo1升級以后會對開發者更加友好,如果說之前有Rust的開發經驗,可以很容易的來對接到StarkNet的生態里面。

之前Cairo的話并不支持循環,只是遞歸的形式,現在對開發者來說可以使用這個循環,然后還有很多新的功能,Cairo1現在已經開放了阿爾法測試,可以開始寫ERC20的合約然后在測試網上來測試了,之后會逐漸的來更新讓Cairo之前版本的所有功能在后面就會進行實現。

另外最近在22年年底和23年1月份又陸續了公開了sequencer和prover的開源。現在sequencer已經在上個版本實現了并行交易,如果開源的話,還會增加一些其他的功能來提高交易的速度,后面的話sequencer上有個對整個網絡的性能會有很大的提升。

另外就是prover的開源,是基于之前通用型的證明器,就是說一個證明器每只能處理一種類型的這種交易,做一種類型的業務邏輯的證明,而通用型的證明器可以做成多種業務類型的都可以來產生證明,之后StarkEx的prover也會也會開源。

開源之后,在Stark上開發這些應用,開發者可以根據自己的需求來定制一些更好的方案。

另外還有StarkWare推出的全節點Papyrus一個新的Rust全節點。現在StarkNet市場已經有三個全節點,Equilibrium開發的Pathfinder,和Nethermind開發的Juno。之后Cairo1.0更新以后,StarkNet會有一次大的更新,就是StarkNet0.11版本,這個版本同時就會完全兼容Cairo1.0就是Rust的版本的Cairo。

這次升級會有一個社區的投票來決定,大家可以來參與到整個生態當中。另外剛才還有說到Evm,Starknet事實上并不是Vitalik提到的Evm之一,但是由Nethermind開發了一個轉譯器,就是可以將Soildity轉譯Cairo。這就是Warp。

通過Warp實際上也能實現Type4?EVM跟以太坊語言級別的兼容。Warp之前已經在去年十一月份已經將UniswapV3所有的合約轉移到了Cairo,還有AAVE他們也是會用到Warp轉譯成Cairo,所以有對soildity有開發經驗的開發者,通過Warp可以很輕松的來對接到Starknet網絡當中。

Young

不同的項目對于ZK目前的一個解決方案是不太一樣的,主要就分為在語言級別或者bytecode級別。

挖礦已經干擾到尋找地外智慧生命的SETI計算計劃:虛擬貨幣在全球風靡,挖礦占用了大量的能源和計算資源,著名的SETI - 尋找地外智慧生命計算計劃也開始收到挖礦的影響,這可能讓尋找外星人的工作進展得更慢。SETI稱,挖礦導致圖形處理器GPU供應短缺,進而影響該組織和其他觀察臺的數據監測。[2018/2/15]

Scroll在金融性方面是一個字節碼級別去進入以太坊的ZKrollup。這樣做的好處是對于evm的一些開發者來講,他們在以太坊上面開發的體驗和在scroll上面是完全一樣的。

而且現在整個evm生態里面的Dapp,他們可以去無縫的去遷移到ScrollNetwork上面,去部署整個項目。這樣對于開發者的體驗非常好,對于開發者社區的成長會非常快。

另外一點就是我們是從第一天開始去做zkevm就是和以太坊基金會一起在開源的去build,這樣好處就是會讓整個Scroll的項目它的因為它代碼是開源的,所以代碼具有非常好的安全性。因為所有的PR和代碼都是經過了非常多的貢獻者和社區同行的評審。

另外這樣一個開源的culture的一個社區,會吸引非常多對于zk廣泛關注的人才,也會吸引非常多的開發者來社區做貢獻。,Scroll也會自己的Grant,為了強化Scroll上整個生態的基礎設施建設,同時也去服務整個生態的builder,去促進整個網絡的連接。

目前Scrollfocus的領域,比如說像一些publicgoods,還有包括infra的research的一些項目,然后標準的話就跟我們自身的一個開源文化一樣,我們會資助一些開源的項目,讓項目去回饋整個Scroll,還有以太坊整個社區。

在Grant這方面,Scroll不光是去做一些資金的支持,也會提供技術層面或者其他的資源來幫助生態的開發者去解決他們當前遇到的一些問題,是目前Scroll最重要的宗旨。

另外第三點的話,Scroll應該是最早提出證明外包的概念。在證明者方面,Scroll會有一個ProverNetwork,在今年的話會上線一個decentralizedprovernetwork,還有一個非常快的GPU的解決方案去支持Prover的網絡。

這樣的話Scroll會為整個Layer2去產生Proof提供非常大的支持,同時它未來還會給Layer3一些像性能要求高的應用,會給他們提供一些這種Proof的生成的支持。

在證明網絡這方面,Scroll今年會開源一個硬件加速算法,另外Scroll現在也在和國內外的一些做硬件的廠商去做一些合作,可能會開出應用加速這塊API,然后去找一些合作伙伴去測試,主要還是對于目前整個機型,包括一些整體的優化的測試。

目前整個網絡的進展的話,Scroll在22年8月份上線的Prealphatestnet,在10月份Scroll做了一次比較大的升級,然后會在2月中下旬會把測試網整個都遷移到Ethereumgoerli里的版本,scroll預計在今年的Q2末左右會上線我們的ProverNetwork,然后會在今年年底會Launch主網,在主網之前會進行非常嚴格的一些安全審計。

在Sequencer方面的話,Scroll會在主網上線之后做一個去中心化,今年也會出一些關于dcentralisesequencers的文章。

因為我們覺得前期的sequencer去中心化不一定很好,但還是sequencer去中心化是一個長期的方案。目前整個生態方面,Scroll去接觸了大量的基礎設施項目,為后面生態的成長去做基礎性的建設。

Cora

Polygonzkevm目前實現了zkproof的開源,包含完整的可用源代碼的zk證明系統,并且承諾完全開源,然后是由社區驅動的無需許可協調者網絡以及帶有驗證獎勵代幣的去中心化的一個拍賣模型。

Polygonzkevm目前已經通過了100%的適用于zkevm的以太坊測試向量,開發人員可以復制粘貼適用于以太坊的代碼,并且使用它在Polygonzkevm上面構建是無需做任何更改的。

所以以太坊工具都可以與Polygonzkevm無縫的銜接以及協作,那么Polygonzkevm也不會為了evm等效性而犧牲性能。目前一批數百筆交易的證明時間是接近兩分鐘,在不久的將來吞吐量是會增加的。需要強調一下的是證明時間它是決定了延遲不是擴展性,所以Polygonzkevm可以并行的生成證明,幾分鐘之內在Layer1上實現高吞吐量的交易。

Polygonzkevm在3月27號進行主網的測試版本的上線,在6個月的測試網的運行下,Polygonzkevm超過了84,000個錢包的注冊,生成了超過30萬個區塊,生成了超過75,000個zk證明,部署了超過5000個智能合約,兩次公開的第三方審核。

后面還進行了6個月的公開測試,100%通過了適用于zkevm的以太坊測試量,并且將證明生成時間縮短到將近兩分鐘,為大量交易生成證明的成本,現在降低到差不多0.06美金。

Polygon的目標是做到V神說的type2,也就意味著Polygonzkevm最終從內部看起來是與以太坊一模一樣的,Polygonzkevm還在不斷的優化中,也歡迎有更多的項目方來我們即將上線的主網的測試版本進行測試。

Jesse

零知識證明在未來的Web3中會去扮演著什么樣的角色呢?除了經常談到的擴容和隱私,還有沒有哪些場景沒有被挖掘?在零知識證明賽道里面還有哪些值得關注的早期項目?

潘致雄

我覺得擴容和隱私肯定是兩個大的方向,擴容這一塊能看到大家都在往zkevm相關的事情在做嘗試,但是從更長期角度來看,更通用的evm或者不需要承載以太坊包袱的evm也可能會是一個相對長期的方向。

已經有些項目在做這些早期的嘗試,包括新的Layer1或者是Layer2上,我覺得至少也會有人做這些通用的evm,像starknet這種,其實我覺得可能相對長期一些.然后隱私這塊其實有非常多的場景的,比如說資產、轉賬等。

最近我們在調研一個叫以太坊基金會旗下的一個應用零知識證明團隊appliedzkp團隊,他們的semaphore的一個代碼庫工具庫,他們發布了V3的代碼,叫這里叫semaphore,他們其實包裝了很多底層的電路之類的一些東西。

對于開發者而言不需要了解零知識證明這些東西,但是對于Dapp的開發者,你了解這個之后,你就可以直接來使用semaphoreV3,可以做一些特定的ZK場景。

比如他們現在提供的兩個場景,可以證明你所在某一個群組里面的關系,另外一塊可以證明某一個組里面的人做了一次投票,或者是說了一句什么話,但是不用揭露你自己到底是誰,但他和你是一個群組的。

工具代碼庫開源了之后,會有很多新型的社交類產品都有可能去使用他們,比如說在在去年就有個團隊展示的一個項目叫unirep.social,他們把semaphore和一些概念融合在一起,做了一個博客和推特類的一個產品,用戶可以匿名的給一些人投票支持他們。

我覺得在零知識證明的框架下,會細分出很多新的有意思的很具體的一些場景,然后可以利用在相對比較通用的這種平臺上,作為新的功能能賦予大家。

Todd

我先沿著潘老師剛剛講的隱私方面做個補充,最近有看到一批項目,嘗試著基于ZKP去做關于KYC這個部分,想去實現就是說對傳統用戶鏈下身份的認證,最后將認證的結果發送到鏈上。

就是說這個客戶是KYC過的,但并不會將客戶的具體的一些信息給發送到鏈上,因為鏈上數據庫是一個完全公開的狀況,如果你把用戶的信息完全放在鏈上的話,是不太符合傳統金融里面的一些場景或者需求的。

除此以外,就是用ZKP運用到跨鏈這個方向。主要的價值其實是用ZKP去記錄整個lightclient這種跨鏈模式,它會驗證整套體系,然后用ZKP去復刻,最后將整個結果以ZKP發送到鏈上。

最終能夠實現的效果就是讓單個區塊的BlokHeader的可以以一個trustless的情況下,發送到任意一個目標鏈上,最終落到整個跨鏈整個領域的話,以一個trustless高效的方式完成對信息跨鏈的這樣的一個支撐。

平時使用跨鏈的話,大家知道在跨鏈這個領域過去會存在著所謂的不可能三角,在你的效率,在setup,在成本的幾個部分其實是沒有辦法同時去滿足的。

但是在這些基于ZKP去新做出來的類似ZKbridge這樣的東西,如果這些項目他們能夠按照自己的白皮書去比較完整實現的話,那么大家在未來可以用到一個安全高效,而且且是一個完全trustless,成本也很低的跨鏈工具。這就是做一個說在ZKP過去一段時間里面,看的比較多的能夠發揮價值的一個方向。

Cora

我本來想分享的跟ZK有關的內容,其實跟Todd講的有一點類似。現在整個行業其實對于DID這塊是有一個比較大的預期的,DID未來的價值估量是不會低于公鏈的。

Polygon也有PolygonID這個產品,它也是用ZK的技術來做的。現在可以不僅僅把目光放在zkevm上面,還可以放到比如說隱私計算這一塊,因為zk它也是有隱私功能的。

如果隱私計算加上一個零拷貝技術,零拷貝技術也是Web2的一些大廠在研究的,用隱私計算加零拷貝的技術,在未來可能還會配合。

比如協調多方計算這樣的功能,就像Todd講的有些項目可能不需要你真實的數據,只需要給一個數據框架就可以自己計算找尋數據,然后通過ZK的隱私計算,把計算的結果上傳到鏈上。

其實我覺得大家可以多關注多元的東西,就是圍繞zk這個技術,再配合其他的技術亮點做出來的項目。

比如說大多數人認為Layer2它一定是未來的一個熱度,有zk這個技術,包括DID包括Socialfi、Gamefi這些賽道都很大。但是從個人的觀感,比如說Socialfi配合DID的融合技術的賽道會更值得關注。

Jesse

最后一個問題,作為普通投資者的話,我們如果想要搭上ZK的快車,我們有哪些可以做的?

Cora

大家可以多去看一些,它沒有主要標榜ZK技術,但是它是用到了zk技術的項目,它的技術亮點可能就是比如說多方計算或者零拷貝,這些是比較有亮點的項目。

如果有一個大前提是比如說是DID或者資產跨鏈,能夠解決整個區塊鏈的生態技術瓶頸的項目,其實大家是可以多看一點的。

再回到針對于以太坊的擴容的Layer2的賽道來說,其實就是很簡單,要么就是沒發幣的項目就多參與互動,以個人的形式或者團隊的形式去獲取一點獎勵。

發了幣的的話,像Polygon這種的已經上了二級了,大家可以去看一下Polygon現在的整個發展的基本面,那么大家可以去考慮一下要不要在相對比較低的時候去買一些代幣去做價值投資。

我們經常說現在的整個行業的投資環境已經不像早期的只看技術邏輯是能實現的就有投資了。現在不僅僅是這樣,還要看你團隊的運營能力怎么樣,團隊的BD能力怎么樣,你團隊有沒有一個就是你能推動你這個公司在整個行業里面往前走的一個好的strategy,我覺得這個很重要。

所以現在其實很多資本或者資產比較多的個人投資者,他們會比較看好Polygon的一個原因就是Polygon的一個基本面已經給大家展示出來了,去年我們是唯一一個帶著整個行業去推動Web2資產的一條鏈。

在去年在行情不好的情況下,Polygon的代幣相對來說是非常保值的,所以個人覺得投資者在未來的一個投資可能是需要多去看看一個團隊的綜合能力的。

我是覺得相對來說喜歡價值投資的比較保險的投資者,可以選擇Polygon,對于一些風險偏好稍微大一點的,可能他想要一個更大的收益的。那么可以去看一些現在比較初創的,用zk技術來做的一些項目。

Leo

實際上目前的ZK就像潘老師說的主要還是擴容,方案也就是在座的各位的這幾個項目,然后以StarkNet來說,上面的生態現在也逐漸的在繁榮,未來會隨著新的Layer2這種高性能的基礎設施,肯定會誕生出以太坊這樣的生態,肯定會誕生出全新的東西會出來。

現在有一些有意思的東西,像全鏈上的游戲,有一些在StarkNet上比較的活躍,還有一些另外的一些DeFi的項目,大家都可以來多關注。

另外剛才說到zk的應用,事實上Cairo這個語言實際上它不光是一個在StarkNet上使用,并不是一個專門寫智能合約的語言,它是一個通用型的語言,相當于就跟c語言rust這些語言是一樣的,它不限于在StarknNt上寫智能合約,它可以做一些很多其他的事情。

未來zk就像大家剛才說的,如果說zk的技術在其他領域有發展的話,這個Cairo也可以在StarkNet之外可以得到更多的應用,我就說這兩點。

Young

我覺得對于普通投資者來講的話,也可能包括對一些機構來講,未來ZK還是一個非常大的賽道,我可以分為幾個大的方面。

首先第一點,關于zk的就是硬件加速這一塊,我們知道原來去原來btc它的價值是在于它去計算一些哈希,最終它消耗一些資源,達成共識,它有一定價值。

然后對于zkp的來講的話,它本質上它是算了一些更有用的計算,做了大量的并行計算,也消耗非常多的算力,去產生proof來支撐整個基礎設施,包括基礎設施之上的一些應用。

所以我覺得ZK在硬件加速這一塊,ZK挖礦大的賽道上面,本質上來講是一個非常有潛力的,因此我覺得對于普通的投資者來講的話,可以關注一下這個方面。

第二點的話,大家可以關注一下ZK在Gaming方面的一些應用,就是一我覺得未來的話ZK加Game包括一些跟Gamefi之類會有非常大應用場景。

現在的Scroll的話在和像騰訊,包括一些非常大的知名的游戲公司也在做這種的合作,包括最近馬上我們要去參加騰訊云的關于Web3的會議,也可能也會去跟他們去聊聊,就在游戲方面基于zk的一些探索。

比如說像然后這是在游戲方面的。另外的話在中間件也是有一些不錯的,像剛才Todd老師提到的關于bridge類似這種項目,另外的話還有一些做zkoracle的一些項目,我覺得這些基于ZK的中間件大家可以去重點去看一下。

在zk在MeV這個方面肯定也是有一些場景的大家也可以重點去關注一下。

另外的話我們也可以回歸到zk它本身。我把zk分為就是4個大的方向,首先第一點就是protocol在zk企業層面它有哪些新的機會。

然后在circuit這一層的話,它可能會有一些非常好的開源電路庫,大家也可以去關注一下他們背后的團隊。

另外的話在zk這個行業賽道上面還有一些把zk在前端展示非常好,他們去做一些前端帶圖靈的一些工具,包括后端的一些工具。我覺得做工具的這些方向大家也可以去看一下。

最后一個就是關于zk的一些應用,對,所以其實本質上zk能想到的,現在有在做的方向會非常多,所以賽道非常有機會的,大家可以深度的去關注一下,肯定是能發現未來就是特別大的項目的一些潛力。

Tags:ROLROLLSTASTARROL幣roll幣是什么意思INSTA幣start幣怎么樣

Polygon
以太坊:擴展性之外 零知識證明的 Web3 用例還有很多_WEB3

圖片來源:由MazeAI生成2022年,由于ZK-Rollups在以太坊領域取得進展,零知識證明成為Web3年度關熱詞.

1900/1/1 0:00:00
APP:加密世界的天使:Dapps的運用_聚幣交易所app蘋果下載

加密應用層是創新的溫床,前沿的金融理念,復雜的協調機制和不斷發展的商業模式都將成為現實。Decentralized應用程序(Dapps)從根本上改變了我們的交易方式.

1900/1/1 0:00:00
MIC:MicroStrategy:沒有任何資產由Silvergate托管_Micromines

金色財經報道,商業軟件公司MicroStrategy(MSTR)周四表示,該公司沒有由SilvergateCapital(SI)托管的資產,除了承諾在2025年償還貸款外.

1900/1/1 0:00:00
區塊鏈:金色午報 | 2月15日午間重要動態一覽_區塊鏈用大白話解釋

7:00-12:00關鍵詞:黃立成、LidoDAO、趙長鵬、Blur1.Blur公布代幣經濟模型:51%分配給社區.

1900/1/1 0:00:00
區塊鏈:對話 Delphi Labs 創始人:盤點當前市場現狀 有哪些投資方向可以布局_COS

DeFi分析師MilesDeutscher剛剛采訪了DelphiLabs創始人和DelphiVentures創始合伙人JoséMariaMacedo.

1900/1/1 0:00:00
COI:美SEC與加密公司:貓和老鼠的游戲?_OIN

來源:Coindesk 加密行業似乎正在與監管機構玩“貓和老鼠的游戲”。美國證券交易委員會(SEC)主席GaryGensler曾表示,加密公司很清楚必須做什么才能在美國合法經營,但他們視而不見—.

1900/1/1 0:00:00
ads