原文：《尋找2023 ZK 賽道新密碼》
轉錄：Biteye 核心貢獻者小么雞
編輯：Biteye 核心貢獻者Crush
會議成員
- 主持人：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 能想到的，現在有在做的方向會非常多，所以賽道非常有機會的，大家可以深度的去關註一下，肯定是能發現未來就是特別大的項目的一些潛力。
