# Kakarot: 创新的 zkEVM 解决方案Kakarot zkEVM 是一个使用 Cairo 语言编写的以太坊虚拟机(EVM)实现。Cairo 是与 CairoVM 相关的图灵完备语言,CairoVM 利用多项式和 ZK-STARK 证明系统实现可证明计算。Kakarot zkEVM 的特点在于能生成可证明的交易和区块。由于建立在 CairoVM 之上,Kakarot 上执行的每笔交易都具有可证明性。这使得开发者可以在其上部署 EVM 应用,同时让用户能够使用熟悉的工具与这些应用交互。此外,Kakarot 计划提供与 Starknet 协议的互操作性,为 DeFi 和 GameFi 等领域的协议提供可组合性。## 发展路线Kakarot 项目始于 2022 年 10 月,目标是开源并用不到 10,000 行代码创建 zkEVM。六个月内就实现了这一目标,计划于 2023 年夏末发布测试网。Kakarot zkEVM 的路线图分为三个阶段:1. Kakarot zkEVM on Starknet:将 EVM 引入 Starknet,允许开发者直接在 Starknet 上部署 Solidity 智能合约。2. Kakarot x Madara:实现 L3 zkEVMs,团队可以部署自己的 zkEVM 应用链,利用有效性证明在 Starknet 上结算交易。3. Kakarot x Madara:实现 type 1 zkEVM,通过在 Madara x Kakarot 全节点中用 Cairo 编写以太坊共识规则,并从 Pedersen MPT 切换到 Keccak MPT。## 团队背景Kakarot 核心团队诞生于里斯本的一次黑客马拉松。目前,在 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 上构建。未来阶段有望实现更多可组合性,如与 Celestia 或 EigenDA 等模块化组合。Kakarot 的发展与 Starknet 生态紧密相连。Starknet 的持续升级有利于 Kakarot,但 Starknet 发展不顺也可能对 Kakarot 造成负面影响。获得 Vitalik Buterin 和 StarkWare 的支持是 Kakarot 的优势之一。然而,与其他 ZK-EVM 项目相比,Kakarot 团队规模较小,预算和知名度也相对较低,这是其面临的挑战。Kakarot 目前仍处于早期阶段,测试网即将发布。项目的未来发展值得持续关注。
Kakarot: Starknet生态中的创新zkEVM解决方案
Kakarot: 创新的 zkEVM 解决方案
Kakarot zkEVM 是一个使用 Cairo 语言编写的以太坊虚拟机(EVM)实现。Cairo 是与 CairoVM 相关的图灵完备语言,CairoVM 利用多项式和 ZK-STARK 证明系统实现可证明计算。
Kakarot zkEVM 的特点在于能生成可证明的交易和区块。由于建立在 CairoVM 之上,Kakarot 上执行的每笔交易都具有可证明性。这使得开发者可以在其上部署 EVM 应用,同时让用户能够使用熟悉的工具与这些应用交互。
此外,Kakarot 计划提供与 Starknet 协议的互操作性,为 DeFi 和 GameFi 等领域的协议提供可组合性。
发展路线
Kakarot 项目始于 2022 年 10 月,目标是开源并用不到 10,000 行代码创建 zkEVM。六个月内就实现了这一目标,计划于 2023 年夏末发布测试网。
Kakarot zkEVM 的路线图分为三个阶段:
Kakarot zkEVM on Starknet:将 EVM 引入 Starknet,允许开发者直接在 Starknet 上部署 Solidity 智能合约。
Kakarot x Madara:实现 L3 zkEVMs,团队可以部署自己的 zkEVM 应用链,利用有效性证明在 Starknet 上结算交易。
Kakarot x Madara:实现 type 1 zkEVM,通过在 Madara x Kakarot 全节点中用 Cairo 编写以太坊共识规则,并从 Pedersen MPT 切换到 Keccak MPT。
团队背景
Kakarot 核心团队诞生于里斯本的一次黑客马拉松。目前,在 Starknet 基金会和 Onlydust 的支持下,Kakarot 拥有超过 40 名贡献者。
核心成员包括:
融资情况
Kakarot 已完成 pre-seed 轮融资,具体金额未公布。投资方包括 Starkware 和 LambDa。天使投资人包括以太坊创始人 Vitalik Buterin、Ledger 联合创始人 Nicolas Bacca 和 ZAMA 联合创始人兼 CEO Rand Hindi。
项目评估
Kakarot 作为 Starknet 上的 EVM 实现,有潜力连接 Starknet 和以太坊生态系统。它可能降低开发门槛,让以太坊生态项目更容易在 Starknet 上构建。未来阶段有望实现更多可组合性,如与 Celestia 或 EigenDA 等模块化组合。
Kakarot 的发展与 Starknet 生态紧密相连。Starknet 的持续升级有利于 Kakarot,但 Starknet 发展不顺也可能对 Kakarot 造成负面影响。
获得 Vitalik Buterin 和 StarkWare 的支持是 Kakarot 的优势之一。然而,与其他 ZK-EVM 项目相比,Kakarot 团队规模较小,预算和知名度也相对较低,这是其面临的挑战。
Kakarot 目前仍处于早期阶段,测试网即将发布。项目的未来发展值得持续关注。