原文：Can Kakarot zkEVM grow Starknet’s user base? CEO Elias Tazartes explains

翻译及校对：Starknet 中文社区

📑 转载请注明出处 🕹️

• Kakarot 允许开发者在 Starknet 上使用 Solidity，促进 EVM 用户的接入，从而扩大 Starknet 的用户基础；

• Kakarot 将 EVM 与 Cairo VM 结合，提升开发者的灵活性和生态的流动性，计划 2024 年底上线主网；

• Kakarot 的目标是消除 EVM 兼容性障碍，实现 EVM 和 Cairo 环境中资产的完全流动性。

Starknet 扩展了以太坊的规模，使得任何区块链应用在 Starknet  网络上都具备了经济可行性。我们有时会被问到，既然 Starknet 可以扩展以太坊，为什么不使用以太坊虚拟机（EVM）？

Starknet 选择使用其专属虚拟机 — Cairo VM，以及自己的智能合约语言 Cairo，因为它们经过了优化，可以充分利用 ZK 证明的力量进行扩展。与 EVM 不同的是，Cairo VM 允许开发者更高效地利用 ZK ，而无需深入了解其底层概念。

但是，如今大多数区块链开发者仍在使用 EVM 智能合约语言 Solidity 进行编码。因此，以太坊生态系统的大部分总价值都被锁定在基于 Solidity 的 dApp 中，这些应用无法利用 Starknet 的可扩展性。

为了弥合 Starknet 和 EVM 之间的距离，2022 年 10 月，一种由 Cairo 编写的，在 Starknet 上部署的 EVM — Kakarot 应运而生。这一想法是让开发者在 Starknet 上可以自由选择使用 Solidity 或 Cairo，为基于 EVM 的 dApp 世界打开大门，让其能够迁移到 Starknet。Kakarot 计划于 2024 年底上线 Starknet 主网。

我们与 Kakarot 的联合创始人兼 Co-CEO/CTO Elias Tazartes 进行了对话，以了解 Kakarot 的现状及其未来发展方向。

1. StarkWare: 作为 Starknet 生态系统中的主要 EVM 协议，Kakarot 在其中占据了独特的位置。可以跟我们简单介绍一下吗？

Elias: Kakarot 在 Starknet 的使命是通过让 EVM 原生用户接触到 Starknet 来促进网络的采用率。Kakarot 使所有 EVM 用户、钱包持有者和 dApps 能够与 Starknet 进行原生交互。这意味着更多的用户、更多的 EVM dApp、更多的选择权交给开发者。

EVM 开发者现在将能够在 Starknet 上使用 Solidity 进行开发。对于 Starknet 开发者来说，Kakarot 通过允许 EVM 用户与他们的 dApp 进行交互，扩大了其 dApp 的潜在市场。

因此，我们努力提高跨链至 Starknet 的流动性（更多的 EVM 桥以及基础设施可以部署到 Starknet）。我们还致力于吸引更多用户加入 Starknet（通过增加 EVM 用户），并进一步扩大开发者社区。

Kakarot 通过在 Cairo 环境中运行 EVM 来实现这一点，这使得 Starknet 成为史上首个 DualVM ZK-rollup（同时支持 EVM 和 Cairo 虚拟机）。

2. StarkWare：Kakarot 使更多偏好 EVM、喜欢使用 Solidity 编程的开发者能够更容易融入 Starknet。为什么这一点很重要？

Elias: Kakarot 从根本上扩展了设计空间，允许开发者选择 Solidity 来实现网络效应，或选择 Cairo 来提高性能。我们相信 Starknet 拥有最好的证明技术和最强大的开发者社区，我们希望为扩大整个生态圈做出贡献！

设想某人正在开发一个多链协议，比如一个跨链桥，并且他们已经在 EVM 中实现了桥的合约，并部署到了多个链上。这样，他们可以很容易地将其部署到 Starknet，而无需长时间维护两个代码库。因此，更多的流动性将被引入到 Starknet。同样的逻辑也适用于预言机、DeFi 应用等。

