會議成員
主持人:Jesse,Biteye 內容組長
嘉賓:
Cora,Polygon Head of China
Leo,StarkNet 中文核心貢獻者
Todd,A&T Capital Investment Director
Young,Scroll 研究員
潘致雄,ChainFeeds Founder
問題導覽
1. ZK rollup 它是什么?它在我們區塊鏈的擴容和隱私方面起到了什么作用?
2. Polygon、StarkNet、Scroll 三個不同項目對于 ZKevm 解決方案里面的特色是哪些?以及目前的進展以及之后的發展計劃?
3. 零知識證明在未來的 Web3 中會去扮演著什么樣的角色呢?除了經常談到的擴容和隱私,還有沒有哪些場景沒有被挖掘?在零知識證明賽道里面還有哪些值得關注的早期項目?
4. 作為普通投資者的話,我們如果想要搭上 ZK 的快車,我們有哪些可以做的?
會議摘要
zkevm 分類:按照 V 神 zkevem 的 4 個分類 (以太坊兼容性和 zk 證明時間的權衡),scroll 和 polygon 正在建設第二個分類(完全 evm 兼容),而 starkware 通過把 Solidity 編譯成 Cairo,也可以實現第四個分類(高層的編程語言兼容)。
項目計劃:Scroll 2 月份下旬測試網遷移到以太坊 Goerli,年底 launch 主網;polygon 的 zkevm 會在 3 月 27 號進行主網測試版上線;Starkware 的 Cairo 升級到 Cairo1.0,需要社區投票。
項目新動向:基于 zk 技術的 Polygon ID;Visa 最近在 Starkware 做了支付的應用,關注 Starkware 的鏈游和 defi;Scroll 開源方式和社區共建 zkevm,以及分布式的證明者網絡。
zk 應用場景:擴容,隱私(包括基于 zk 的 KYC),zk 跨鏈橋,zk oracle,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,上面的應用有 DYDX IMX 等非常知名的項目。
現在已經處理的總交易量已經有 8500 多億,單日的最高交易量有 100 多億。StartEx 是最早的一個利用 zk 技術 stark 有效性證明來做的一個擴展的方案。
在 StartEx 之后,StarkWare 就推出了 StarkNet,它是一個通用計算的一個開放式的平臺。
最早 StarkNet 上已經有很多的開發者和應用,最著名的就是近期的 visa 主動在 StarkNet 上利用賬戶抽象來做一些轉賬支付的應用。
所以說 StarkNet 未來在 Layer2 上會有非常不同的表現,希望大家能多多關注,謝謝。
Todd
我是 Todd,來自于 A&T Capital ,我們 Fund 在 zk 方面目前為止投了有像 Scroll,delphinus lab,然后最近也有參與一些硬件方面的投資。ZK 也是我重點去關注去研究的一個方向,就先介紹到這里。
何一:Binance正著手尋找優質IE0項目:11月4日消息,Binance聯合創始人何一在社交媒體平臺發文表示,感謝大家對Launchpad和Launchpool的熱情。Binance致力于努力滿足社區需求。現在已經著手為用戶尋找優質的項目。[2022/11/4 12:17:14]
Young
Hello 大家好,我是 Young。目前做一些 ZK 和以太坊相關一些技術研究,然后 Scroll 的話我們是一個字節碼級別去兼容以太坊的 zk rollup,也就是 evm 的 ZK Rollup。Scroll 是在不犧牲安全性的前提下,對以太坊進行擴容。
我們與其他擴容方案不同的是,我們開發人員可以在 Scroll 上面擁有和以太坊完全相同的開發體驗。
目前我們正在和以太坊基金會一起以開源的方式去共同去 build zkevm. 因此 Scroll 的應該說是這種性能最好的 Layer2。
從整個 ZKevm 的話,從第一天 Build 我們就是以一種開源的方式,其實有這樣一個開源的代碼,對于整個項目有非常多的一些獨特屬性,所有的 PR 和代碼都經過了一些貢獻者和社區同行的評審,同時就是這樣一個開源的氛圍,吸引了很多的 zk 開發的人才,還有一些對 ZK 關注的行業的學術機構。
目前對于開發者的體驗的話,大家在我們上面去部署,你不需要去重新去編譯或者審計,可以無縫的去從原來 EVM 去遷移到 Scroll 網絡上,對于開發者的體驗會非常好。
另外我們在 Proof 方面我們會有個 Proof network,這樣可以高效的支持我們去做一些并行加速的計算幫助證明快速的生成。
我們會構建一個 decentralized 一個Prover network,然后還會有一個極快的 GPU 的解決方案來支持它。
目前整個網絡的情況是在去年 10 月份的時候,允許了開發者還有一些 DeFi 在上面去部署合約,包括一些 ERC20 代幣的一些跨鏈。
然后目前的話,目前我們會在 2 月底左右我們會上線 ETH Goerli 的測試網,這版本的功能會是一個更加完整的 proof,然后我們會把所有的 code 都會去對應 zk 化。
我們目前在生態方面的合作了包括像 Lens,The graph、Ledger、Orbiter ,目前已經有幾十個項目步入我們的測試網,還有 100 多個項目正在我們測試網去做一些測試。
目前整個測試網的一個數據化是我們目前做 zkevm 的同行總交易量的 300 倍左右,然后應該是 zkSync 的目前總交易量的 2 萬倍左右。
潘致雄
我叫潘致雄,我們現在在做一個叫 ChainFeeds 的內容聚合平臺,平時的話我是比較關注密碼學和 zk 相關的一些進展, 會做一些學習,今天來主要是向各位項目方學習。
Jesse
在開始之前向大家簡單的介紹一下什么是零知識證明,以及它是如何工作的。零知識證明它的英文就是 Zero-knowledge Proof,也就是俗稱的 zk,是一個早在 1985 年就提出來的數學協議。
零知識證明里面有兩個重要的角色,一個是證明者,他要證明自己知道某一個信息,另外一個是驗證者,用來驗證證明者是否知道這個信息,零知識證明允許證明者來向驗證者證明某一件事情的真實性,但是除了這個事實之外,不會再透露任何其他的信息。
所以零知識證明提供了一種有效的,幾乎沒有風險的一種數據分享方式,利用零知識證明,我們可以保留對數據的所有權,可以極大的提高隱私保護,有可能會使我們數據泄露的事情成為過去式。
零知識證明有三個特點,分別是完整性、合理性和零知識。完整性是指如果一個聲明是真實的,誠實的驗證者會被誠實的證明者說服,也就是說如果一個事實是對的,那么它是錯不了。
合理性是指如果一個聲明是錯誤的,在絕大多數的情況下,欺騙的證明者不能讓誠實的驗證者相信這個虛假的證明,也就是說如果一個事件它是錯誤的,那么肯定是對不了。
最后一點零知識,如果一個聲明它是真實的,驗證者除了能得知這個聲明是真實的之外,他不能再獲得任何多余的信息。那么零知識證明是如何工作的?它主要分為交互式、零知識證明和非交互式零知識證明。交互式由三者組成,分別是證據、挑戰和回應三部分。
證據指的就是秘密信息,不想讓其他人知道的信息,用證據就是來建立一系列的問題,而這些問題只有知道這些信息的人能夠正確回答,驗證者會首先發起一個挑戰,他會隨機的抽取一個問題來要求證明者來回答,證明者接受這個問題之后,會把計算的結果返還給驗證者,證明者的回應能夠使驗證者來檢查這個證明者是否知道這個證據。
比特大陸召開客戶信息交流會,開始尋找清潔能源電力:據官方消息,在四川省成都市,礦機生產商比特大陸召開了客戶信息交流會,會上強調:“比特大陸會和客戶一起繼續尋找更多優質電力資源,尤其是清潔能源電力。客戶之間已經開始互相對接海外電力、礦場等資源。針對可能出現的礦機維修問題,比特大陸推出了HUB倉服務,預計可將海外礦機維修時間從三周壓縮至四天。”據此前報道,比特大陸于6月22日對礦工表示,由于近期大量二手機器涌入市場,比特大陸稱為緩解客戶出貨壓力,暫時停售現貨機器。[2021/6/23 0:00:54]
如果這個過程重復很多次之后,證明者在不知道這個秘密信息的情況下,猜中正確答案的概率就會變得非常的低,這也就是為什么零知識證明它是有效的,但是交互式的零知識證明它具有一定的局限性,一方面它是需要我們進行多次的重復驗證,效率會比較低。
另一方面,每一個證明它不可以在獨立的驗證中重復使用,所以其實交互式證明相對來說效率會比較低。
因此有人就提出了一個非交互式的零知識證明,它由證明者和驗證者來共享一個密鑰,通過僅進行一次的認證,來使零知識證明更加有效。
而且證明一旦生成之后,任何有共享密鑰和驗證算法的人都可以進行驗證。所以非交互式的零知識證明是 zk 技術里面的一大突破,也促進了現在 zk 賽道的蓬勃發展,主要的方法就有大家所熟知的 ZK-SNARK 和 ZK-STARK。
在了解完零知識證明之后,下面我們進入提問環節。
首先第一個問題是, ZK rollup 它是什么?它在我們區塊鏈的擴容和隱私方面起到了什么作用?
關于零知識證明的話,它本身的概念還是比較寬泛的,建議大家就可以去看一下相關文章。
然后我稍微在零知識證明這里補充一個案例,比如說在一個現場,你知道現場主持人的電話號碼,但是你不能去暴露他這個號碼。你如果知道信息的話,你直接可以給他打電話,如果他的電話在現場響了之后,那就說明你知道他的信息。
所以你要證明一個 statement 的真實性,而不去透露任何超出這個 statement 本身有效性的信息。
關于 ZK Rollup 我們可以首先了解一下什么是 Roll up,它其實是一種把計算去移到鏈下,同時把一些記錄的消息或者交易放在 Layer 1 上的一種方式。
Roll up 本質上實現了兩個大的方向,它釋放了原來技術層的一些資源,同時又繼承了目前 Layer 1 的安全性。
然后 Roll up 主要分為兩種,一種是 Optimism Roll-up,然后另一種就是今天要講的 ZK Rollup。ZK Rollup 的一個出發點就是一開始在 Layer1 上有一個問題,每筆交易都需要去廣播到一個 P2P 的網絡里,各個節點會收到一個裝滿交易的塊,大家都需要去重新執行里面的所有交易,這樣的方式其實在 Layer 1 是非常低效的,而且會存在大量冗余。
所以說 ZK Rollup 背后的 idea 就是說你現在不需要去把每個交易去廣播到一個 P2P 的網絡里,正好相反,把所有的交易發送到一個離線的 Layer 2 節點,假設你現在收到了 1000 條交易,他可以去產生一個數學證明的 proof,這個是依賴于 input 的一些交易產生的證明,他不需要去重新廣播到所有的交易,它只需要去提交這條交易的一部分。
比如說可以恢復出 account 數值等一些比較重要的信息,它可以作為 public input 和再加 proof,它要比原生的交易要小很多,而且驗證這些 proof 的效果和你去重新去執行去計算這些交易是完全等價的。
因此我們可以把 ZK Rollup 歸結為三點,它利用了 ZK-SNARK 去做交易的驗證。
其次所有節點之間它不需要相信證明者就可以驗證交易的正確性,同時它在使交易成本更低的情況下,又繼承了以太坊的安全性。
關于 ZK Rollup 的擴容和隱私方面,主流的zkevm它并沒有去考慮隱私性。
其實主要用到了 ZK-SNARK 里面一個的特性去把計算量給壓縮下來。目前這一塊的話,做 ZKevm 項目和一些隱私保護項目也沒法對比,但是做隱私是一個非常重要的方向。
ZKevm 大致大家理解的就是用 ZK Rollup 解決 evm 兼容的問題。簡單的說就是讓零知識證明 ZK 這個技術更好的兼容以太坊現有的基礎設施,然后提高 zk 證明的生成和驗證效率。
ZK Rollup 的 evm 兼容之所以成為一個需要解決的問題,是因為以太坊在創立之初沒有考慮兼容 ZK 技術,現在用 evm 直接生成驗證 zk 的證明速度是非常慢的,根據以太坊目前的情況,可能需要幾個小時,所以說 ZK Rollup 需要在 evm 兼容與 ZK 效率之間做一個平衡。
加密友好銀行Silvergate正尋找穩定幣基礎設施相關機會:金色財經報道,加密友好銀行Silvergate已公布其強勁的第一季度業績,并表示正在尋找與“穩定幣基礎設施”相關的更多機會。Silvergate沒有解釋此基礎架構將需要什么,但該行將穩定幣視為“未來大幅增長的機會”。截至目前,該銀行允許四家美國穩定幣發行商使用其專有支付網絡SEN進行鑄造和銷毀。此前消息,SEN第一季度凈收入為1270萬美元,比上一財年第四季度增長40%,并在第一季度處理了1665億美元加密相關交易。[2021/4/23 20:49:41]
之前整個行業是認為 evm 等效的 zkevm 是不會存在的,以太坊的社區要做出一定的妥協,例如提款延遲和欺詐證明為 ZK Rollup 設計全新的語言,或者用特殊編譯器來兼容 zkevm 相對來說都是缺乏對現有以太坊開發工具的支持。
要做到真正的 evm 等價,就意味著以太坊可以在不采取折中的措施的情況下進行擴展,而擴展以太坊的最佳的方式就是要保留現有的以太坊生態,比如代碼工具和基礎設施都是需要正常工作的。
之前在 V 神的一個博客里他對于 zkevm 進行過詳細劃分,比如說類型一是兼容性最強,但 ZK 效率最低的,這個是他個人想要的一個最理想的形態。
類型二是 Polygon 目前比較想達到的一個目標,雖然不完全等效以太坊,但是完全等效 evm。類型二與以太坊的數據結構上會有一些不同,刪除了部分對 ZK 不友好的堆棧,但它會完全兼容現有以太坊的 APP 調試的工具和開發人員的一些基礎設施。
類型三其實就是目前 polygon 處在的一個階段,幾乎等效于 evm。
Polygon 6 個月前推出的測試網和 3 月 27 號即將推出的主網測試版本,都是希望有通過一些測試能讓整一個方案就得到一個更好的優化,盡量的往類型二去靠。
目前面臨的一個問題首先就是鏈上可能需要足夠的多測試的項目,從中找尋有一個更優化的方式。
從本人角度來講,ZK evm 跟其他的 evm 最核心一個區別就是他們最后發送到以太坊的 section,或者說一個數據 Data 包里面,所包含的東西是不一樣的。
Zk 發送回以太坊的是一個 zk 的 proof,在以太坊一層網絡上是需要能有一個verifier,然后來驗證 zkevm 發回到以太坊一層的 package,來確認以 evm 為自己虛擬機的 Layer 2,他們在過去的這一個塊里面所執行所有交易的真實性。
而其他的 evm 更多的其實是直接把整個交易壓縮了以后就發回,并不是以一個 proof 的形式所發回去的. ZK 的 Layer2 通常來講只需要等待以太網一層網絡驗證完了proof以后,其他整個 Layer 2 過去這一個區塊的交易就已經可以達到最終性了,而不是像 Arbitrum 或者 Optimism 大概需要有 7 天的等待期,才能夠完成對 Layer 2 交易的確認。
再說一下瓶頸這個階段,剛剛 cora 已經講了很多了,我補充一個,如果想要在 ZKevm 里完全實現對以太坊 EVM 完全等效的話,目前這是一個很難的一個難題。
這個地方現在被卡住最明顯的一件事情是因為整個 evm 原來的 Code 編譯到 zk 整個電路里面去,這是一個非常不友好,相當于兩套設計的方案,其中的兼容性會不太友好。
那么如果說一定要將 100% 的 EVM 等效編譯到頁面里面去會出現一個問題,你所對應的 proof 的生成時間會非常長,大家可能也看過去年 V 神寫的一篇文章,一個完全等效的 evm 生成一個 proof 的時間,大概會在幾個小時這樣的一個量級。
這種冗長的時間會對這個類型的 ZKevm Layer2 的交易效率會有非常明顯的影響,用戶提出去的交易到能夠確認需要等幾個小時,這樣的一個時間是過長的,文章里面也涉及到對整個電路部分的優化。
個人理解這個部分的優化現在無論是以太坊自己的的團隊,還是說外部的一個團隊,大家都在嘗試著去把優化盡可能的實現,使得說一個絕對完全等效的 ZKevm 能夠盡快的被大家所用上。
在那之前就像大家剛才講像 Scroll或者 Polygon,大家可能都會選擇像 Type2 或者 type3 的這樣的一些 ZKevm, 雖然等效性沒有那么強,但是也能夠極大可能性的讓開發者不改變過去的開發習慣就可以實現一些應用。
Polygon、StarkNet、Scroll 三個不同項目對于 ZKevm 解決方案里面的特色是哪些?以及目前的進展以及之后的發展計劃?
我現在介紹一下 StarkEx和 StarkNet。StarkEx它是一個商用的定制的解決方案,就像 dydx 等項目專門去為他定制的 zk 電路,然后因為它對于 ZK 在擴容方面的應用的話,這種單獨為每個應用來單獨定制的話是非常容易,但是這樣的話其實是不具備開放性。
聲音 | 北京互金協會易歡歡:尋找數字貨幣國際化的錨 完善數字貨幣推廣機制和回流機制:據證券日報12月9日消息,北京互聯網金融協會研究院院長、易股天下公司董事長易歡歡對政府如何充分的發揮人民銀行發行數字貨幣的優勢、有效助力人民幣國際化提出了如下幾點建議:一是抓住“關鍵節點”,尋找數字貨幣國際化的錨。首先,應建立起基于中央政府信用的央行數字貨幣;其次,政府可以積極尋找和布局可以用央行數字貨幣來進行交易的關鍵節點。二是完善“推廣機制”,推動數字貨幣的生根落地,爭取在全球貨幣體系出現變革時搶占先機。三是建立“生態循環”,完善數字貨幣的回流機制。[2019/12/9]
Starkware 想要做另外一種擴容方案,一個開放式的無需許可的,然后這種通用型的 Layer 2 解決方案,就推出了 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。之后 Cairo 1.0 更新以后,StarkNet 會有一次大的更新,就是 StarkNet 0.11 版本,這個版本同時就會完全兼容 Cairo 1.0 就是 Rust 的版本的 Cairo。
這次升級會有一個社區的投票來決定,大家可以來參與到整個生態當中。另外剛才還有說到 Evm,Starknet 事實上并不是 Vitalik 提到的 Evm 之一,但是由 Nethermind 開發了一個轉譯器,就是可以將 Soildity 轉譯 Cairo。這就是 Warp。
通過 Warp 實際上也能實現 Type 4 EVM 跟以太坊語言級別的兼容。Warp 之前已經在去年十一月份已經將 UniswapV3 所有的合約轉移到了 Cairo,還有 AAVE 他們也是會用到 Warp 轉譯成 Cairo,所以有對 soildity 有開發經驗的開發者,通過 Warp 可以很輕松的來對接到 Starknet 網絡當中。
不同的項目對于 ZK 目前的一個解決方案是不太一樣的,主要就分為在語言級別或者 bytecode 級別。
Scroll 在金融性方面是一個字節碼級別去進入以太坊的 ZK rollup。這樣做的好處是對于 evm 的一些開發者來講,他們在以太坊上面開發的體驗和在 scroll 上面是完全一樣的。
而且現在整個 evm 生態里面的 Dapp,他們可以去無縫的去遷移到 Scroll Network 上面,去部署整個項目。這樣對于開發者的體驗非常好,對于開發者社區的成長會非常快。
另外一點就是我們是從第一天開始去做 zkevm 就是和以太坊基金會一起在開源的去 build,這樣好處就是會讓整個 Scroll 的項目它的因為它代碼是開源的,所以代碼具有非常好的安全性。因為所有的 PR 和代碼都是經過了非常多的貢獻者和社區同行的評審。
徐小平尋找泄密者 告知者將獎勵一個比特幣:今日徐小平在微信群發言鼓勵大家擁抱區塊鏈革命,隨后聊天記錄遭泄露。徐小平發微博承認聊天記錄屬實,并表示如果有人告訴他是誰把內部分享泄漏出去的,他將獎勵一個比特幣。[2018/1/9]
另外這樣一個開源的 culture 的一個社區,會吸引非常多對于 zk 廣泛關注的人才,也會吸引非常多的開發者來社區做貢獻。,Scroll 也會自己的 Grant,為了強化 Scroll 上整個生態的基礎設施建設,同時也去服務整個生態的 builder,去促進整個網絡的連接。
目前 Scroll focus 的領域,比如說像一些 public goods,還有包括 infra 的 research 的一些項目,然后標準的話就跟我們自身的一個開源文化一樣,我們會資助一些開源的項目,讓項目去回饋整個 Scroll,還有以太坊整個社區。
在 Grant 這方面,Scroll 不光是去做一些資金的支持,也會提供技術層面或者其他的資源來幫助生態的開發者去解決他們當前遇到的一些問題,是目前 Scroll 最重要的宗旨。
另外第三點的話,Scroll 應該是最早提出證明外包的概念。在證明者方面,Scroll 會有一個Prover Network,在今年的話會上線一個 decentralized prover network,還有一個非常快的 GPU 的解決方案去支持 Prover 的網絡。
這樣的話 Scroll 會為整個 Layer 2 去產生 Proof 提供非常大的支持,同時它未來還會給 Layer 3 一些像性能要求高的應用,會給他們提供一些這種 Proof 的生成的支持。
在證明網絡這方面,Scroll 今年會開源一個硬件加速算法,另外 Scroll 現在也在和國內外的一些做硬件的廠商去做一些合作,可能會開出應用加速這塊 API,然后去找一些合作伙伴去測試,主要還是對于目前整個機型,包括一些整體的優化的測試。
目前整個網絡的進展的話,Scroll 在 22 年 8 月份上線的Pre alpha testnet ,在 10 月份 Scroll 做了一次比較大的升級,然后會在 2 月中下旬會把測試網整個都遷移到 Ethereum goerli 里的版本,scroll 預計在今年的 Q2 末左右會上線我們的Prover Network,然后會在今年年底會 Launch 主網,在主網之前會進行非常嚴格的一些安全審計。
在 Sequencer 方面的話,Scroll 會在主網上線之后做一個去中心化,今年也會出一些關于 dcentralise sequencers 的文章。
因為我們覺得前期的sequencer去中心化不一定很好,但還是 sequencer 去中心化是一個長期的方案。目前整個生態方面,Scroll 去接觸了大量的基礎設施項目,為后面生態的成長去做基礎性的建設。
Polygon zkevm 目前實現了 zk proof的開源,包含完整的可用源代碼的 zk 證明系統,并且承諾完全開源,然后是由社區驅動的無需許可協調者網絡以及帶有驗證獎勵代幣的去中心化的一個拍賣模型。
Polygon zkevm 目前已經通過了 100% 的適用于 zkevm 的以太坊測試向量,開發人員可以復制粘貼適用于以太坊的代碼,并且使用它在 Polygon zkevm 上面構建是無需做任何更改的。
所以以太坊工具都可以與 Polygon zkevm 無縫的銜接以及協作,那么 Polygon zkevm 也不會為了 evm 等效性而犧牲性能。目前一批數百筆交易的證明時間是接近兩分鐘,在不久的將來吞吐量是會增加的。需要強調一下的是證明時間它是決定了延遲不是擴展性,所以 Polygon zkevm 可以并行的生成證明,幾分鐘之內在 Layer 1 上實現高吞吐量的交易。
Polygon zkevm 在 3 月 27 號進行主網的測試版本的上線,在 6 個月的測試網的運行下,Polygon zkevm 超過了 84,000 個錢包的注冊,生成了超過 30 萬個區塊,生成了超過 75,000 個 zk 證明,部署了超過 5000 個智能合約,兩次公開的第三方審核。
后面還進行了 6 個月的公開測試,100% 通過了適用于 zkevm 的以太坊測試量,并且將證明生成時間縮短到將近兩分鐘,為大量交易生成證明的成本,現在降低到差不多 0.06 美金。
Polygon 的目標是做到 V 神說的 type2,也就意味著 Polygon zkevm 最終從內部看起來是與以太坊一模一樣的,Polygon zkevm 還在不斷的優化中,也歡迎有更多的項目方來我們即將上線的主網的測試版本進行測試。
零知識證明在未來的 Web3 中會去扮演著什么樣的角色呢?除了經常談到的擴容和隱私,還有沒有哪些場景沒有被挖掘?在零知識證明賽道里面還有哪些值得關注的早期項目?
我覺得擴容和隱私肯定是兩個大的方向,擴容這一塊能看到大家都在往 zkevm 相關的事情在做嘗試,但是從更長期角度來看,更通用的 evm 或者不需要承載以太坊包袱的 evm 也可能會是一個相對長期的方向。
已經有些項目在做這些早期的嘗試,包括新的 Layer1 或者是 Layer2 上,我覺得至少也會有人做這些通用的 evm, 像 starknet 這種,其實我覺得可能相對長期一些. 然后隱私這塊其實有非常多的場景的,比如說資產、轉賬等。
最近我們在調研一個叫以太坊基金會旗下的一個應用零知識證明團隊applied zkp團隊,他們的 semaphore 的一個代碼庫工具庫,他們發布了 V3 的代碼,叫這里叫 semaphore,他們其實包裝了很多底層的電路之類的一些東西。
對于開發者而言不需要了解零知識證明這些東西,但是對于 Dapp 的開發者,你了解這個之后,你就可以直接來使用 semaphore V3, 可以做一些特定的 ZK 場景。
比如他們現在提供的兩個場景,可以證明你所在某一個群組里面的關系,另外一塊可以證明某一個組里面的人做了一次投票,或者是說了一句什么話,但是不用揭露你自己到底是誰,但他和你是一個群組的。
工具代碼庫開源了之后,會有很多新型的社交類產品都有可能去使用他們,比如說在在去年就有個團隊展示的一個項目叫 unirep.social,他們把 semaphore 和一些概念融合在一起,做了一個博客和推特類的一個產品,用戶可以匿名的給一些人投票支持他們。
我覺得在零知識證明的框架下,會細分出很多新的有意思的很具體的一些場景,然后可以利用在相對比較通用的這種平臺上,作為新的功能能賦予大家。
我先沿著潘老師剛剛講的隱私方面做個補充, 最近有看到一批項目,嘗試著基于 ZKP 去做關于 KYC 這個部分,想去實現就是說對傳統用戶鏈下身份的認證,最后將認證的結果發送到鏈上。
就是說這個客戶是 KYC 過的,但并不會將客戶的具體的一些信息給發送到鏈上,因為鏈上數據庫是一個完全公開的狀況,如果你把用戶的信息完全放在鏈上的話,是不太符合傳統金融里面的一些場景或者需求的。
除此以外,就是用 ZKP運用到跨鏈這個方向。主要的價值其實是用 ZKP 去記錄整個 light client 這種跨鏈模式,它會驗證整套體系,然后用 ZKP 去復刻,最后將整個結果以 ZKP 發送到鏈上。
最終能夠實現的效果就是讓單個區塊的Blok Header的可以以一個 trust less的情況下,發送到任意一個目標鏈上,最終落到整個跨鏈整個領域的話,以一個 trustless 高效的方式完成對信息跨鏈的這樣的一個支撐。
平時使用跨鏈的話,大家知道在跨鏈這個領域過去會存在著所謂的不可能三角,在你的效率,在 set up,在成本的幾個部分其實是沒有辦法同時去滿足的。
但是在這些基于 ZKP 去新做出來的類似 ZKbridge 這樣的東西,如果這些項目他們能夠按照自己的白皮書去比較完整實現的話,那么大家在未來可以用到一個安全高效,而且且是一個完全 trustless,成本也很低的跨鏈工具。這就是做一個說在 ZKP 過去一段時間里面,看的比較多的能夠發揮價值的一個方向。
我本來想分享的跟 ZK 有關的內容,其實跟 Todd 講的有一點類似。現在整個行業其實對于 DID 這塊是有一個比較大的預期的,DID 未來的價值估量是不會低于公鏈的。
Polygon 也有 PolygonID 這個產品,它也是用 ZK 的技術來做的。現在可以不僅僅把目光放在 zkevm 上面,還可以放到比如說隱私計算這一塊,因為 zk 它也是有隱私功能的。
如果隱私計算加上一個零拷貝技術,零拷貝技術也是 Web2 的一些大廠在研究的,用隱私計算加零拷貝的技術,在未來可能還會配合。
比如協調多方計算這樣的功能,就像 Todd 講的有些項目可能不需要你真實的數據,只需要給一個數據框架就可以自己計算找尋數據,然后通過 ZK 的隱私計算,把計算的結果上傳到鏈上。
其實我覺得大家可以多關注多元的東西,就是圍繞 zk 這個技術,再配合其他的技術亮點做出來的項目。
比如說大多數人認為 Layer2 它一定是未來的一個熱度,有 zk 這個技術,包括 DID 包括 Socialfi、 Gamefi 這些賽道都很大。但是從個人的觀感,比如說 Social fi 配合 DID 的融合技術的賽道會更值得關注。
最后一個問題,作為普通投資者的話,我們如果想要搭上 ZK 的快車,我們有哪些可以做的?
大家可以多去看一些,它沒有主要標榜 ZK 技術,但是它是用到了 zk 技術的項目,它的技術亮點可能就是比如說多方計算或者零拷貝,這些是比較有亮點的項目。
如果有一個大前提是比如說是 DID 或者資產跨鏈,能夠解決整個區塊鏈的生態技術瓶頸的項目,其實大家是可以多看一點的。
再回到針對于以太坊的擴容的 Layer2 的賽道來說,其實就是很簡單,要么就是沒發幣的項目就多參與互動,以個人的形式或者團隊的形式去獲取一點獎勵。
發了幣的的話,像 Polygon 這種的已經上了二級了,大家可以去看一下 Polygon 現在的整個發展的基本面,那么大家可以去考慮一下要不要在相對比較低的時候去買一些代幣去做價值投資。
我們經常說現在的整個行業的投資環境已經不像早期的只看技術邏輯是能實現的就有投資了。現在不僅僅是這樣,還要看你團隊的運營能力怎么樣,團隊的 BD 能力怎么樣,你團隊有沒有一個就是你能推動你這個公司在整個行業里面往前走的一個好的 strategy,我覺得這個很重要。
所以現在其實很多資本或者資產比較多的個人投資者,他們會比較看好 Polygon 的一個原因就是 Polygon 的一個基本面已經給大家展示出來了,去年我們是唯一一個帶著整個行業去推動 Web2 資產的一條鏈。
在去年在行情不好的情況下,Polygon 的代幣相對來說是非常保值的,所以個人覺得投資者在未來的一個投資可能是需要多去看看一個團隊的綜合能力的。
我是覺得相對來說喜歡價值投資的比較保險的投資者,可以選擇 Polygon,對于一些風險偏好稍微大一點的,可能他想要一個更大的收益的。那么可以去看一些現在比較初創的,用 zk 技術來做的一些項目。
實際上目前的 ZK 就像潘老師說的主要還是擴容,方案也就是在座的各位的這幾個項目,然后以 StarkNet 來說,上面的生態現在也逐漸的在繁榮,未來會隨著新的 Layer2 這種高性能的基礎設施,肯定會誕生出以太坊這樣的生態,肯定會誕生出全新的東西會出來。
現在有一些有意思的東西,像全鏈上的游戲,有一些在 StarkNet 上比較的活躍,還有一些另外的一些 DeFi 的項目,大家都可以來多關注。
另外剛才說到 zk 的應用,事實上 Cairo 這個語言實際上它不光是一個在 StarkNet 上使用,并不是一個專門寫智能合約的語言,它是一個通用型的語言,相當于就跟 c 語言 rust 這些語言是一樣的,它不限于在 StarknNt 上寫智能合約,它可以做一些很多其他的事情。
未來 zk 就像大家剛才說的,如果說 zk 的技術在其他領域有發展的話,這個 Cairo 也可以在 StarkNet 之外可以得到更多的應用,我就說這兩點。
我覺得對于普通投資者來講的話,也可能包括對一些機構來講,未來 ZK 還是一個非常大的賽道,我可以分為幾個大的方面。
首先第一點,關于 zk 的就是硬件加速這一塊,我們知道原來去原來 btc 它的價值是在于它去計算一些哈希,最終它消耗一些資源,達成共識,它有一定價值。
然后對于 zkp 的來講的話,它本質上它是算了一些更有用的計算,做了大量的并行計算,也消耗非常多的算力,去產生 proof 來支撐整個基礎設施,包括基礎設施之上的一些應用。
所以我覺得 ZK 在硬件加速這一塊,ZK 挖礦大的賽道上面,本質上來講是一個非常有潛力的,因此我覺得對于普通的投資者來講的話,可以關注一下這個方面。
第二點的話,大家可以關注一下 ZK 在 Gaming 方面的一些應用,就是一我覺得未來的話 ZK 加 Game 包括一些跟 Gamefi 之類會有非常大應用場景。
現在的 Scroll 的話在和像騰訊,包括一些非常大的知名的游戲公司也在做這種的合作,包括最近馬上我們要去參加騰訊云的關于 Web3 的會議,也可能也會去跟他們去聊聊,就在游戲方面基于 zk 的一些探索。
比如說像然后這是在游戲方面的。另外的話在中間件也是有一些不錯的,像剛才 Todd 老師提到的關于 bridge 類似這種項目,另外的話還有一些做 zk oracle 的一些項目,我覺得這些基于 ZK 的中間件大家可以去重點去看一下。
在 zk 在 MeV 這個方面肯定也是有一些場景的大家也可以重點去關注一下。
另外的話我們也可以回歸到 zk 它本身。我把 zk 分為就是 4 個大的方向,首先第一點就是 protocol 在 zk 企業層面它有哪些新的機會。
然后在 circuit 這一層的話,它可能會有一些非常好的開源電路庫,大家也可以去關注一下他們背后的團隊。
另外的話在 zk 這個行業賽道上面還有一些把 zk 在前端展示非常好,他們去做一些前端帶圖靈的一些工具,包括后端的一些工具。我覺得做工具的這些方向大家也可以去看一下。
最后一個就是關于 zk 的一些應用,對,所以其實本質上 zk 能想到的,現在有在做的方向會非常多,所以賽道非常有機會的,大家可以深度的去關注一下,肯定是能發現未來就是特別大的項目的一些潛力。
Biteye
個人專欄
閱讀更多
金色早8點
金色財經
Odaily星球日報
歐科云鏈
Arcane Labs
深潮TechFlow
MarsBit
澎湃新聞
BTCStudy
鏈得得
Tags:ROLLROLSTASTARTROLLBNB價格Roller Inustafi幣未來價值starl幣項目進展最新消息
一個連圖都發不了的社交類APP,掀起了2023年全球社交網絡的第一場風暴。最近,一款名為“Damus”的全新社交軟件僅推出一天就沖上了App Store社交媒體類下載排行榜的前十.
1900/1/1 0:00:00在傳統游戲領域,平臺與發行渠道極為重要,就算是由只有幾個人的獨立工作室完成的游戲,只要得到了大型發行商的青睞,就很容易在 Steam 這樣的平臺上得到推薦,出現在玩家們的視野里.
1900/1/1 0:00:00通過闡述整個開發工具集,本文希望提供一個指南,幫助開發者在決策過程中選擇合適的zk堆棧。去年夏天,Vitalik 寫了一篇博文,概述了不同類型的 zkEVM(零知識以太坊虛擬機).
1900/1/1 0:00:00原文作者:William M. Peaster,由 DeFi 之道編譯。如果您深入了解加密世界,那么您已經聽說過零知識證明(ZK Proof)及其應用已有一段時間了.
1900/1/1 0:00:00▌FTX Japan將于2月21日恢復加密貨幣和法定提款金色財經報道,FTX 的日本子公司FTX Japan將于 2 月 21 日恢復加密貨幣和法定提款.
1900/1/1 0:00:00By: 山 “我不需要知道 Jerry 是誰,在網絡上做生意,你相信的就是網絡上的小面板,剝掉面板,你就知道這玩意實際上有多脆弱,而事實上在那網站后面操作的真人,他們才是你需要信任的人.
1900/1/1 0:00:00