Kakarot zkEVM：Cairo語言打造的創新型以太坊虛擬機

Kakarot zkEVM是一個使用Cairo語言編寫的以太坊虛擬機（EVM）實現。Cairo是與CairoVM相關聯的圖靈完備編程語言，而CairoVM則利用多項式和ZK-STARK證明系統實現可證明計算。

作爲zkEVM的一種，Kakarot能夠生成可證明的交易和區塊。由於建立在CairoVM之上，Kakarot上執行的每筆交易都具有可證明性。這一特性使得開發者可以在Kakarot上部署EVM應用，同時允許用戶使用熟悉的工具與這些應用交互。

此外，Kakarot計劃提供與Starknet協議的互操作性，爲DeFi和GameFi等不同領域的協議帶來更高的可組合性。

發展路線

Kakarot項目於2022年10月啓動，秉持開源理念，並以不到10,000行代碼創建zkEVM爲目標。僅用六個月時間就實現了這一雄心勃勃的目標，並計劃在2023年夏末發布測試網。

Kakarot zkEVM的發展路線分爲三個階段：

1. Kakarot zkEVM on Starknet：將EVM引入Starknet生態系統，使開發者能夠在Starknet上直接部署Solidity（或其他EVM兼容語言）編寫的智能合約。用戶可以使用熟悉的工具（如Metamask）與這些dApp互動，體驗與在Polygon或以太坊L1上相同。

2. Kakarot x Madara - L3 zkEVMs：將Kakarot與Madara整合，實現L3 zkEVMs，甚至可能擴展到L4、L5等更高層級。這將允許團隊部署自己的zkEVM應用鏈，並利用有效性證明在Starknet上結算交易。這種方式可以分離安全性和去中心化，在保持以太坊L1安全性的同時，通過減少驗證器數量來提高效率。

3. Kakarot x Madara - Type 1 zkEVM：通過在Madara x Kakarot全節點中用Cairo編寫以太坊共識規則，並從Pedersen Merkle Patricia Trie (MPT)切換到Keccak MPT，Kakarot有望成爲能夠證明L1區塊的Type 1 zkEVM客戶端。這一階段的實現與以太坊未來的發展路線密切相關，特別是Verge升級後可能採用的哈希函數變化。

團隊背景

Kakarot核心團隊源於裏斯本一次短期密集開發活動，約十人在一周內構建了一個zkEVM原型。目前，在Starknet基金會和Onlydust的支持下，Kakarot擁有40多名獨立貢獻者。

核心成員包括：

• Elias Tazartes：聯合創始人兼CEO，專注於區塊鏈工程和全棧開發。
• Clément Walter：聯合創始人兼CTO，具有科學家、工程師和企業家的多重背景。

融資情況

Kakarot已完成pre-seed輪融資，具體金額未公開。投資方包括Starkware和LambDa等機構，以及Vitalik Buterin、Ledger聯合創始人Nicolas Bacca和ZAMA聯合創始人兼CEO Rand Hindi等知名個人投資者。

項目展望

Kakarot作爲Starknet上的Cairo編寫EVM實現，有望成爲連接Starknet和以太坊生態的重要橋梁。它降低了開發者進入Starknet的門檻，同時保持了與以太坊生態的兼容性。隨着項目發展到後續階段，Kakarot將實現更高程度的可組合性，可與Celestia或EigenDA等模塊化組件結合使用。

Kakarot的發展與Starknet生態密切相關。Starknet的持續升級和用戶體驗改善將直接benefitKakarot。同時，Kakarot也將爲Starknet生態的繁榮做出貢獻。

得到Vitalik Buterin和StarkWare的支持是Kakarot的一大優勢，不僅在精神上得到認可，還獲得了資金支持。

然而，相比其他ZK-EVM項目，Kakarot也面臨着團隊規模小、預算有限、品牌知名度較低等挑戰。這也是Kakarot目前專注於Starknet生態而非部署爲通用zkEVM L2的原因之一。

作爲一個處於早期階段的項目，Kakarot的測試網即將發布，值得密切關注其未來發展。