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

加密經濟不能簡單視作一場技術變革。許多從業者或愛好者難以適應的主要原因是這個領域週期性太強,波動劇烈。普通投資者在牛市可能獲得十倍甚至百倍收益,但熊市也可能損失慘重。無論是誰,進入加密領域都需要學習必要的投資知識。

本輪熊市主要由聯準會加息和資本緊縮引發。去中心化金融(DeFi)已不再有20%的驚人收益率,目前主流借貸協議收益率普遍低於2%。然而,美國國債收益率已超過3%,這促使機構投資者和穩定幣項目方不斷將資金從加密市場轉移至傳統金融市場購買國債。

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

以太坊zkRollup方案值得期待

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

Vitalik Buterin在9月30日的一次會議上表示:"合並後,以太坊的下一步是可擴展性。"擴容是阻礙許多加密貨幣和區塊鏈應用成爲主流的核心問題。衆所周知,zkRollups能夠通過將數百個交易打包並驗證單個任務中的所有交易來實現擴容。

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

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

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

zkEVM的重新設計

某些項目採用不同方案實現zkEVM。有的將字節碼編譯爲微操作代碼,使用STARK生成狀態轉移的有效性證明,再用SNARK驗證證明的正確性後提交到以太坊。另一些項目則採用類似但略有不同的方法。

這些系統是否已經足夠完善可以投入生產?我們是否需要重新設計一個更好的zkEVM?理論上,zkRollup可以使用零知識協議來證明和聚合所有交易,讓一層鏈驗證涵蓋數千個復雜交易的簡短"證明",沒有作弊可能。然而,某些zkEVM測試網發布後,人們發現實際情況並不理想 - 處理幾個交易需要幾十分鍾。

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

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

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

這種新技術基於線性時間可編碼的代碼,在所有現有零知識證明方案中速度最快。此外,由於使用了遞歸技術,其證明大小減少到現有方案的1/7,這使得終端用戶只需花費約一美分就可以享受以太坊二層服務。

獨立數據可用層的必要性

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

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