2023 會是 ZK 大年嗎?
ZK 作為 L2 、隱私、跨鏈等概念下的核心技術派系,該板塊熱度自 2022 年延續至今;近期的 ETHdenver 大會上,ZK 持續高熱。
2022 年及以前推出的 ZK 系項目往往融資充足,估值較高,并在今年陸續有了階段性的進展,圍繞 ZK 技術的熱點事件或持續整個 2023 年:
ConsenSys:ConsenSys 的 zkEVM 測試網將于 3 月 28 日上線
IronFish:預計主網上線推遲至 4 月
MATIC 生態:升級 ZK 擴容方案,預計 3-27 上線 zkEVM 測試主網
Taiko:ZK-Rollup 擴容方案 Taiko 計劃 3 月推出 Alpha-2 測試網(包含部分ZK-EVM)
BNB 生態:預計年底進行 Zk 零知識擴容升級
ZK 的發展可視為區塊鏈領域技術迭代演變的重要細節:該技術最初在早期匿名項目中展示其優越的隱私特性;在存儲項目 Filecion 中被使用,以減少各方驗證存儲所需的時間;在 L2 共享安全驗證下衍生出 ZK Rollup 的擴容優勢;隨著技術發展,ZK 正在走向通用化。
LinkedIn:2021年加密職位發布增長 395%:金色財經報道,根據 LinkedIn 最近的一項研究,與一年前相比,2021 年與加密相關職位的職位列表增加了近五倍。根據這項研究,從 2020 年到 2021 年,在美國,標題包含“比特幣”、“以太坊”、“區塊鏈”和“加密貨幣”等術語的帖子增長了 395%。這明顯高于同期更廣泛的科技行業職位列表增加 95%。大多數職位都是針對軟件和財務職位的,但LinkedIn也注意到對會計和咨詢等專業服務以及人員配備和計算機硬件的需求有所增加。一些最常見的職位是區塊鏈開發人員和工程師。\u2028此外,舊金山灣區、德克薩斯州的奧斯汀、紐約市、邁阿密-勞德代爾堡和丹佛是 2021 年加密職位發布最多的地區。\u2028\u2028[2022/1/15 8:50:40]
當前市場的 ZK 熱度主要來自以太坊生態推進,以及 ZK 基礎設施的進展,包括 ZK-EVM、ZK 公鏈、L2、ZK Bridge、ZK 工具等,但技術落地需要場景與應用共同承載,目前 ZK 概念或處于過熱階段,一個理想的“ZK Season”仍需要更多準備的時間才會到來。
以太坊客戶端Erigon發布v2021.07.03版本,配置中添加倫敦升級區塊:官方消息,以太坊客戶端Erigon發布v2021.07.03版本,變更包括在配置中添加倫敦升級區塊、EIP-1559支持eth_call和trace_*API、eth_syncing階段性展示進度等。[2021/7/15 0:54:03]
例如,在近期 ZK 擴容的熱點中,以太坊 L2 最終需要一個怎樣的 ZK Rollup?技術進展如何?
ZK Rollup 作為同樣與 Optimistic Rollup 受關注的主流擴容方式,零知識證明基于數學與密碼學,相比 Op 采用的欺詐證明,在技術上能夠做到更安全、更快速。但 ZK 的 EVM 兼容實現難度更高,Op 是更容易的,加上 Op 應用多、生態發展快,因此,主流觀點認為“長期看好 ZK 系、中短期看好 Op”。
這種“長期”的 ZK rollups 想要落地,前提是 ZK 首先要在 EVM 兼容上真正有所進展。只有實現 zkEVM通這樣的通用電路,才能兼容各類應用,這里需要解決的問題包括:
美SEC針對Ripple的訴訟將于2021年2月22日開庭:12月30日消息,針對美國證券交易委員會對Ripple發起的指控,紐約南部地區法院已將該訴訟的開庭日期定為2021年2月22日。根據該命令,該訴訟當事方將于當日與法官Analisa Torres進行預審會議。預審會議通常旨在幫助法官組織案件并為何時開展預審活動制定時間表,與此同時,法官還可以根據會議來確定審判日期。(The Daily Hodl)[2020/12/30 16:03:31]
1)針對 EVM 的所有指令進行電路設計,使得 Solidity 等智能合約語言編寫的應用程序編譯成 EVM 指令、與電路相對應起來,形成對應的證明系統。簡單來說,編寫 zk 電路、編寫 zkEVM、構建 zk Rollup。
2)生成 zk 證明的計算量、復雜合約計算量極大,電路和證明系統同樣龐大,zk 硬件加速賽道正在以硬件方案提高計算能力。
頭部項目 zkSync、StarkNet、Polygon hermez、Scroll 等,正在致力于不同程度等效性的 zkEVM。整個 ZK 賽道中,ZK-EVM 兼容類項目幾乎最多。
FUBT將于2020年5月23日上線HAOLIAN:FUBT將于2020年5月23日上線HAOLIAN,并支持創新板塊USDT交易。據介紹,HAOLIAN區塊鏈培訓平臺(HAOLIANChain) 是基于智能合約激勵的區塊鏈在線教育平臺,將給區塊鏈技術培訓和區塊鏈行業招聘帶來巨大的變革。HAOLIAN平臺的主要目的是讓學習者能夠掌握當前區塊鏈勞動力市場所需的技能,向區塊鏈企業輸送全面性人才,推動項目應用落地,并保證學習者知識產權,杜絕侵權糾紛。[2020/5/21]
一些 zk-rollup 的進展:https://yanglc.notion.site/zk-rollup-e35b8c7eb8ce44c7852c4aa7b6ef270d
此外,在以太坊升級思路中,以太坊完成執行層擴容后,仍然需要 zkEVM 來實現 EVM 本身的擴容。在發展路徑上,zkEVM 總需要跟隨 EVM 的變化而變化,以太坊每次對 EVM 升級,同樣需要考慮 zkEVM,并影響到 zkEVM 賽道的更新。整體來看,ZK 系技術進展相較于 OP 系延遲在一年以上。
Grin現有資金可維持項目開發至2022年2月:Grin發布項目最新資金消耗和預算報告稱,每個月團隊的開發成本為35,866美金,目前團隊持有718,739美金的加密貨幣。按照目前持有加密資產的市場價折算,在沒有新的投資和捐款情況下,現持有資金大約還可以維持兩年(22個月)時間的開發,直至2022年2月。[2020/4/21]
當然,ZK rollup 并不是當代以太坊擴容場景中唯一基于 ZK 的解決方案(Validium 和 Volitions 同樣使用了 ZK 技術),ZK 技術也并非單獨在于擴容。
ZK 技術本質是一種在雙方之間進行信息核驗的數學方法,能夠“證明論斷有效”,且驗證計算不暴露有關輸入和計算本身的信息,在不泄漏交易的細節的情況下進行證明,成本更低且高效,在區塊鏈的應用中展示出非常好的普適性。
基于此,我們對當前 ZK 賽道進行梳理,從結構上將一、二級市場的 ZK 項目分為:
- ZK 以太坊兼容 / 電路編譯(Starknet、zkSync、Scroll 等)
- ZK 公鏈(Aleo 等)
- ZK 跨鏈橋 / 預言機
- ZK 硬件加速
- ZK 工具類
- ZK 應用(利用 ZKP 協議開發的 Web3 應用程序,包括 DeFi、NFT、游戲、去中心化身份、隱私等)
以上分類中,zkEVM 頭部項目多在 2021 年底推出早期版本,后陸續更新,但參考 StarkNet 早期版本主網中的生態發展、以及 Aztec Network 近期宣布的業務轉型,這些網絡在用戶體驗(包括驗證速度及 Gas 費用)、生態項目數量、熱點項目發展等方面來看,發展速度仍然較慢。
一定程度上,這表現出 ZK 在落地時的一些問題,包括較高的硬件成本、技術落地難度較高等。
相較于 zkEVM 的實現,zkBridge 的發展和落地可能相對更快一些:ZK 跨鏈的難點不在于技術文檔或理論,而在于如何“做到”:每條鏈的簽名和 hash 算法都不一樣,某條鏈能否支持ZK,需要通過大量代碼來解決,這類項目往往需要穩步的發展。
倘若 ZK 支持的跨鏈協議能夠發展起來,那么許多正在開發的 Rollup SDK 可從中受益,ZK 支持的跨鏈協議將是連接應用鏈與 EVM 或 layer2 的更好工具。
ZK 公鏈類項目發展周期相對更長,以 Aleo 為例,Aleo 已成為市場中稀缺的“隱私公鏈”及“ZKP mining”的標的,Aleo 團隊于 2019 年正式成立,其研究可編程零知識的時間甚至可追溯到 2016 年。在正式推出主網之前,Aleo 需要對開發者、證明者和驗證者三個方向的的生態環境進行更好的調整和測試。2022 年開啟的第三次激勵測試中,是主要面向驗證者的。
在 ZK 硬件加速方向,由于受到 ZKP mining 相關概念的推進,大多數 ZK 硬件加速理論和早期項目于去年相繼被提出。目前 ZK 硬件加速主要來自 GPU ,預計需要到 2023 年年底之后,才能夠出現支持 zkEVM 證明的專用硬件( ASIC),以及相對成熟可用的產品。
ZK 技術走向成熟,預計最快也會在今年年底,基礎設施的成熟是應用項目爆發的前提,倘若大量 ZK 項目及應用能夠出現,才會推動一個 “ZK Season” 的真正到來,倘若進展相對較快,在時間點上,有望與下一輪牛市早期有所契合。
一級市場投資動態
據不完全統計,上周海內外公布的一級市場投融資事件超 27 起。發生融資事件最多的賽道在于基礎設施、Web3 游戲,比較大額的融資來自游戲初創公司 The Believer Company(5500 萬美元)。市場重點關注的有以太坊擴容項目 Scroll (5000萬美元),該輪融資使 Scroll 的估值達到 18 億美元。
此外,ZK 賽道、穩定幣賽道與加密支付方向的融資事件有所增多。
Cabin VC
個人專欄
閱讀更多
金色財經 善歐巴
金色早8點
白話區塊鏈
Arcane Labs
Odaily星球日報
MarsBit
歐科云鏈
深潮TechFlow
BTCStudy
除了常規審計,Euler還用了Certora做形式化驗證,這個我們之前也用過,形式化驗證能幫助窮盡“已知”路徑的覆蓋范圍,但是無法窮盡“未知的未知”.
1900/1/1 0:00:00原文作者:@Ryanqyz_hodl原文來源:SevenUp DAO( 1) 估值:與 OP 比較,使用 FDV 相對估值,SARB 的價格應在 2.088 左右.
1900/1/1 0:00:003 月初,首個以太坊 Web 訪問協議 ERC-4804 獲得了批準,這意味著 Web3 URL 正式進入以太坊,互聯網用戶也將可以更輕松地訪問以太坊 APP 和 NFT.
1900/1/1 0:00:00文/TJ Keel,TheTIE EEResearch;譯/金色財經xiaozou 1、$ARB Arbitrum將于3月23日向社區分配其ARB代幣總供應的12.75%.
1900/1/1 0:00:00來源:BuidlerDAO作者:HIRAYAMA SHO翻譯:@KP|Buidler DAO基于過去的案例和現在主流的 DeFi 和 GameFi 模型.
1900/1/1 0:00:00文/Paul Veradittakit,Pantera Capital合伙人;譯/金色財經xiaozou現有公司越來越多地利用區塊鏈技術來提高對消費者的吸引力.
1900/1/1 0:00:00