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

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。

ParaSpace舊官推：希望通過談判推進多重簽名轉移至社區選舉的簽署人:5月12日消息，NFT借貸協議ParaSpace舊官推今日早間表示，為了遵守我們對透明度的承諾，在與Zeneca溝通后，我們同意讓所有人都可以在Twitter Spaces上收聽與Yubo Ruan和所有多簽名簽署者的第三方主持會議。我們將推進解決2個關鍵問題：1.立即采取措施解決平臺利率問題：向其他多重簽名簽名者發出請求，以暫時暫停對借款人的協議利息。2.釋放多重簽名：將促進控制權從ParaSpace團隊的所有簽署人和Yubo方面的任何愿意簽署人轉移到社區選舉的簽署人，計劃進行1天內的提名，在進行2天的投票。我們邀請Yubo和其他簽署人參與其中，并在空間會議期間與我們協調。目前，該會議正在進行。[2023/5/12 14:59:38]

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

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

149,999,900 USDT從未知錢包轉移到OKEx:金色財經報道，據Whale Alert監測，北京時間4月23日16:06，149,999,900 USDT (價值約150,056,899美元) 從未知錢包轉移到OKEx。[2023/4/23 14:21:55]

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

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

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

帕勞共和國正與Ripple合作探索創建國家穩定幣:12月26日消息，帕勞共和國總統Surangel S.Whipps,Jr.表示該國的IT團隊正在與RippleLabs合作，探索創建“國家穩定幣”，以使該國能夠輕松安全地進行本地支付。

據悉，今年6月份Surangel S.Whipps,Jr.在與幣安創始人趙長鵬會面后宣布，將通過RNS.ID平臺在BNB Chain上發布數字居民身份證NFT。該NFT使用戶能夠線上執行數字本地KYC，并實現對需要政府頒發ID的各種服務的訪問。[2022/12/26 22:07:21]

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

ZKPanel2-加速ZK采用

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

阿里云：成立“數字政務創新聯盟”與“數字政府行業咨詢協創中心:11月5日消息，據阿里云官微消息，阿里云聯合數字政通、萬達信息、數夢工場、南威軟件、太極股份、時代凌宇等行業頭部合作伙伴，成立“數字政務創新聯盟”。與中國信通院產業與規劃研究所、中國軟件評測中心、國家工業信息安全發展研究中心信息化所、長城戰略咨詢等機構，共同發布《'云上數字政府'系列參考指引》，并發起成立“數字政府行業咨詢協創中心”。(金十)[2022/11/6 12:21:27]

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

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

以太坊第九個主網影子分叉“Shadow Fork9”上線:金色財經消息，以太坊的第九個主網影子分叉“Shadow Fork9”已上線，在影子分叉發生后的幾個小時內，沒有報告任何重大故障。與完整的測試網Merge硬分叉（如Sepolia硬分叉）不同，影子分叉是一個較小的測試分叉，專注于當以太坊合并最終發生時需要的一兩個小規模更改。以太坊基金會DevOps工程師Parithosh解釋道，在Shadow Fork9中，開發人員主要專注于測試更新和最近的Sepolia硬分叉中使用的版本。[2022/7/15 2:14:36]

接下來嘉賓們圍繞目前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：PANNELZKPDSLEPAN價格Sentinel ChainzkProofDSLA

狗狗幣最新價格