PAN:ETHDenver zkDAY：探討 ZK 應用、硬件加速以及 zkEVM

zkDayDenver是在ETHDenver2023期間備受關注的周邊活動。這是一個零知識證明相關的圓桌討論以及面向開發者和構建者的開放HackHouse。

主辦方：

PolyChainCapital、MantaNetwork

介紹：

該活動由Scroll、Aleo、Veridise、Nil、Cysic、ModulusLabs、HyperOracle以及其他zk項目贊助與支持。活動匯集了該領域的專家和愛好者，進行一系列與ZK相關的講座、討論和互動活動。

活動當天進行了4個Panel：

VCPanel:捕獲zk的長期價值ZKPanel1:ZK應用:可編程性和隱私性ZKPanel2:加速ZK采用ZKPanel3:zk(E)VMs、鏈上超級力量以及安全性ECN對三個zkPanel進行了整理。視頻與活動信息：

ZKPanel1-ZK應用:可編程性和隱私性?

第一個Panel由WeiDai主持，嘉賓有：MantaNetwork的ShumoChu、Aleo的AnthonyDiprinzio、Aztec的JonWu以及Axiom的YiSun。

Hashkey Exchange或已獲批香港虛擬資產新牌照:8月3日消息，Hashkey Group首席運營官Livio Weng“七爺”在社交媒體發文稱“一張‘好牌’，即將到來”并附Hashkey Exchange配圖，或指已獲批香港虛擬資產新牌照。上月初，HashKey披露在申請牌照期間“獲得積極反饋”并計劃在短期內推出虛擬資產交易平臺Omnibus服務。

按現行條例，虛擬資產平臺須購買保險，并就線下儲存的“冷錢包”提供50%保障，而網上儲存的“熱錢包”保障為100%。至于可供交易的加密貨幣，須屬于合資格的大型虛擬資產，并獲證監會事前審批。[2023/8/3 16:15:18]

在這個panel中，大家圍繞zk可訪問性以及怎么樣降低zk編程的門檻展開了討論。

首先，Shumo表示：“zk編程本身固有的難點就是，它不像正常那樣使用日常的應用程序邏輯去編寫。在構建大部分zk編程時，你是在構建密碼學協議。基于這些觀察，我認為僅僅有針對zk的特定域語言(DSL)是不夠的，我們還需要API庫、SDK這些工具。開發者能夠很輕易地去調用API來編寫他們想要構建的任何zk應用。

針對開發DSL還是API，主持人提問了其他人的看法(Axiom選擇構建API，而Aztec和Aleo正構建DSL)。

3萬枚ETH從未知錢包轉至OKX:7月6日消息，Whale Alert數據顯示，北京時間14:35分左右，30,000枚ETH（約合57,687,950美元）從未知錢包轉至OKX。[2023/7/6 22:21:30]

Jon提出不同的意見：“Aztec使用的語言Noir是DSL，但我們宣傳或向大眾解釋時通常會以通用語言去介紹它，因為它可插入任意后端。剛才Shumo提到的一點就是，對于想要開發密碼學應用的開發者來說，必須要有密碼學背景和應用開發能力。我們正在做的就是嘗試為開發者掃除密碼學方面的障礙，讓他們只專注于構建強健的應用即可，無需考慮密碼學方面的安全性問題。這就是Noir所做的。”

Anthony對DSL進行了一些補充：“我同意Jon的說法，Aleo開發的編程語言也是基于這樣的哲學。我們在嘗試抽象掉構建零知識證明的復雜性，我們的DSL編譯器作為一個中間表示語言存在，開發者可以直接構建他們想要build的zk應用就好了。”

最后，Yi對大家的討論進行了一個總結：“我覺得DSL和API之間的爭論有點夸大了，我覺得在zk開發中，它們之間的界限很模糊。長期來看，我認為我們也會開發DSL，但是首先我們會在API層面上開展工作來獲得最大化的性能。隨著系統和硬件加速逐漸優化，我們就會添加DSL這塊進去，進一步優化我們的系統。”

Moonsama贏得第42輪波卡平行鏈插槽拍賣:4月3日消息，Polkadot（波卡）官方在推特上宣布，NFT生態系統Moonsama贏得第42輪波卡平行鏈插槽拍賣。

