DSL: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。

Bitfinex推出Paper Trading平臺:4月30日消息，Bitfinex已經推出一個全新的Paper Trading平臺，擁有18個現貨和16個永續交易對，包括BTC、ETH、SOL和MATIC。

Paper Trading平臺已集成到Bitfinex交易平臺中，對擁有Bitfinex賬戶的所有用戶開放。[2023/5/1 14:36:20]

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

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

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

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

債權市場OPNX單日交易額首次達到200萬美元:4月13日消息，三箭資本創始人Su Zhu等人創辦的加密債權交易市場Open Exchange（OPNX），過去24小時交易額首次超過100萬美元，達到199.5萬美元；其中現貨交易量38.6萬美元，永續合約交易量160.9萬美元。[2023/4/14 14:02:21]

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

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

ZKPanel2-加速ZK采用

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

BAYC推出感恩節盲盒，暗示圣誕節將發布新內容:金色財經報道，Bored Ape Yacht Club在推特上發布一張手拿神秘盲盒的圖片，并配文“感恩節快樂，Ape們。”此外，BAYC還暗示或將在今年圣誕節發布新內容。[2022/11/26 20:47:04]

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

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

區塊鏈軟件開發公司Onbloc推出Gnoland瀏覽器Gnoscan:9月23日消息，韓國區塊鏈軟件開發公司Onbloc推出Gnoland瀏覽器Gnoscan，目前支持查看賬戶、交易、區塊等信息，未來將GRC-20、NFT以及部分網絡指標額查看。Gnoscan開發團隊表示，由于Gnoland上的交易索引功能仍處于開發階段，目前交易Hash的值并非實際的交易Hash。[2022/9/23 7:17:24]

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

Messari：以太坊合并引發的ETC價格反彈不會持續:金色財經消息，Messari分析師表示，以太坊合并敘事不會推動以太坊經典（ETC）的持續上漲，ETC可能會在合并前幾天飆升，但它沒有長期上漲動力。Messari表示，以太坊挖礦目前占圖形處理單元(GPU)挖礦收入的97%，每日收入為2400萬美元。而以太坊合并后，礦工將被迫出售他們的設備或改用ETC挖礦，目前ETC占GPU挖礦收入的2%，每日凈收入約為700,000美元。這種盈利能力的巨大差距意味著，即使“有意義的部分”礦工遷移到ETC，挖礦難度也會急劇增加，并使許多礦工無利可圖。

根據Messari的說法，以太坊經典的活躍地址數量不到Cardano的一半，該網絡目前的發展水平不到以太坊和Cardano的十分之一，自2018年以來交易量沒有出現有意義的增長。分析師稱：“歸根結底，價格應該與網絡使用和潛在的經濟活動有一些基本的聯系，不幸的是，對于ETC持有者來說，兩者都沒有。”（Coindesk）[2022/8/4 2:58:09]

至于擴大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：PANNELZKPDSLPancake GamesNEL價格ZKPEPEDSLA

萊特幣