Validity Rollups: 以太坊擴容的未來之路

Validity Rollups (VRs)作爲一種新興的以太坊擴容方案,正受到業界廣泛關注。它通過使用有效性證明進行可驗證計算,以安全和去中心化的方式提升以太坊的交易處理能力。

VRs的工作原理是將交易執行轉移到鏈下環境中進行。運營商在處理大量交易後,會將結果和驗證鏈下執行完整性的有效性證明一同提交到以太坊主網。主網上的驗證合約會自動驗證該證明,確保所有交易都是有效的,然後將結果更新到以太坊狀態中。

在VRs中,鏈下虛擬機(VM)是執行交易的關鍵組件。目前主要有兩種VM方案:zkEVM和Cairo VM (CVM)。

zkEVM致力於完全復制以太坊開發環境,讓開發者無需改變代碼就能將智能合約遷移到更具擴展性的Layer。但這種兼容性是以犧牲性能和擴展性爲代價的。EVM並非爲生成有效性證明而設計,其基於堆棧的模型和存儲布局都不利於高效證明。

相比之下,Starknet採用的Cairo VM是專門爲高效生成有效性證明而設計的。它採用了全新的VM架構和Cairo編程語言,將性能和擴展性置於首位。Cairo VM能夠爲每條指令生成優化的代數表示,大大提高了證明效率。

Cairo還支持多元化的開發方式。除了原生Cairo編程,它還提供了Solidity兼容性,可以通過轉譯器或在Starknet上運行zkEVM來支持Solidity合約。這種靈活性使得開發者可以選擇最適合自己的方案。

總的來說,zkEVM和Cairo VM各有優劣。zkEVM專注於以太坊兼容性,而Cairo VM則將性能和擴展性放在首位。隨着技術的不斷進步,VRs有望成爲以太坊最具前景的擴容方案之一,爲區塊鏈的大規模應用鋪平道路。