Kakarot zkEVM是在Cairo实现的以太坊虚拟机（EVM）。 它利用STARK进行可证明的交易和区块，确保透明度和安全性。 由于有了有效性证明，Kakarot可以继承以太坊L1的安全性，同时降低成本。 Kakarot zkEVM使团队能够构建和部署EVM应用程序。 开发人员可以在Kakarot上部署任何Solidity（或任何EVM兼容语言），就像在以太坊或Polygon上一样。然后，他们的最终用户可以使用他们常用的工具链（小狐狸钱包、钱包连接等）与 dApp 进行交互。 Kakarot zkEVM可以以不同的形式存在。首先，它可以作为智能合约部署在Starknet L2之上，从而在Starknet上公开EVM（以太坊RPC，以太坊交易等）。 或者，可以将Kakarot集成到堆栈中以部署L3 zkEVM。 通过结合Madara（Starknet全节点）和Kakarot（EVM运行时），可以创建一个L3 zkEVM。堆栈如下：一个基板全节点，使用 CairoVM 作为其执行引擎，以及 Kakarot 作为智能合约的运行时。Kakarot上的交易可以在结算层上得到证明和验证...