據悉，Moonsama尋求釋放NFT作為Web3空間中真正實用元素的潛力，通過開發基礎設施和實用解決方案，加速NFT驅動的應用程序進入市場。Moonsama網絡上的原生資產和收藏品現在受益于跨鏈通信和與Moonsama的多元宇宙門戶集成。[2023/4/3 13:42:08]

ZKPanel2-加速ZK采用

這個Panel由來自CoinTelegraph的MichaelTabone主持，嘉賓有nilfoundation的MikhailKomarov、HyperOracle的KartinWong、Cysic的LeoFan以及RiscZero的BrianRetford。

這是一場圍繞"加速ZK采用"的圓桌討論，涉及的問題包括：為什么我們需要關注zk、zk會如何影響Web3和其他行業的發展、目前推進zk所面臨的障礙、擴大zk的采用的優先工作是什么、除了隱私之外zk還可以有哪些領域的應用、zk證明生成市場以及硬件加速的相關討論...

韓國數字營銷巨頭FSN與Chainlink Labs達成合作，加速NFT在韓國的應用:據官方公告，韓國數字營銷巨頭FSN宣布與Chainlink Labs建立渠道合作伙伴關系，以加速NFT和NFT生態系統在韓國的廣泛應用。通過此次合作，FSN將進一步加強NFT項目的透明度和穩定性，并推動用戶對NFT項目的廣泛認知。

FSN首席執行官Lee Sang Seok表示，Chainlink預言機服務對于解鎖新形式的NFT實用程序、贏得用戶對Web3項目的信心以及使NFT發揮其巨大潛力至關重要。[2022/12/21 21:58:19]

對于第一個問題“為什么需要關注zk”，Kartin認為零知識證明與其他密碼學技術如“ECDSA、MerkleTree、SHA-256”一樣重要。這些都是傳統區塊鏈上我們應用到的技術，而我們現在之所以推崇采用zk證明，一個很重要的原因是現在的性能問題不像以往那么簡單，代碼庫也復雜了許多。“我舉個例子，我剛開始我的加密貨幣之旅時，有兩個問題使我感到困惑，其一就是，30年之后的人怎么驗證我們今天擁有的數據，這幾乎是不可能的，因為區塊(鏈)會變得超級長。那如果應用了zk證明，對每一個區塊生成遞歸證明，即便在100年之后，也可以輕易驗證這些區塊”，Kartin分享道，“第二個考慮的點就是，為什么我們要使用中心化的RPC提供商來訪問去中心化的區塊鏈。我開始想，怎么能夠讓任何人從其他人那里接收區塊鏈數據，而無需有一個中心化的服務器作為中介。我帶著這個想法，最后找到了另一位聯合創始人，我們覺得用zkp來解決這個問題。這就是zkp能夠帶給我們的其他想象。”

Bybit將于9月15日停止在巴西提供加密衍生品交易服務:9月15日消息，新加坡加密貨幣交易所Bybit將于9月15日停止在巴西提供加密期貨和期權等衍生品交易服務，并表示它正在與巴西證券委員會（CVM）進行談判，建議用戶管理他們的頭寸或訂單，稱不會暗示對用戶存入的衍生品資產進行任何形式的凍結。（CoinDesk）[2022/9/15 6:57:31]

接下來嘉賓們圍繞目前zk所面臨的障礙進行了探討。Leo表示，一方面是編程語言方面的困難，需要更高效的zk電路；而另一方面則是zk證明生成上的困難。而Brian則認為，這其中最大的困難是，許多zk項目發明了新的語言，并推動大家學習如何對電路進行編程。這雖然很有趣，但是這為安全審計帶來了巨大的挑戰，因為我們希望做到的是提供一個環境，讓開發者像平常編寫程序那些編寫zk程序。Kartin補充，他認為這種進入壁壘可以通過各種zkVM解決，這允許開發者不用了解許多構建電路的相關知識就可以對zk電路進行編程。最后，Mikhail則認為推進zk廣泛采用的一個很大的障礙來自于大家缺乏對zk用例的認識，有很多應用可以通過一種更加去信任的方式去實現；第二就是需要盡快地將其帶到市場上，讓人們可以使用。

