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的测试网即将发布，值得密切关注其未来发展。