3. StarkWare：您认为 Kakarot 的价值主张是什么？这对开发者意味着什么？对用户又意味着什么？

Elias: 对于 Starknet 社区来说，Kakarot 消除了开发者寻求利用 Starknet 可扩展性会遇到的任何 EVM 兼容性障碍。对于更广泛的以太坊生态系统来说，Kakarot 加速了可证明计算的采用。

对于 Starknet 的开发者来说，这意味着除了已有的 Starknet 工具外，他们还能使用 EVM 编程语言和工具，从而极大地扩展了他们的选择范围。此外，那些希望通过 Kakarot 启动 EVM 应用链（为其特定应用量身定制的链）的开发者，将受益于该技术栈的高度可审计性、易维护性和模块化！

对于用户来说，这意味着他们将能够在 Starknet 上享受到更快、更便宜的交易，也意味着他们可以与更广泛的以太坊生态系统实现更好的互操作性。

举一个简短的例子来说明：StarkWare 将在 2025 年初为 Starknet 和 Cairo 技术栈发布超快的开源证明器 Stwo。Kakarot 将直接受益于其 ZK 证明生成性能的 100 倍（最高 1000 倍）提升。Kakarot 能够直接从 Cairo 技术栈的改进中获益。

4. StarkWare：您认为可以将 Kakarot 视为 Starknet 和 EVM 生态系统之间的桥梁吗？

Elias: 当然可以！Kakarot 在两个生态系统之间架起了一座桥梁。举个例子，拥有 EVM 知识或 EVM 代码库的人可以加入 Starknet 生态系统，并逐渐过渡到 Cairo。无需从头开始重写代码，我们支持逐步迁移。

此外，Starknet 协议也能获得 EVM 用户的青睐。Starknet 的用户越多，发展就越好。

5. StarkWare：Kakarot 是否计划与 Karnot 和 Madara 一起，在 Starknet 基础上构建一个 EVM rollup 作为服务？

Elias: 是的！我们希望与 StarkWare、Karnot、Madara、Cartridge 以及希望在应用链语境中使用 Kakarot zkEVM 的开发者合作。我们的协议扩展了 Starknet 技术栈，使其兼容 DualVM，即 Cairo VM 和 EVM。

6. StarkWare：您认为 Kakarot 面临的最大挑战是什么？您打算如何应对这些挑战？

Elias: 我们非常兴奋可以改善开发者体验（DevX）和用户体验（UX），主要通过解决如下问题来实现：

• 如何将 Cairo 和 EVM 融合在一起，真正让开发者创造更多价值？

• 如何避免 Starknet 生态系统中的流动性在 Cairo 协议和 EVM 协议之间分散？

我们已经开始着手解决这些问题，例如允许 Solidity 程序调用 Cairo 智能合约，反之亦然。随着我们逐步向完全融合执行迈进，请持续关注我们的更新。我们的目标是，不管资产是在 EVM 还是 Cairo 环境中，都可以在 Starknet 上实现资产的完全流动性。这个任务并不简单。

我们还观察到行业里创建了许多 zkVM。作为 ZK 工程师，我们看好  Cairo 成为基础设施语言。目前，我们的的巨大优势依赖于 Cairo 保持其作为最高性能的可证明虚拟机的地位。

7. StarkWare：Kakarot 接下来有什么计划？

Elias: 我们计划在年底前部署至 Starknet 主网。我们期待能够为开发者提供在 Starknet 上选择 Solidity 和 Cairo 的选项，并帮助发展生态系统并提升其内部流动性。

我们还将继续与 StarkWare 等主要基础设施参与者合作，创建性能最强的 zkEVM 应用链技术栈。

