ETHDenver zkDAY：探討 ZK 應用、硬件加速以及 zkEVM_NEL

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。

Cypher Protocol漏洞相關錢包共損失超100萬美元的相關資產:金色財經報道，據Solana區塊鏈瀏覽器Solscan數據，基于Solana的去中心化交易所Cypher Protocol漏洞相關錢包共損失了1,035,203美元的相關資產，其中，損失38,530枚SOL和123,184枚USDC。在漏洞發生后的幾個小時內，涉嫌錢包將 30,000 USDC轉移到幣安的 Solana USDC 地址“kiing.sol”，可能試圖兌現被盜資金。截至本文發布時，涉嫌黑客尚未將任何基于Solana的資金橋接至以太坊網絡。

金色財經此前報道，基于Solana的去中心化交易所Cypher Protocol遭黑客攻擊損失40萬美元，協議貢獻者在官方推文中表示，正在試圖與黑客聯系以協商資金返還，協議的智能合約現已被凍結。[2023/8/8 21:31:22]

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

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

幣安將上線UMA1-20倍U本位永續合約:金色財經報道，據官方公告，幣安將于2023年05月10日20:30（北京時間）上線UMA1-20倍U本位永續合約。[2023/5/11 14:56:57]

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

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

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

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

香港庫務局局長陳浩濂：已撥款5000萬元推進行業發展:4月12日消息，在今日舉行的Web3香港嘉年華峰會上，香港特別行政區政府署理財經事務及庫務局局長陳浩濂表示，自香港去年推出相關政策以來，已有包括虛擬資產交易所、虛擬資產網絡安全公司、虛擬資產錢包、支付機構等各種類型的 Web3 公司決定來香港設立其國際總部或擴大規模。香港將為虛擬資產交易所于今年 6 月實施發牌制度，并已于今年 2 月發行代幣化政府綠色債券。

另外，香港的財政預算公布撥款 5000 萬元來推進行業發展，為吸引和培養業界相關人才，還將推出券商學生金融科技實習計劃，讓更多優秀人才在未來致力于投身金融科技行業。[2023/4/12 13:59:28]

ZKPanel2-加速ZK采用

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

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

Arbitrum發起AIP-1提案，擬引入Arbitrum DAO并申請10億美元撥款:金色財經報道，Arbitrum就一項為新成立的去中心化自治組織 (DAO) 引入管理機構的提案進行了投票。該提案名為 Arbitrum 改進提案 1 (AIP-1)，概述了創建所謂的 Arbitrum 基金會的步驟，該基金會將負責發展 Arbitrum 生態系統。提案背后的實體Lemma表示，根據 ArbitrumDAO 章程中規定的 AIP 流程，ArbitrumDAO 將對 DAO 財政部擁有直接的鏈上治理權，Lemma 還要求額外提供 7.5 億美元的 ARB 代幣（大約超過 10 億美元），用于 Arbitrum 基金會控制的二級行政預算錢包。?

到目前為止，該提案已為未來的基金會任命了三位初始董事：Campbell Law、Edward Noyons 和 Ani Banerjee。還將有一個由 12 名成員組成的安全理事會委員會。

盡管該提案尚未獲得批準，但創建了一個地址名為“Arbitrum DAO Treasury2”的多重簽名錢包，此后已收到近 7 億美元的 ARB代幣。如果提案通過，Arbitrum 基金會將獲得 10 億美元。[2023/4/1 13:38:56]

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

新加坡金管局局長：如果加密貨幣公司進行非法活動，將采取堅決行動:7月19日消息，新加坡金管局局長表示，如果加密貨幣公司進行非法活動，將采取堅決行動。（金十）[2022/7/19 2:22:43]

接下來嘉賓們圍繞目前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：NELPANARBBITJaneLendingSpantalesharbi幣總量bitcoinerc

Polygon