# Kakarot: 一個令人興奮的ZK-EVM項目Kakarot zkEVM是一個使用Cairo語言編寫的以太坊虛擬機(EVM)實現。Cairo是與CairoVM相關的圖靈完備語言,CairoVM利用多項式和ZK-STARK證明系統實現可證明計算。作爲zkEVM,Kakarot可以生成可證明的交易和區塊。由於構建在CairoVM之上,Kakarot上執行的每筆交易都是可證明的。這使得開發者能夠在Kakarot上部署EVM應用,同時允許用戶使用熟悉的工具與這些應用交互。Kakarot還將提供與Starknet協議的互操作性,爲DeFi和GameFi等領域的協議帶來可組合性。## 發展路線該項目始於2022年10月,目標是開源並用不到10,000行代碼創建zkEVM。這一目標在短短六個月內就實現了。測試網計劃於2023年夏末發布。Kakarot zkEVM的路線圖分爲三個階段:1. Kakarot zkEVM on Starknet:將EVM引入Starknet Kakarot zkEVM將首先作爲內置EVM存在於Starknet的L2中。開發者可以直接在Starknet上部署Solidity(或任何EVM兼容語言)智能合約,並使用熟悉的工具。用戶體驗將與在Polygon、Scroll或以太坊L1上相同。2. Kakarot x Madara:L3 zkEVMs Kakarot和Madara將整合,支持L3 zkEVMs甚至更高層級。團隊可以部署自己的zkEVM應用鏈,利用有效性證明在Starknet上結算交易。這種架構可以解耦安全性和去中心化,用戶可以獲得以太坊L1的安全性,同時享受更低的gas成本和更高的性能。3. Kakarot x Madara:type 1 zkEVM 如果能用Cairo編寫以太坊共識規則並從Pedersen MPT切換到Keccak MPT,Kakarot將成爲type 1 zkEVM客戶端,能夠證明L1區塊。這取決於以太坊的未來發展,尤其是Verge升級。## 團隊Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松,約10人在一周內構建了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上的EVM實現,可以很好地連接Starknet和以太坊生態,降低開發門檻。它的發展與Starknet息息相關,可爲Starknet生態繁榮做出貢獻。Kakarot得到了Vitalik和StarkWare的支持,這是一大優勢。但相比其他zkEVM項目,Kakarot團隊規模較小,預算和品牌知名度也較低,這也是其沒有部署爲通用zkEVM L2的原因之一。Kakarot目前處於早期階段,測試網即將推出。作爲Starknet生態的重要組成部分,Kakarot的發展值得關注。
Kakarot: Starknet生態的zkEVM新星 開啓L3可能性
Kakarot: 一個令人興奮的ZK-EVM項目
Kakarot zkEVM是一個使用Cairo語言編寫的以太坊虛擬機(EVM)實現。Cairo是與CairoVM相關的圖靈完備語言,CairoVM利用多項式和ZK-STARK證明系統實現可證明計算。
作爲zkEVM,Kakarot可以生成可證明的交易和區塊。由於構建在CairoVM之上,Kakarot上執行的每筆交易都是可證明的。這使得開發者能夠在Kakarot上部署EVM應用,同時允許用戶使用熟悉的工具與這些應用交互。
Kakarot還將提供與Starknet協議的互操作性,爲DeFi和GameFi等領域的協議帶來可組合性。
發展路線
該項目始於2022年10月,目標是開源並用不到10,000行代碼創建zkEVM。這一目標在短短六個月內就實現了。測試網計劃於2023年夏末發布。
Kakarot zkEVM的路線圖分爲三個階段:
Kakarot zkEVM on Starknet:將EVM引入Starknet
Kakarot zkEVM將首先作爲內置EVM存在於Starknet的L2中。開發者可以直接在Starknet上部署Solidity(或任何EVM兼容語言)智能合約,並使用熟悉的工具。用戶體驗將與在Polygon、Scroll或以太坊L1上相同。
Kakarot x Madara:L3 zkEVMs
Kakarot和Madara將整合,支持L3 zkEVMs甚至更高層級。團隊可以部署自己的zkEVM應用鏈,利用有效性證明在Starknet上結算交易。這種架構可以解耦安全性和去中心化,用戶可以獲得以太坊L1的安全性,同時享受更低的gas成本和更高的性能。
Kakarot x Madara:type 1 zkEVM
如果能用Cairo編寫以太坊共識規則並從Pedersen MPT切換到Keccak MPT,Kakarot將成爲type 1 zkEVM客戶端,能夠證明L1區塊。這取決於以太坊的未來發展,尤其是Verge升級。
團隊
Kakarot核心團隊誕生於裏斯本的一次黑客馬拉松,約10人在一周內構建了zkEVM原型。目前,在Starknet基金會和Onlydust的支持下,Kakarot擁有40多名貢獻者。
核心成員包括:
融資
Kakarot完成了pre-seed輪融資,具體金額未公布。投資方包括Starkware、LambDa等。天使投資人包括Vitalik Buterin、Ledger聯合創始人Nicolas Bacca和ZAMA聯合創始人兼CEO Rand Hindi。
展望
Kakarot作爲Starknet上的EVM實現,可以很好地連接Starknet和以太坊生態,降低開發門檻。它的發展與Starknet息息相關,可爲Starknet生態繁榮做出貢獻。
Kakarot得到了Vitalik和StarkWare的支持,這是一大優勢。但相比其他zkEVM項目,Kakarot團隊規模較小,預算和品牌知名度也較低,這也是其沒有部署爲通用zkEVM L2的原因之一。
Kakarot目前處於早期階段,測試網即將推出。作爲Starknet生態的重要組成部分,Kakarot的發展值得關注。