最后，我们正在为未来做准备：使得通过 Kakarot 作为证明后端，可以证明任何任意的 EVM 执行。这又回到了以太坊基金会的愿景：使用 ZK 和 STARK 来证明以太坊（L1 和 L2）。

这是 Kakarot 的自然结局。简而言之，我们以一种新颖的方式使用 Cairo，将其作为一种可证明的基础设施编程语言，而不是智能合约语言。我们认为，构建 ZK 基础设施的最可持续方式是在可证明虚拟机（例如 Cairo VM）上进行。

行业似乎也已达成共识，因为在基础设施（如 zeth）方面，业界正普遍采用 zkVM（如 SP1、Risc-Zero、Jolt 等）。这种设计非常轻便，因此比基于电路的基础架构更易于维护和审计。

8. StarkWare：您对 Kakarot 的长期愿景是什么？

Elias: 如上所述，Kakarot 有两个非常强大的用例：

1. 通过 EVM 吸引更多用户和开发者加入 Starknet 生态系统。这对于 EVM DeFi 来说是一个特别强大的应用（95% 的稳定币都运行在 EVM 上）。

2. 其次，证明任何 EVM 链，包括以太坊 L1、OP-stack 链、Orbit 链等。所有 Rollup 最终都会迁移到 ZK 证明，并受益于卓越的可扩展性和可组合性，这是迟早的事。从长远来看，我们认为这些是在更广泛的以太坊生态系统中利用 Cairo 和 STARK 的强大功能的极具吸引力的方法。

9. StarkWare：开发者该如何开始使用 Kakarot？他们应该先做什么？流程是怎样的？

Elias: 开发者们可以即可就加入我们的公共测试网！访问最为便捷的水龙头网址（例如 sepolia-faucet.kakarot.org），尝试使用现有的 dApp 或自己构建 dApp。我们正在在社区和审计员的帮助下寻找每一个 bug。快来加入这场冒险，帮助我们让 Kakarot 变得更加出色。

请继续关注 Elias 和 Kakarot 的 X 的内容更新。

原文：Can Kakarot zkEVM grow Starknet’s user base? CEO Elias Tazartes explains

翻译及校对：Starknet 中文社区

📑 转载请注明出处 🕹️

• Kakarot 允许开发者在 Starknet 上使用 Solidity，促进 EVM 用户的接入，从而扩大 Starknet 的用户基础；

• Kakarot 将 EVM 与 Cairo VM 结合，提升开发者的灵活性和生态的流动性，计划 2024 年底上线主网；

• Kakarot 的目标是消除 EVM 兼容性障碍，实现 EVM 和 Cairo 环境中资产的完全流动性。

Starknet 扩展了以太坊的规模，使得任何区块链应用在 Starknet  网络上都具备了经济可行性。我们有时会被问到，既然 Starknet 可以扩展以太坊，为什么不使用以太坊虚拟机（EVM）？

Starknet 选择使用其专属虚拟机 — Cairo VM，以及自己的智能合约语言 Cairo，因为它们经过了优化，可以充分利用 ZK 证明的力量进行扩展。与 EVM 不同的是，Cairo VM 允许开发者更高效地利用 ZK ，而无需深入了解其底层概念。

但是，如今大多数区块链开发者仍在使用 EVM 智能合约语言 Solidity 进行编码。因此，以太坊生态系统的大部分总价值都被锁定在基于 Solidity 的 dApp 中，这些应用无法利用 Starknet 的可扩展性。

为了弥合 Starknet 和 EVM 之间的距离，2022 年 10 月，一种由 Cairo 编写的，在 Starknet 上部署的 EVM — Kakarot 应运而生。这一想法是让开发者在 Starknet 上可以自由选择使用 Solidity 或 Cairo，为基于 EVM 的 dApp 世界打开大门，让其能够迁移到 Starknet。Kakarot 计划于 2024 年底上线 Starknet 主网。

我们与 Kakarot 的联合创始人兼 Co-CEO/CTO Elias Tazartes 进行了对话，以了解 Kakarot 的现状及其未来发展方向。

