編譯| Franci
zkDay Denver 是在ETH Denver 2023 期間備受關注的周邊活動。這是一個零知識證明相關的圓桌討論以及面向開發者和構建者的開放Hack House。
主辦方:
Poly Chain Capital、Manta Network
介紹:
該活動由Scroll、Aleo、Veridise、Nil、Cysic、Modulus Labs、Hyper Oracle 以及其他zk 項目贊助與支持。活動匯集了該領域的專家和愛好者,進行一系列與ZK 相關的講座、討論和互動活動。
活動當天進行了4 個Panel:
VC Panel: 捕獲zk 的長期價值
ZK Panel 1: ZK 應用: 可編程性和隱私性
ZK Panel 2: 加速ZK 採用
ZK Panel 3: zk(E)VMs、鏈上超級力量以及安全性
ECN 對三個zk Panel 進行了整理。視頻與活動信息:
https://lu.ma/zkDayDenver
ZK Panel 1 - ZK 應用: 可編程性和隱私性(1:03:33 - 1:57:43)
第一個Panel 由Wei Dai 主持,嘉賓有:Manta Network 的Shumo Chu、Aleo 的Anthony Diprinzio、Aztec 的Jon Wu 以及Axiom 的Yi Sun。
在這個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 所做的。”
Anthony 對DSL 進行了一些補充:“我同意Jon 的說法,Aleo 開發的編程語言也是基於這樣的哲學。我們在嘗試抽象掉構建零知識證明的複雜性,我們的DSL 編譯器作為一個中間表示語言存在,開發者可以直接構建他們想要build 的zk 應用就好了。”
最後,Yi 對大家的討論進行了一個總結:“我覺得DSL 和API 之間的爭論有點誇大了,我覺得在zk 開發中,它們之間的界限很模糊。長期來看,我認為我們也會開發DSL,但是首先我們會在API 層面上開展工作來獲得最大化的性能。隨著系統和硬件加速逐漸優化,我們就會添加DSL 這塊進去,進一步優化我們的系統。”
ZK Panel 2 - 加速ZK 採用(1:57:50 - 2:52:27 )
這個Panel 由來自CoinTelegraph 的Michael Tabone 主持,嘉賓有nil foundation 的Mikhail Komarov、 Hyper Oracle 的Kartin Wong、Cysic 的Leo Fan 以及Risc Zero 的Brian Retford。
這是一場圍繞"加速ZK 採用" 的圓桌討論,涉及的問題包括:為什麼我們需要關注zk、zk 會如何影響Web3 和其他行業的發展、目前推進zk 所面臨的障礙、擴大zk 的採用的優先工作是什麼、除了隱私之外zk 還可以有哪些領域的應用、zk 證明生成市場以及硬件加速的相關討論...
對於第一個問題“為什麼需要關注zk”, Kartin 認為零知識證明與其他密碼學技術如“ECDSA、Merkle Tree、SHA-256” 一樣重要。這些都是傳統區塊鏈上我們應用到的技術,而我們現在之所以推崇採用zk 證明,一個很重要的原因是現在的性能問題不像以往那麼簡單,代碼庫也複雜了許多。 “我舉個例子,我剛開始我的加密貨幣之旅時,有兩個問題使我感到困惑,其一就是,30 年之後的人怎麼驗證我們今天擁有的數據,這幾乎是不可能的,因為區塊(鏈)會變得超級長。那如果應用了zk 證明,對每一個區塊生成遞歸證明,即便在100 年之後,也可以輕易驗證這些區塊”,Kartin 分享道,“第二個考慮的點就是,為什麼我們要使用中心化的RPC 提供商來訪問去中心化的區塊鏈。我開始想,怎麼能夠讓任何人從其他人那裡接收區塊鏈數據,而無需有一個中心化的服務器作為中介。我帶著這個想法,最後找到了另一位聯合創始人,我們覺得用zkp 來解決這個問題。這就是zkp 能夠帶給我們的其他想像。”
接下來嘉賓們圍繞目前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 技術能夠提供一個去中心化層級的基礎設施。”
ZK Panel 3 - zk(E)VMs、鏈上超級力量以及安全性(2:53:17 - 3:45:00)
最後一場Panel 由Brevan Howard Digital 的Drew Werff 主持,嘉賓有:Modulus Labs 的Ryan Cao、Veridise 的Jon Stephens、Scroll 的Ye Zhang 以及Eclipse 的Neel Somani。
主持人向Ye 提出了一個問題“Scroll 團隊的zkEVM 與其他團隊的不同?” Ye 從不同的方面進行了回答:“首先從技術上來說,Scroll 的zkEVM 旨在實現字節碼層面的EVM 等效,也就是說開發者遷移或者部署應用時可以重新使用其字節碼,而不僅僅是solidity 代碼;另一方面,Scroll 正嘗試在定序器中重新應用go ethereum,來最大化其安全性。
第二點就是,我們對於zkEVM 方向具有長遠的思考:重視安全性以及去中心化的發展。針對去中心化,我們採用去中心化證明者方案,任何人都可以在家運行一個證明者節點。
最後就是我們團隊的精神,我們堅持由社區驅動Scroll 的發展;並且與以太坊社區的利益和文化高度一致。 ”
在問到zk 如果賦能AI 的這個問題中,Ryan 向大家介紹了zk ml (機器學習) 以及它的潛在用例。他針對機器學習中的zk 推理進行了解釋:如果將AI 模型比喻為一個工廠,你向它提交一些輸入,然後獲得特定的輸出(不管這些工廠的內部是如何處理這些輸入的)。建造一個這樣的工廠有兩個主要階段:首先是參數設定階段,你需要對所有機器進行設置;然後就是推理階段,在這個階段工廠開始投入生產,所有機器都精確設置並且就位,你需要做的只是將原材料放入,然後得到各種特定的輸出。而zk AI 在這個過程中可以帶來什麼。它可以使這個機器學習模型是去信任的,沒有人可以搞砸這個模型的運作和它的輸出結果。至於具體的用例,Ryan 認為我們在將來會有鏈上版本的語言模型,比如鍊上醫療保健提供商等等。
對於另一個問題"大家覺得zk 中研究不足的領域有哪些?或者說未來我們要加強對哪方面的關注“,Jon 認為對於zk 電路安全的研究,需要投入更多精力和關注。 Jon 提出zkEVM/zkVM 的代碼都非常複雜且數量龐大,靠人工審計幾乎是不可能的。他們做的事情就是開發自動審計zk 代碼的工具。
Ye 解答了Scroll 正在研究以及開發的一些領域:“我們構建zkEVM 需要有高性能的zk prover (證明器) 來使我們的系統更加可行。在這方面的改善我們投入了多種努力:硬件加速、更好的證明系統和遞歸證明系統等等。具體說到硬件加速這方面,硬件提供商會研究某種zkEVM 的算法,然後構建一個更適合這個算法的硬件;而軟件方面,算法也會相應地改善,來使得系統更加硬件友好,不僅僅是在理論層面,更是在實踐層面。那麼我們現在主要關注的研究就是,如何協調硬件和軟件之間的關係,從而實現更加高性能的zk 證明器。 ”
點擊“閱讀原文”獲取文章內部鏈接!
ECN 的翻譯、編輯工作旨在為以太坊中文社區傳遞優質資訊和學習資源,文章版權歸原作者所有,轉載須註明原文出處以及ETH 中文。若需長期轉載,請聯繫eth@ecn.co 進行授權。