Kakarot 三階段路線圖:將如何賦能Starknet 和以太坊生態

來源:Kakarot;編譯:Karen,Foresight News

Kakarot zkEVM 是用Cairo 編寫的一種以太坊虛擬機(EVM)實現。 Cairo 是一種與CairoVM 相關的圖靈完備語言。

CairoVM 通過利用多項式(polynomials)和ZK-STARK 證明系統實現可證明計算。 zkEVM 的特點是能夠生成可證明的交易,從而產生可證明的區塊。 Kakarot 建立在CairoVM 之上,在Kakarot 上執行的每一筆交易都是可證明的。

Kakarot zkEVM 使團隊能夠構建和部署EVM 應用。開發人員可以在Kakarot 上部署任何Solidity(或任何EVM 兼容語言),就像在以太坊或Polygon 上一樣。然後,他們的終端用戶可以使用他們常用的工具鏈toolchain(小狐狸錢包、錢包連接等)與DApp 進行交互。

最終,Kakarot 將提供與原生Starknet 協議的互操作性以及協議之間的可組合性,例如,將DeFi 中的TVL 和GameFi 中的用戶群相結合。

分形擴容(Fractal Scaling)

Kakarot zkEVM 可以以不同的形式存在,首先,可以作為智能合約部署在Starknet L2 之上,從而在Starknet 上顯示為(expose)EVM(以太坊RPC、以太坊交易等)。

或者,可以將Kakarot 集成到堆棧中以部署L3 zkEVM。這就是Madara 排序器的用武之地。

通過結合Madara(Starknet 全節點)和Kakarot(EVM 運行時),可以創建一個L3 zkEVM。堆棧如下:一個Substrate 全節點,使用CairoVM 作為其執行引擎,以及Kakarot 作為智能合約的運行時(runtime)。

Kakarot 上的交易可以在結算層上得到證明和驗證,從而實現EVM 兼容的分形擴容。

路線圖

第1 階段:Starknet 上的Kakarot zkEVM——將EVM 帶到Starknet

Kakarot 將首先作為載入的EVM 存在於Starknet L2 中,這將使開發人員能夠使用他們熟悉的工具箱(Foundry、Hardhat、Wagmi 等)直接在Starknet 上部署他們的Solidity(或任何EVM 兼容語言)智能合約。

然後,他們的最終用戶將能夠使用他們常用的工具鏈(Metamask、Wallet Connect 等)與他們的DApp 進行交互。

Kakarot 上的開發人員和用戶體驗將與Polygon、Scroll 或以太坊L1 完全相同。

第2 階段:Kakarot x Madara——L3 zkEVM

Kakarot 和Madara 將合併到一個統一的堆棧中,以支持L3 zkEVM,以及L4、L5 等。團隊將能夠部署他們的zkEVM 應用鏈,並利用有效性證明在Starknet 上結算交易。

為什麼是L3?為什麼是可證明性?

可證明性可實現以下功能:鏈下計算,或Layer 上計算、鏈上驗證。

利用有效性證明的L3(如Kakarot)有一個有趣但被低估的屬性:解耦安全性和去中心化的能力。用戶能夠從以太坊L1 的安全性中受益,而無需相同級別的去中心化。

由於在另一層進行計算,Gas 成本比L2 低得多,性能(TPS)也會更高。 L2 已經比L1 便宜得多。 Rollup 的擴展性會堆疊和成倍增加。

為了進一步降低Gas 成本,證明驗證和數據可用性(DA)可以分開。 Starknet L2 可以僅用作證明驗證層,而新的數據可用性解決方案(如Celestia 或EigenDA)可用於發布交易數據。

用戶可以選擇加入任一選項,具體取決於其安全要求。在Starknet 上發布證明和交易數據是更安全的選擇,而使用DA 解決方案發布交易數據是更具成本效益的選擇。

第3 階段:Kakarot x Madara——type 1 zkEVM

Kakarot 和Madara 也可以組合在一起,啟用type 1 zkEVM。

在Madara x Kakarot 全節點內用Cairo 編寫以太坊共識規則,從而能夠證明L1 共識。

從Pedersen Merkle Patricia Trie (MPT) 切換到Keccak MPT。

然後,Kakarot 將成為type 1 zkEVM,能夠證明L1 區塊。這是一個更高級的用例,取決於以太坊的路線圖(最值得注意的是Verge)。在Verge 之後,keccak 可能會被poseidon 取代,成為以太坊選擇的哈希函數。這將有助於zkEVM 團隊成為type 1,因為zkEVM 的主要兼容性障礙是存儲佈局,即,以可證明且合理便宜的方式實施Keccak MPT。

其他研究主題

Madara 使Kakarot 鏈能夠利用 Substrate 消息傳遞協議進行跨Rollup 通信。

Substrate 的模塊化使Kakarot 鏈能夠使用其共識協議進行創新。

Substrate 的無分叉runtime 升級使Kakarot 鏈能夠在沒有硬分叉的情況下升級其EVM 版本。

Total
0
Shares
Related Posts