尋找 2023 ZK 賽道新密碼

會議成員

主持人：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 也是我重點去關注去研究的一個方向，就先介紹到這裏。

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 年就提出來的數學協議。

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

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

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

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

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

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

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

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

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

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

Jesse

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

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

Young

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

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

所以你要證明一個 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 項目和一些隱私保護項目也沒法對比，但是做隱私是一個非常重要的方向。

Cora

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

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

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

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

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

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

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

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

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

Todd

從本人角度來講，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, 雖然等效性沒有那么強，但是也能夠極大可能性的讓开發者不改變過去的开發習慣就可以實現一些應用。

Jesse

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

Leo

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

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 網絡當中。

Young

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

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

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

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

另外這樣一個开源的 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 去接觸了大量的基礎設施項目，爲後面生態的成長去做基礎性的建設。

Cora

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 還在不斷的優化中，也歡迎有更多的項目方來我們即將上线的主網的測試版本進行測試。

Jesse

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

潘致雄

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

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

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

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

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

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

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

Todd

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

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

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

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

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

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

Cora

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

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

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

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

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

比如說大多數人認爲 Layer2 它一定是未來的一個熱度，有 zk 這個技術，包括 DID 包括 Socialfi、 Gamefi 這些賽道都很大。但是從個人的觀感，比如說 Social fi 配合 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 類似這種項目，另外的話還有一些做 zk oracle 的一些項目，我覺得這些基於 ZK 的中間件大家可以去重點去看一下。

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

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

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

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

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

鄭重聲明：本文版權歸原作者所有，轉載文章僅為傳播信息之目的，不構成任何投資建議，如有侵權行為，請第一時間聯絡我們修改或刪除，多謝。

---

標題：尋找 2023 ZK 賽道新密碼

地址：https://www.torrentbusiness.com/article/25522.html

標籤：