1. StarkWare: 作为 Starknet 生态系统中的主要 EVM 协议，Kakarot 在其中占据了独特的位置。可以跟我们简单介绍一下吗？

Elias: Kakarot 在 Starknet 的使命是通过让 EVM 原生用户接触到 Starknet 来促进网络的采用率。Kakarot 使所有 EVM 用户、钱包持有者和 dApps 能够与 Starknet 进行原生交互。这意味着更多的用户、更多的 EVM dApp、更多的选择权交给开发者。

EVM 开发者现在将能够在 Starknet 上使用 Solidity 进行开发。对于 Starknet 开发者来说，Kakarot 通过允许 EVM 用户与他们的 dApp 进行交互，扩大了其 dApp 的潜在市场。

因此，我们努力提高跨链至 Starknet 的流动性（更多的 EVM 桥以及基础设施可以部署到 Starknet）。我们还致力于吸引更多用户加入 Starknet（通过增加 EVM 用户），并进一步扩大开发者社区。

Kakarot 通过在 Cairo 环境中运行 EVM 来实现这一点，这使得 Starknet 成为史上首个 DualVM ZK-rollup（同时支持 EVM 和 Cairo 虚拟机）。

2. StarkWare：Kakarot 使更多偏好 EVM、喜欢使用 Solidity 编程的开发者能够更容易融入 Starknet。为什么这一点很重要？

Elias: Kakarot 从根本上扩展了设计空间，允许开发者选择 Solidity 来实现网络效应，或选择 Cairo 来提高性能。我们相信 Starknet 拥有最好的证明技术和最强大的开发者社区，我们希望为扩大整个生态圈做出贡献！

设想某人正在开发一个多链协议，比如一个跨链桥，并且他们已经在 EVM 中实现了桥的合约，并部署到了多个链上。这样，他们可以很容易地将其部署到 Starknet，而无需长时间维护两个代码库。因此，更多的流动性将被引入到 Starknet。同样的逻辑也适用于预言机、DeFi 应用等。

3. StarkWare：您认为 Kakarot 的价值主张是什么？这对开发者意味着什么？对用户又意味着什么？

Elias: 对于 Starknet 社区来说，Kakarot 消除了开发者寻求利用 Starknet 可扩展性会遇到的任何 EVM 兼容性障碍。对于更广泛的以太坊生态系统来说，Kakarot 加速了可证明计算的采用。

对于 Starknet 的开发者来说，这意味着除了已有的 Starknet 工具外，他们还能使用 EVM 编程语言和工具，从而极大地扩展了他们的选择范围。此外，那些希望通过 Kakarot 启动 EVM 应用链（为其特定应用量身定制的链）的开发者，将受益于该技术栈的高度可审计性、易维护性和模块化！

对于用户来说，这意味着他们将能够在 Starknet 上享受到更快、更便宜的交易，也意味着他们可以与更广泛的以太坊生态系统实现更好的互操作性。

举一个简短的例子来说明：StarkWare 将在 2025 年初为 Starknet 和 Cairo 技术栈发布超快的开源证明器 Stwo。Kakarot 将直接受益于其 ZK 证明生成性能的 100 倍（最高 1000 倍）提升。Kakarot 能够直接从 Cairo 技术栈的改进中获益。

4. StarkWare：您认为可以将 Kakarot 视为 Starknet 和 EVM 生态系统之间的桥梁吗？

Elias: 当然可以！Kakarot 在两个生态系统之间架起了一座桥梁。举个例子，拥有 EVM 知识或 EVM 代码库的人可以加入 Starknet 生态系统，并逐渐过渡到 Cairo。无需从头开始重写代码，我们支持逐步迁移。

此外，Starknet 协议也能获得 EVM 用户的青睐。Starknet 的用户越多，发展就越好。

