1、项目信息 项目名：Kakarot 项目描述：基于 CairoVM 构建的模块化 zkEVM Kakarot zkEVM 是一个基于 Cairo 语言实现的以太坊虚拟机（EVM），它利用 STARK 证明进行可证明的交易和区块，确保透明度和安全性。CairoVM 通过利用多项式（polynomials）和 ZK-STARK 证明系统实现可证明计算。zkEVM 的特点是能够生成可证明的交易，从而产生可证明的区块。Kakarot 建立在 CairoVM 之上，在 Kakarot 上执行的每一笔交易都是可证明的。 目前，Kakarot zkEVM 作为部署在 Starknet 上的智能合约存在。通过公开以太坊 JSON-RPC 客户端，开发人员可以在 Kakarot 上部署任何 Solidity（或 EVM 代码），就像在以太坊或 Polygon 上一样。然后，他们的最终用户就可以使用常用的工具链（Metamask、钱包连接等）与 dApp 进行交互。 最终，Kakarot 将提供与原生 Starknet 协议的互操作性以及协议之间的可组合性，例如，将 DeFi 中的 TVL 和 G...