Kakarot: 一個創新的Zk-EVM項目

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. 在Starknet上實現EVM功能,允許開發者直接部署Solidity合約。

2. 與Madara整合,啓用L3 zkEVMs,實現更高的可擴展性。

3. 結合Madara實現type 1 zkEVM,能夠證明L1區塊。

團隊背景

Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松。目前在Starknet基金會和Onlydust的支持下,已有40多位貢獻者。

聯合創始人Elias Tazartes擔任CEO,擅長區塊鏈工程和全棧開發。聯合創始人Clément Walter擔任CTO,是一位多才多藝的科學家和工程師。

投資情況

Kakarot已完成pre-seed輪融資,具體金額未公開。投資方包括Starkware和LambDa。天使投資人包括以太坊創始人Vitalik Buterin、Ledger聯合創始人Nicolas Bacca和ZAMA CEO Rand Hindi。

項目前景

Kakarot作爲Starknet上的EVM實現,有望成爲連接Starknet和以太坊生態的重要橋梁。它可以降低開發門檻,讓以太坊生態項目更容易在Starknet上構建。

然而,Kakarot的發展也高度依賴Starknet生態的繁榮。相比其他zkEVM項目,Kakarot團隊規模較小,資金和知名度也有待提高。

總的來說,Kakarot是一個頗具潛力的創新項目,值得持續關注其未來發展。隨着測試網即將發布,我們將能進一步了解該項目的實際表現。