Kakarot介绍

Kakarot zkEVM是用Cairo编写的以太坊虚拟机(EVM)实现。Cairo是与Cairo vm相关的图灵完备语言。CairoVM通过利用多项式和ZK-STARK证明系统实现可证明的计算。zkEVM的特点在于，可生成可证明的交易，从而生成可证明的区块。Kakarot建立在CairoVM之上，在Kakarot上执行的每笔交易都是可证明的。

Kakarot zkEVM使团队能够构建和部署EVM应用程序。开发人员可以在Kakarot上部署任何Solidity(或任何EVM兼容语言)，就像他们在以太坊或Polygon上一样。随后，其终端用户可以使用常用的钱包(Metamask, Wallet connect等)与dapp进行交互。

最终，Kakarot将提供与原生Starknet协议的互操作性和协议之间的可组合性，例如，将DeFi中的TVL和GameFi中的用户结合起来。

分形扩展

Kakarot zkEVM可以以不同的形式存在。首先，它可以作为一个智能合约部署在Starknet L2之上，从而在Starknet上表示为EVM(以太坊RPC、以太坊交易等)。

换句话说，可以将Kakarot集成到stack中以部署L3 zkevm。这就是Madara排序器的用武之地。

通过结合Madara (Starknet全节点)和Kakarot (EVM运行时)，可以创建L3 zkEVM。堆栈如下：一个底层全节点，使用CairoVM作为其执行引擎，而Kakarot作为智能合约的执行期。Kakarot上的交易可以在结算层上进行证明和验证，从而实现EVM兼容的分形扩展。

路线图

阶段1：Starknet 上的 Kakarot zkEVM——将EVM带入Starknet

首先，Kakarot将作为一个EVM存在于Starknet L2中。这将使开发人员能够直接在Starknet上部署其Solidity(或任何与evm兼容的语言)智能合约，使用熟悉的工具箱(Foundry, Hardhat, Wagmi等)。