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

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。

Polygon在社區發起針對系統智能合約治理的初步設想:6月18日消息，Polygon在社區發起針對系統智能合約治理的初步設想。Polygon表示，該設想針對了對于協議相關的重要合約（例如ZK Rollup）的升級的治理，主要在于建立一個去中心化的、社區控制的生態系統委員會。目前Polygon PoS的所有網絡升級都通過少數被信任的社區成員的多簽實現，并通過時間鎖進行保護，擬議的生態系統委員會旨在改變當前的方案，通過委員會提案，社區投票的方式來讓協議核心升級提案可以更加去中心化和社區化。[2023/6/18 21:45:26]

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

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

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

報告：超過68.45%的總供應量已超過一年沒有移動:金色財經報道，據 Bitfinex 的報告，超過 68.45% 的總供應量，即現有 1940 萬個 BTC 中的 1327 萬個，已經超過一年沒有移動。這種增長趨勢強烈表明人們對比特幣所有權的態度正在發生變化，另一個強調長期積累趨勢的重要指標是本周持有 1 枚 BTC 的地址突破 100 萬大關。數據表明，這些投資者自 2021 年年中以來逐漸積累，此后 1-BTC 錢包的上漲軌跡幾乎沒有出現明顯逆轉。隨著市場暴跌，這一趨勢在 2022 年變得更加明顯，結果這一群體增加了 20% 。

Bitfinex重申其先前的分析，即比特幣可能處于牛市的早期階段，盡管當前市場低迷，但比特幣的長期持有者仍未被嚇倒。長期持有的增加趨勢，加上鯨魚的興起以及交易費用增加對礦工的好處，描繪了一幅有彈性的比特幣生態系統的圖景。[2023/5/24 15:22:00]

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

幣安再次暫停BTC提款，因出現大量未處理交易:5月8日消息，幣安發推文稱：“由于大量未處理交易，我們暫時關閉了BTC提款。我們的團隊目前正在努力解決問題，并將盡快重新開放BTC提款。資金是安全的。”

此前消息，幣安曾于昨日晚間暫停BTC提款約1小時。[2023/5/8 14:49:27]

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。

俄羅斯專家稱加密貨幣交易平臺或現破產潮:金色財經報道，經濟學家米哈伊爾·別利亞耶夫預測，許多加密貨幣交易平臺將在不久的將來破產。這位專家在11月22日對連塔網發表的談話中說，在全球危機的背景下，加密貨幣投資者對此類貨幣的可靠性和前景失去了信心，他們現在正尋求投資更可靠的資產。別利亞耶夫強調，在世界進入經濟動蕩階段之前，投資者一直對加密貨幣的可靠性深信不疑。他解釋說：“在經濟動蕩的情況下，各國會購買黃金。民眾會購買能夠保值的不動產或其他資產。現在所發生的就是這種情況：加密貨幣開始遭遇資金抽離，需求下降，一切都崩潰了。”因此，別利亞耶夫指出，可以預料許多交易平臺將停止存在，因為加密貨幣的業務范圍將繼續縮小。[2022/11/29 21:09:31]

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

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

Binance將于11月28日下架多個現貨交易對:據官方消息，Binance宣布將于11月28日11:00下架ARK/BTC、BEAM/BTC、BTCST/BTC、BTCST/USDT、GTO/BTC、GTO/USDT、MITH/BTC、MITH/BNB、PERL/BTC、PNT/BTC、REP/BTC、SRM/BNB、SRM/BTC、SRM/USDT、TRIBE/USDT、XEM/BTC現貨交易對。[2022/11/25 20:44:52]

接下來嘉賓們圍繞目前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：BTCPANNELZKPubtc幣暫停提幣PINKPANDANELUM幣ZKPEPE

幣安幣