STA:Kakarot：第一个模块化 zkEVM

注：原文来自Kakarot团队成员EliasTazartes发布文章，MarsBit整理编译。

TL;DR：Kakarot是第3类zkEVM，构建在CairoVM之上。该项目于2022年10月启动，目标包括：从构建之初开源，用不到10,000行代码创建一个zkEVM。我们在短短六个月内就实现了这一目标。我们将在2023年夏末发布测试网。

另，文末提供了一个术语表，用于了解EVM、zkRollups以及zkEVM。

CairoVM的不完整入门

CairoVM是一种支持可证明执行的虚拟机，是Starknet的基础。Starknet是以太坊生态系统中的通用二层validityrollup。CairoVM允许使用STARK证明Starknet上的每笔交易。这需要开发者在相关编程语言Cairo中构建去中心化应用程序(dApp)。

韩国检方禁止Delio、Haru Invest和B&S Holdings高管出境:6月25日消息，韩国检方于上周禁止B&S Holdings大股东方某、Delio首席执行官郑相浩（音译）和Haru Invest高管出境。韩国检方称方某可能是造成连环存取款暂停的原因，目前尚未被首尔南部地方检察厅起诉，B&S的另一位大股东宋某仍在韩国境外。[2023/6/25 21:58:29]

用Cairo背后的团队LiorGoldberg和ShaharPapini以及MichaelRiabzev的话来说：

?“Cairo，一种实用高效的图灵完备STARK友好型CPU架构。我们描述了一组多项式方程来证明在此架构上的执行是有效的。给定一个想要证明的陈述，Cairo允许编写描述该陈述的程序，而不是编写一组多项式方程。”

德意志联邦银行巴尔茨：数字欧元不仅是一种选择，而且是必要的:金色财经报道，德意志联邦银行最高执行委员会委员布克哈德·巴尔茨20日在参加2023清华五道口全球金融论坛时直言，如果要在社会进入数字时代时保持对央行货币的普遍使用，数字欧元将不仅是一种选择，而且是必要的。通过数字欧元，我们的目标是将现金的所有优势输送到数字领域，数字欧元将使公众能够获得高效便捷的支付方式，它将在整个欧元区广泛使用，就像今天的现金一样。

巴尔茨还提到，当人们问我数字欧元何时可以在用户中分布时，我仍然持谨慎意见，我们谈论的是至少三年，所以可能不会在2027年之前发生。[2023/5/20 15:15:35]

要点：用Cairo编写的程序是可证明的，这具有改变游戏规则的优势——用高级语言编写可证明的程序。因此，希望利用零知识密码学的可扩展特性的开发者不再需要编写电路。

币安将支持Injective网络升级与硬分叉，今日22:00左右暂停充提币:金色财经报道，币安公告称，将支持 Injective（INJ）网络升级与硬分叉。INJ 充提币将于北京时间 3 月 17 日 22:00 左右暂停，INJ 交易在网络升级与硬分叉期间不会受到影响。Injective（INJ）网络升级与硬分叉将在区块 28,864,000 进行。此次升级与硬分叉不会创建新代币，升级完成后将重新开放 INJ 充提服务。[2023/3/17 13:11:07]

那么，用Cairo重写以太坊虚拟机(EVM)会产生zkEVM吗？

Cairo的共同发明者ShaharPapini于2022年7月20日发推称：

Mt.Gox最大债权人计划保留归还的比特币:金色财经报道，据知情人士透露，破产的加密货币交易所Mt.Gox的最大债权人Mt.Gox投资基金打算持有而不是出售将于今年支付给它的比特币。该基金选择在9月提前支付，而不是等待所有诉讼得到解决。该人士表示，它将以大约 70% 的比特币和 30% 的现金的比例获得Mt.Gox 90% 的剩余资产。他们拒绝说明该基金预计收到的比特币数量。[2023/3/9 12:50:49]

这个想法很简单：EVM是一个成熟的、定义明确的VM架构。142个操作码、9个预编译和更新这些操作码或预编译的民主过程。如果Cairo构建，是否会“免费”获得zkEVM，即直接获得零知识的扩展特性？剧透一下，是的。

从那时起，该想法在Starknet社区中获得关注。Abdel是Starkwareexploration团队的负责人，也是以太坊核心开发团队的一员，他于2022年10月开始实施这一构想。大约在同一时间，Starknet的开源构建者社区在Onlydust的帮助下聚集在一起，启动了一个类似的并行项目，前者在里斯本的StarknetCC期间吸纳了后者。

到2022年底，Kakarot实现了100%的EVM操作码

在里斯本的一个黑客之家，一周的专注工作，大约十个人构建了一个zkEVM。Kakarot核心团队诞生。我们意识到这是可行且强大的。一个简单的zkEVM实现，只需要不到5000行代码。没有电路，没有多项式。只是高层次的、富有表现力的代码。

在Starknet基金会和Onlydust的帮助下，我们开始了这次冒险。我们的价值观是开源、开放贡献和社区驱动的技术战略。Clément和我领导并协调了这项工作。如今，Kakarot拥有40多个独特的贡献者。虽然Kakarot正在为构建生产级zkEVM而努力，但我们的价值观是不会改变的：永远开源并对外部贡献开放

截至2023年5月，Kakarot已实现100%字节码等效，并实现了9个EVM预编译中的8个。根据Vitalik的分类，它将达到9个从而满足类型2.5的定义。因此，使用Solidity或任何其他EVM支持的语言编写的dApp可以部署到Kakarot上，而无需对现有代码进行任何修改。

下一步规划？将EVM引入Starknet并构建zkEVM-Rollup-as-a-Service产品。

当我们分析市场时，我们注意到与其他zkEVM相比，Kakarot处于劣势——一个不到10人的团队，预算和品牌知名度不足。部署为通用zkEVML2似乎有风险。那么，还有哪些其他策略看起来合理？将EVM兼容性引入Starknet并利用分形扩展。

我们坚信Cairo将在未来几年被证明是零知识工程的最佳组件。我们还相信EVM仍将是开发者最常见的抽象层。这就是我们将EVM兼容性引入Starknet的原因。很快，团队将能够通过Kakarot在Starknet上部署他们的SoliditydApp。

此外，我们认为应用链将比人们预期的更快出现。OP堆栈获得的吸引力就是一个很好的例子。通过利用Kakarot的模块化特性，我们能够构建一个zkRollup-as-a-service工具。

一句话：帮助特定应用程序将zkEVM作为L3部署在Starknet之上。EVM环境、低gas和快速执行。加密安全。

要先睹为快，请查看基于Substrate的Starknet排序器Madara。Madara+Kakarot=基于Substrate和CairoVM的zkEVML3

标签：STASTARARKSTARKYstarSTARLStarkMetaSTARK币

比特币价格热门资讯