加密經濟不僅是技術變革，還需要投資智慧

對許多從事加密貨幣行業或對其感興趣的人來說，適應這個領域並非易事。主要原因在於市場週期明顯、波動劇烈。普通投資者在牛市中可能獲得十倍甚至百倍回報，但在熊市中也可能損失慘重。無論是誰，只要進入加密貨幣領域，投資知識都是必修課。

當前熊市的主要原因是联准会加息導致的資金緊縮。主流借貸協議的收益率已經降至2%以下，而現實世界的美債收益率已超過3%。這促使機構投資者和穩定幣項目將資金轉移至購買國債。

自上世紀80年代以來，联准会經歷了6次加息週期，每次持續1-3年，平均加息10次。加息節奏越慢，效果越差，通脹越難控制。例如2015-2018年的第6次加息進程緩慢，原材料價格不降反升。今年10月後原油價格持續堅挺，可能促使联准会繼續採取強力加息政策。2023年，全球股市和加密貨幣市場將持續面臨機構資金撤離的壓力，熊市底部尚未到來，不宜輕言抄底。

看好以太坊zkRollup解決方案

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

以太坊聯合創始人Vitalik Buterin表示，合並後以太坊的下一步是提高可擴展性。擴容是阻礙許多加密貨幣和區塊鏈應用成爲主流的核心問題。zkRollups通過將數百個交易捆綁並驗證單個任務中的所有交易來實現擴容。

在Vitalik的支持下，Rollup已成爲以太坊可擴展性的主流解決方案。Rollup分爲樂觀Rollup和zkRollup兩種。主要區別在於交易有效性的保障方式。Optimistic Rollup使用欺詐證明，zkRollup使用零知識證明。

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

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

重新設計zkEVM的必要性

某些項目採用不同方法實現zkEVM。有的將字節碼編譯爲微操作代碼，使用STARK生成狀態轉移的有效性證明，並使用SNARK驗證證明的正確性後提交到以太坊。有的方案將Solidity合約代碼編譯爲中間語言Yul，再重新編譯爲專門設計的電路兼容字節碼集。

這些系統是否已經足夠好可以投入生產？我們是否需要重新設計更好的zkEVM？原則上，第1層鏈可以驗證涵蓋數千個復雜交易的簡短"證明"，沒有作弊可能。然而，在某些zkEVM測試網發布後，人們發現實際情況並不理想——處理幾個交易需要幾十分鍾。

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

更快零知識證明的重要性

SNARK雖然簡潔，但效率不如STARK。然而，隨着新技術的出現，STARK也顯得過時。由於速度是zkEVM的瓶頸，比較計算效率變得至關重要。STARK得到準線性的證明時間和驗證時間，比SNARK快但明顯慢於某些新技術。有新的零知識證明方案實現了線性證明時間和次線性驗證時間，達到理論極值。這種方案是透明的，不需要任何可信設置，保持了最高級別的安全性。

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

獨立數據可用層的必要性

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

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