至于擴大zk采用的優先工作，Brian很好地總結了三點：“第一就是許多公司已經在做的工作，提供教育材料，向廣大用戶普及zk證明領域的一切；第二就是比較少關注到的應用zk的科普，也就是向那些想要構建自己的zk系統的開發者提供一些教程和環境。前兩點是我們在未來一年內需要重點關注的。最后一點，我想應該在未來兩到十五年里需要解決的一個問題，就是zk生成的硬件加速行業。”

在最后的提問環節中，有一位觀眾提問了一個大家都比較關注的問題：“這種zk生成的挖礦市場與比特幣的PoW挖礦機制有什么區別？”Mikhail的回答是：“在比特幣網絡中，你無法信任一個中間商，所以不能外包哈希的計算，也就是沒有一個明確的市場。而在zk挖礦的語境下，我們可以隱藏交易數據，那么就可以外包證明生成。這也是我們正在做的事情，我們引入了一個證明生成市場。”Brian補充了他的看法：“我基本上認同Mikhail的回答。在比特幣的PoW機制下，會有礦工做一堆白費的工作，因為比特幣網絡提供了宏觀上的經濟安全性。而在zk證明生成市場中，你不需要任何宏觀經濟安全性，只需運行一個證明然后驗證它就行了。也就是說，zk技術能夠提供一個去中心化層級的基礎設施。”

ZKPanel3-zk(E)VMs、鏈上超級力量以及安全性

最后一場Panel由BrevanHowardDigital的DrewWerff主持，嘉賓有：ModulusLabs的RyanCao、Veridise的JonStephens、Scroll的YeZhang以及Eclipse的NeelSomani。

主持人向Ye提出了一個問題“Scroll團隊的zkEVM與其他團隊的不同？”Ye從不同的方面進行了回答：“首先從技術上來說，Scroll的zkEVM旨在實現字節碼層面的EVM等效，也就是說開發者遷移或者部署應用時可以重新使用其字節碼，而不僅僅是solidity代碼；另一方面，Scroll正嘗試在定序器中重新應用goethereum，來最大化其安全性。

第二點就是，我們對于zkEVM方向具有長遠的思考：重視安全性以及去中心化的發展。針對去中心化，我們采用去中心化證明者方案，任何人都可以在家運行一個證明者節點。

最后就是我們團隊的精神，我們堅持由社區驅動Scroll的發展；并且與以太坊社區的利益和文化高度一致。”

在問到zk如果賦能AI的這個問題中，Ryan向大家介紹了zkml(機器學習)以及它的潛在用例。他針對機器學習中的zk推理進行了解釋：如果將AI模型比喻為一個工廠，你向它提交一些輸入，然后獲得特定的輸出(不管這些工廠的內部是如何處理這些輸入的)。建造一個這樣的工廠有兩個主要階段：首先是參數設定階段，你需要對所有機器進行設置；然后就是推理階段，在這個階段工廠開始投入生產，所有機器都精確設置并且就位，你需要做的只是將原材料放入，然后得到各種特定的輸出。而zkAI在這個過程中可以帶來什么。它可以使這個機器學習模型是去信任的，沒有人可以搞砸這個模型的運作和它的輸出結果。至于具體的用例，Ryan認為我們在將來會有鏈上版本的語言模型，比如鏈上醫療保健提供商等等。

對于另一個問題"大家覺得zk中研究不足的領域有哪些？或者說未來我們要加強對哪方面的關注“，Jon認為對于zk電路安全的研究，需要投入更多精力和關注。Jon提出zkEVM/zkVM的代碼都非常復雜且數量龐大，靠人工審計幾乎是不可能的。他們做的事情就是開發自動審計zk代碼的工具。

Ye解答了Scroll正在研究以及開發的一些領域：“我們構建zkEVM需要有高性能的zkprover(證明器)來使我們的系統更加可行。在這方面的改善我們投入了多種努力：硬件加速、更好的證明系統和遞歸證明系統等等。具體說到硬件加速這方面，硬件提供商會研究某種zkEVM的算法，然后構建一個更適合這個算法的硬件；而軟件方面，算法也會相應地改善，來使得系統更加硬件友好，不僅僅是在理論層面，更是在實踐層面。那么我們現在主要關注的研究就是，如何協調硬件和軟件之間的關系，從而實現更加高性能的zk證明器。”

Tags：PANNELNFTZKPPANGO幣Token KennelSQGL Vault (NFTX)ZKP價格

以太坊交易