加密經濟不僅僅是技術變革

加密經濟不僅僅是一場技術變革，它還涉及投資領域。許多從業者和愛好者難以適應的原因在於這個領域週期性明顯，波動劇烈。普通投資者在牛市可能獲得十倍甚至百倍回報，但熊市損失也可能慘重。因此，無論是誰進入加密領域，投資知識都是必修課。

當前熊市的主要原因是联准会加息導致的資本緊縮。去中心化金融(DeFi)平台的收益率已從之前的20%高位大幅下降，目前主流借貸協議的收益率普遍低於2%。與此同時,現實世界的美債收益率已超過3%,這促使機構投資者和穩定幣項目將資金從加密市場轉移到傳統金融市場購買國債。

自1980年代以來,联准会共經歷了6次加息週期,每次持續1-3年,平均加息10次。加息節奏越緩慢,效果越差,通脹越難以控制。例如2015-2018年的第6次加息週期就相對緩慢,以原油爲主的大宗商品價格不降反升。今年10月後原油價格持續堅挺,這可能促使联准会繼續採取強力加息政策。毫無疑問,全球股市和加密市場在2023年將繼續面臨機構資金流出的壓力,熊市底部尚未到來,不宜輕易抄底。

看好以太坊zkRollup擴容方案

拋開資本市場大週期不談,單從加密技術變革以及可能引發的Web3.0浪潮來看,我們看好以太坊及其zkRollup擴容方案,尤其是基於新一代zkEVM的zkRollup技術。

以太坊創始人Vitalik Buterin在9月底的一次會議上表示,合並後以太坊的下一步是提升可擴展性。可擴展性是制約許多加密貨幣和區塊鏈應用大規模應用的核心問題。zkRollup通過將數百個交易打包成一個任務並驗證單個任務中的所有交易來實現擴容。

在Vitalik的大力推動下,Rollup已成爲以太坊主流擴容方案。Rollup方案主要分爲樂觀Rollup和zkRollup兩類,主要區別在於交易有效性的驗證方式。樂觀Rollup採用欺詐證明,zkRollup則使用零知識證明。

樂觀Rollup網路中有挑戰者角色,可以證明提交給以太坊的數據存在欺詐,然後通過網路共識回滾無效交易。而zkRollup在批量處理交易時採用零知識證明技術,在保證交易有效性的基礎上直接向以太坊提交證明,實現即時的最終狀態一致性。

相比樂觀Rollup,zkRollup採用零知識證明進行數學驗證,具有更多技術優勢。一些項目已在這個領域進行了多年的探索。

然而,以太坊虛擬機(EVM)並非爲支持零知識證明而設計,這使得構建兼容Solidity且支持零知識證明的虛擬機變得非常困難。爲解決這個問題,一些團隊正在開發支持零知識證明計算且兼容Solidity的虛擬機,即zkEVM。與普通虛擬機不同,zkEVM可以證明執行的正確性,包括執行中使用的輸入和輸出的有效性。

重新設計zkEVM的必要性

目前已有多個團隊提出了zkEVM方案。有的團隊將字節碼編譯爲微操作碼,使用STARK生成狀態轉移的有效性證明,再用SNARK驗證證明正確性後提交到以太坊。另一些團隊的方案則是將Solidity合約編譯爲中間語言,再重新編譯爲專門爲zkEVM設計的字節碼集。

這些系統是否已經足夠成熟可以投入生產?我們是否需要重新設計一個更好的zkEVM?理論上,zkRollup可以在向主鏈提交匯總證明前使用零知識協議來證明和聚合所有交易。這意味着第1層鏈可以驗證涵蓋數千個復雜交易的簡短"證明",杜絕作弊可能。然而,一些zkEVM測試網發布後,人們發現實際情況並不理想 - 處理幾個交易需要幾十分鍾,效率很低。

有團隊通過優化zkEVM結構,重新設計了更高效的zkEVM。主要原因是採用了設計良好的分層結構,壓縮了電路中冗餘空間和提交多項式的大小,最終縮短生成證明所需的時間。同時,其排序器運行以太坊節點,接收用戶交易,生成新狀態和專門的zkEVM友好的跟蹤。證明生成器從排序器獲取這種跟蹤,在zkEVM中使用大量小表(而非一張巨大的表)處理,大大減少冗餘並提高生成證明的速度。

更快的零知識證明的必要性

SNARK雖然簡潔但效率不如STARK。然而,隨着新技術的出現,STARK也顯得過時了。由於速度是zkEVM的瓶頸,因此比較計算效率很有意義。STARK實現了準線性的證明時間和驗證時間,比SNARK快但明顯慢於一些新興方案。這些新方案是世界上首個實現線性證明時間和次線性驗證時間的零知識證明,已達到理論極限。它們是透明的,不需要可信設置,保持了最高級別的安全性。

基於線性時間可編碼的代碼,這些新方案在所有現有零知識證明方案中速度最快。此外,由於使用了遞歸技術,其證明大小減少到現有方案的1/7,這意味着終端用戶只需極低成本就可以享受以太坊二層網路服務。

獨立數據可用層的必要性

目前的zkRollup主要關注減少驗證交易的計算負擔。這對以太坊尤爲重要,因爲驗證復雜智能合約的執行成本很高。然而,以太坊節點仍需同時存儲原始交易數據。這並不明智,因爲以太坊更適合作爲共識層而非存儲層,這意味着擴容瓶頸仍然存在 - 當節點帶寬和存儲不足(而非計算能力不足)時,它們就會受到衝擊。

這就是爲什麼以太坊需要一個獨立的數據可用層來保存這些原始交易數據,以防止由於zkRollup服務器或以太坊節點故障而凍結整個智能合約。更重要的是,它將二層網路的成本與一層網路解綁,並進一步將基於zkEVM的zkRollup交易成本降低一半以上。