详解Kakarot:受Vitalik青睐并投资的zkEVM项目

23-06-12 21:00
阅读本文需 11 分钟
总结 AI 总结
看总结 收起
原文来源:Yinan以南说


简介


Kakarot zkEVM 是用 Cairo 编写的以太坊虚拟机(EVM)的实现。Cairo 是与 CairoVM 相关联的图灵完备语言。CairoVM 利用多项式和 ZK-STARK 证明系统实现了可证明的计算。


zkEVM 的特点是能生成可证明的交易,因此也可以生成可证明的区块。Kakarot 建立在 CairoVM 之上,因此在 Kakarot 上执行的每一笔交易都是可证明的。


总的来说,Kakarot zkEVM 使用 Cairo 语言编写,并利用 ZK-STARK 证明系统提供可证明的计算能力。它使得开发者可以在其上部署 EVM 应用,并使终端用户可以用他们常用的工具链与这些应用进行交互。


最后,Kakarot 还将提供与 Starknet 协议的互操作性,为 DeFi 和 GameFi 等不同领域的协议提供了可组合性。



路线图


该项目于 2022 年 10 月开始,有几个目标:从第一天开始开源,欢迎贡献,最雄心勃勃的是,用不到 10,000 行代码创建一个 zkEVM。


Kakarot zkEVM 的路线图分为三个阶段:


阶段一: Kakarot zkEVM on Starknet—将 EVM 带到 Starknet


Kakarot zkEVM 将首先作为一个内建的 EVM 存在于 Starknet 的 L2 中,使开发者能够在 Starknet 上直接部署他们的 Solidity(或任何 EVM 兼容语言)智能合约,并使用他们熟悉的工具(如 Foundry, Hardhat, Wagmi 等)。他们的终端用户将能够使用他们熟悉的工具链(如 Metamask, Wallet connect 等)与他们的 dApps 进行交互。总的来说,开发者和用户在 Kakarot 上的体验将与 Polygon、Scroll 或以太坊 L1 的体验完全相同


阶段二: Kakarot x Madara—L3 zkEVMs


Kakarot 和 Madara 将被整合成一个统一的堆栈,以便启用 L3 zkEVMs,并在有意义的情况下启用 L4,L5 等。团队将能够部署他们的 zkEVM 应用链,并利用有效性证明在 Starknet 上结算交易。计算在链下或在更高层进行,链上验证。这些依赖有效性证明的 L3(如 Kakarot)具有一个有趣且被低估的属性:能够解耦安全性和去中心化。


用户可以在不需要相同级别的去中心化(即数千个验证器)的情况下,从以太坊 L1 的安全性中受益。然而,对于 rollups 来说,去中心化是有益的,因为它带来了活性和抗审查性,这两个非常重要(被低估了?)的属性。这可以通过将顺序器设定在数百而不是数千来实现。由于在另一层进行计算,L2 的气体成本比 L2 低很多,而性能(TPS)则更高。


请注意,L2 已经比 L1 便宜得多。rollups 的可扩展性堆叠并乘以。为了进一步降低气体成本,可以将证明验证和数据可用性(DA)分开。Starknet L2 可以仅作为一个证明验证层,而新的数据可用性解决方案,如 Celestia 或 EigenDA,可以用于发布交易数据。用户将有选择加入任一选项,具体取决于他们的安全需求。在 Starknet 上发布证明和交易数据是更安全的选项,而使用 DA 解决方案发布交易数据则是更经济的选择.


阶段三: Kakarot x Madara—type 1 zkEVM


Kakarot 和 Madara 也可以结合起来实现 type 1 zkEVM。如果能够:


1、在 Madara x Kakarot 全节点中用 Cairo 编写以太坊共识规则,从而使 L1 共识得以证明。 


2、从 Pedersen Merkle Patricia Trie (MPT) 切换到 Keccak MPT。


那么,Kakarot 就会成为一个 type 1 zkEVM 客户端,能够证明 L1 区块。这是一个更高级的用例,取决于以太坊的路线图,尤其是 Verge。在 Verge 之后,keccak 可能会被 poseidon 替代,作为以太坊的首选哈希函数。这将帮助 zkEVM 团队成为 type 1,因为 zkEVM 的主要兼容性阻碍是存储布局,即以可证明且合理的成本实现 Keccak MPT


在短短六个月内就实现了这一目标。并且将在 2023 年夏末发布测试网。


团队:


在里斯本的一个黑客之家,一周的专注工作,大约十个人构建了一个 zkEVM,至此,Kakarot 核心团队诞生。


在 Starknet 基金会和 Onlydust 的帮助下,如今,Kakarot 拥有 40 多个独特的贡献者。


Elias Tazartes:Kakarot 的 co-founder 及 ceo,专门从事区块链工程(Dapp、Ethereum、Algorand)和全栈开发(Svelte/React、NodeJS、Rust、Python)的自由开发人员。


Clment Walter:科学家、工程师、企业家、杂工,对一切都充满好奇, 这是 Clment 对自己的简介。同时他是 Kakarot 的 co-founder 及首席技术官。



融资:


目前 Kakarot 进行了 pre-seed round 融资,具体融资金额尚未公布,参与投资的团队及人员有:Starkware、LambDa 天使投资人包括 Vitalik 、Ledger 的联合创始人 Nicolas Bacca 和 ZAMA 的联合创始人兼首席执行官 Rand Hindi。



总结:


目前来看,不兼容 EVM 的公链生态发展都处于缓慢阶段,公链生态目前多数都是围绕以太坊生态圈展开,Kakarot 作为在 Starknet 上用 Cairo 编写的以太坊虚拟机(EVM),能够很好的链接 Starknet 生态以及以太坊生态,在不兼容 EVM 的 Starknet 上使得以太坊生态能够很好的在 Starknet 上构建,并且降低开发人员开发的准入门槛,接入以太坊安全性同时降低成本。到 Kakarot 的第二第三阶段,能够实现更多的可组合性,模块化组合例如CelestiaEigenDA等模块。


作为 Starknet 上编写的 ZK-EVM,和 Starknet 生态的联系就像唇齿关系,一荣俱荣,目前 Starknet 也在不停的迭代升级中,提高用户的使用体验,而依托 Kakarot 构建的 ZK-EVM,能很好的为项目生态繁荣作出贡献,相反,要是 Starknet 发展的并不如意,而 Kakarot 也会反受影响。


Kakarot 还有一点优势还在于得到了 V 神还有 StarkWare 的支持,不仅在精神上并且在资金上同样进行加持。



而以其它的 ZK-EVM 相比,Kakarot 又处于劣势—- 一个不到 10 人的团队,预算和品牌要小得多。这也是 Kakarot 没部署为通用 zkEVM L2 的一个原因。


目前 Kakarot 还处于早期,测试网将于近期发布,保持关注。


本文来自投稿,不代表 BlockBeats 的观点



欢迎加入律动 BlockBeats 官方社群:

Telegram 订阅群:https://t.me/theblockbeats

Telegram 交流群:https://t.me/BlockBeats_App

Twitter 官方账号:https://twitter.com/BlockBeatsAsia

本平台现已全面集成Farcaster协议, 如果您已有Farcaster账户, 可以登录 后发表评论
选择文库
新增文库
取消
完成
新增文库
仅自己可见
公开
保存
纠错/举报
提交