5. StarkWare：Kakarot 是否计划与 Karnot 和 Madara 一起，在 Starknet 基础上构建一个 EVM rollup 作为服务？

Elias: 是的！我们希望与 StarkWare、Karnot、Madara、Cartridge 以及希望在应用链语境中使用 Kakarot zkEVM 的开发者合作。我们的协议扩展了 Starknet 技术栈，使其兼容 DualVM，即 Cairo VM 和 EVM。

6. StarkWare：您认为 Kakarot 面临的最大挑战是什么？您打算如何应对这些挑战？

Elias: 我们非常兴奋可以改善开发者体验（DevX）和用户体验（UX），主要通过解决如下问题来实现：

• 如何将 Cairo 和 EVM 融合在一起，真正让开发者创造更多价值？

• 如何避免 Starknet 生态系统中的流动性在 Cairo 协议和 EVM 协议之间分散？

我们已经开始着手解决这些问题，例如允许 Solidity 程序调用 Cairo 智能合约，反之亦然。随着我们逐步向完全融合执行迈进，请持续关注我们的更新。我们的目标是，不管资产是在 EVM 还是 Cairo 环境中，都可以在 Starknet 上实现资产的完全流动性。这个任务并不简单。

我们还观察到行业里创建了许多 zkVM。作为 ZK 工程师，我们看好  Cairo 成为基础设施语言。目前，我们的的巨大优势依赖于 Cairo 保持其作为最高性能的可证明虚拟机的地位。

7. StarkWare：Kakarot 接下来有什么计划？

Elias: 我们计划在年底前部署至 Starknet 主网。我们期待能够为开发者提供在 Starknet 上选择 Solidity 和 Cairo 的选项，并帮助发展生态系统并提升其内部流动性。

我们还将继续与 StarkWare 等主要基础设施参与者合作，创建性能最强的 zkEVM 应用链技术栈。

最后，我们正在为未来做准备：使得通过 Kakarot 作为证明后端，可以证明任何任意的 EVM 执行。这又回到了以太坊基金会的愿景：使用 ZK 和 STARK 来证明以太坊（L1 和 L2）。

这是 Kakarot 的自然结局。简而言之，我们以一种新颖的方式使用 Cairo，将其作为一种可证明的基础设施编程语言，而不是智能合约语言。我们认为，构建 ZK 基础设施的最可持续方式是在可证明虚拟机（例如 Cairo VM）上进行。

行业似乎也已达成共识，因为在基础设施（如 zeth）方面，业界正普遍采用 zkVM（如 SP1、Risc-Zero、Jolt 等）。这种设计非常轻便，因此比基于电路的基础架构更易于维护和审计。

8. StarkWare：您对 Kakarot 的长期愿景是什么？

Elias: 如上所述，Kakarot 有两个非常强大的用例：

1. 通过 EVM 吸引更多用户和开发者加入 Starknet 生态系统。这对于 EVM DeFi 来说是一个特别强大的应用（95% 的稳定币都运行在 EVM 上）。

2. 其次，证明任何 EVM 链，包括以太坊 L1、OP-stack 链、Orbit 链等。所有 Rollup 最终都会迁移到 ZK 证明，并受益于卓越的可扩展性和可组合性，这是迟早的事。从长远来看，我们认为这些是在更广泛的以太坊生态系统中利用 Cairo 和 STARK 的强大功能的极具吸引力的方法。

9. StarkWare：开发者该如何开始使用 Kakarot？他们应该先做什么？流程是怎样的？

Elias: 开发者们可以即可就加入我们的公共测试网！访问最为便捷的水龙头网址（例如 sepolia-faucet.kakarot.org），尝试使用现有的 dApp 或自己构建 dApp。我们正在在社区和审计员的帮助下寻找每一个 bug。快来加入这场冒险，帮助我们让 Kakarot 变得更加出色。

请继续关注 Elias 和 Kakarot 的 X 的内容更新。