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。
Hamster 發布自研 Sui 自動化流水線以及模板兼容并支持 Sui 網絡:金色財經報道,Web3安全開發環境及中間件引擎 Hamster 宣布對基于 Move 的 Sui 網絡進行全面支持并兼容。截止目前,Hamster 已順利完成基于 Move 語言的 Sui 合約模板自動化流水線調用,并開放 Sui 網絡的一站式節點部署 RPC 服務。借由此,Sui 生態內開發者可模塊化、工具化、流程化地完成開發流程并能快速上手及接入生態。[2023/4/23 14:20:47]
在這個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所做的。”
美國銀行和富達在Q1買入超過7500萬美元的MicroStrategy股票:金色財經報道,Bitcoin News在社交媒體上稱,美國銀行和富達在第一季度買入了超過 7500 萬美元的 MicroStrategy 股票。[2023/4/9 13:52:42]
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。
趙長鵬:去年失敗的加密貨幣項目可能會對傳統金融業者的長期生存產生影響:1月28日消息,幣安首席執行官趙長鵬在推特發文稱,從短期來看,去年幾個失敗的加密貨幣項目阻礙了加密貨幣行業的增長。但行業已經開始復蘇。從長期來看,這些項目的失敗阻礙了傳統金融業者采用加密技術,并可能導致他們在采用曲線上進一步落后,這可能會在10至20年后對他們的生存產生影響。
?[2023/1/28 11:33:34]
這是一場圍繞"加速ZK采用"的圓桌討論,涉及的問題包括:為什么我們需要關注zk、zk會如何影響Web3和其他行業的發展、目前推進zk所面臨的障礙、擴大zk的采用的優先工作是什么、除了隱私之外zk還可以有哪些領域的應用、zk證明生成市場以及硬件加速的相關討論...
對于第一個問題“為什么需要關注zk”,Kartin認為零知識證明與其他密碼學技術如“ECDSA、MerkleTree、SHA-256”一樣重要。這些都是傳統區塊鏈上我們應用到的技術,而我們現在之所以推崇采用zk證明,一個很重要的原因是現在的性能問題不像以往那么簡單,代碼庫也復雜了許多。“我舉個例子,我剛開始我的加密貨幣之旅時,有兩個問題使我感到困惑,其一就是,30年之后的人怎么驗證我們今天擁有的數據,這幾乎是不可能的,因為區塊(鏈)會變得超級長。那如果應用了zk證明,對每一個區塊生成遞歸證明,即便在100年之后,也可以輕易驗證這些區塊”,Kartin分享道,“第二個考慮的點就是,為什么我們要使用中心化的RPC提供商來訪問去中心化的區塊鏈。我開始想,怎么能夠讓任何人從其他人那里接收區塊鏈數據,而無需有一個中心化的服務器作為中介。我帶著這個想法,最后找到了另一位聯合創始人,我們覺得用zkp來解決這個問題。這就是zkp能夠帶給我們的其他想象。”
埃隆·馬斯克關注OKX官方推特:據官方消息,12月16日,特斯拉CEO兼推特CEO埃隆·馬斯克關注了OKX的官方推特賬號,這是埃隆·馬斯克首個關注的加密資產交易平臺。[2022/12/16 21:49:04]
接下來嘉賓們圍繞目前zk所面臨的障礙進行了探討。Leo表示,一方面是編程語言方面的困難,需要更高效的zk電路;而另一方面則是zk證明生成上的困難。而Brian則認為,這其中最大的困難是,許多zk項目發明了新的語言,并推動大家學習如何對電路進行編程。這雖然很有趣,但是這為安全審計帶來了巨大的挑戰,因為我們希望做到的是提供一個環境,讓開發者像平常編寫程序那些編寫zk程序。Kartin補充,他認為這種進入壁壘可以通過各種zkVM解決,這允許開發者不用了解許多構建電路的相關知識就可以對zk電路進行編程。最后,Mikhail則認為推進zk廣泛采用的一個很大的障礙來自于大家缺乏對zk用例的認識,有很多應用可以通過一種更加去信任的方式去實現;第二就是需要盡快地將其帶到市場上,讓人們可以使用。
至于擴大zk采用的優先工作,Brian很好地總結了三點:“第一就是許多公司已經在做的工作,提供教育材料,向廣大用戶普及zk證明領域的一切;第二就是比較少關注到的應用zk的科普,也就是向那些想要構建自己的zk系統的開發者提供一些教程和環境。前兩點是我們在未來一年內需要重點關注的。最后一點,我想應該在未來兩到十五年里需要解決的一個問題,就是zk生成的硬件加速行業。”
礦企Argo Blockchain:希望無需宣布破產即可進行重組:金色財經報道,比特幣礦業公司Argo Blockchain(ARBK)在周一向倫敦證券交易所提交的一份文件中表示,該公司正在進行高級談判,以出售其部分資產并進行設備融資交易,以加強其資產負債表并提高其流動性。
這家總部位于倫敦的Argo表示,希望能夠在美國根據第11章自愿破產申請之外采取這些舉措,但無法保證它能夠這樣做。Argo還指出,稱該公司已申請破產的材料草案上周意外發布到其網站,導致周五英國和美國的股票停牌。該公司現在要求恢復其在英國的上市,并希望“盡快”恢復。過去一年,礦業股的市值已經下跌了約94%,表現落后于其他行業。
此前報道,礦企Argo Blockchain或將于12月12日宣布申請破產。(CoinDesk)[2022/12/13 21:40:01]
在最后的提問環節中,有一位觀眾提問了一個大家都比較關注的問題:“這種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證明器。”
近日,美國SEC監管壓力下,美國第三大股權眾籌平臺Republic宣布已正式關閉旗下規模達7500萬美元的元宇宙房地產基金.
1900/1/1 0:00:00注:本文來自@ohxiyu推特,MarsBit整理如下:#036ordinals必備錢包:sparrowwallet詳細使用教程1為什么推薦sparrow以太坊大部分人都會使用metamask.
1900/1/1 0:00:00市場觀點: 1.宏觀流動性 貨幣流動性趨緊。美聯儲主席鮑威爾鷹派發言,利率峰值可能高于預期,如有必要將提速加息.
1900/1/1 0:00:00GMX去年提出X4計劃,其中重要一環便是全新的交易模式PVPAMM,由于GMX轉向合成資產的開發,X4便暫時擱置了近期又冒出LionDEX,聲稱已實現了PVPAMM.
1900/1/1 0:00:00?01? 什么是Token和Token經濟學過去幾年,Token經濟學,逐漸稱為一個流行的術語。Token經濟學由Token和經濟學兩個詞構成,顧名思義則是關于?Token?的經濟學規則.
1900/1/1 0:00:00就在2023.3.7日,由10KUniverse提出的以太坊改進提議EIP-6147已移至最終版本!該標準是ERC-721的擴展,分離了NFT和SBT的持有權和轉讓權.
1900/1/1 0:00:00