注：原文来自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)。
俄罗斯央行将于4月1日启动数字卢布真实交易试点项目:2月17日消息，据当地通讯社塔斯社报道，俄罗斯央行第一副行长 Olga Skorobogatova 在金融网络安全论坛期间表示，从 2023 年 4 月 1 日起，俄罗斯银行将启动一个由 13 家银行和多家商户参与的数字卢布（CBDC）真实交易试点项目。交易涉及个人转账以及贸易和服务企业的支付，该13 家银行通过了所有测试——包括技术和运营方面的测试。监管机构预计他们将在 4 月 1 日与他们确定的客户一起进入试点项目。
早些时候，俄罗斯央行宣布计划从 2023 年 4 月开始在真实客户身上测试数字卢布。数字卢布兑换外币和非居民钱包的开放可能从 2024 年开始。[2023/2/18 12:14:13]
用Cairo背后的团队LiorGoldberg和ShaharPapini以及MichaelRiabzev的话来说：
CryptoQuant：当大量USDC流入交易所时，比特币的下一轮牛市可能开始:10月9日消息，CryptoQuant首席执行官Ki Young Ju发文表示，当大量USDC流入交易所时，比特币的下一轮抛物线牛市可能开始；目前94%的USDC供应来自外部交易平台，其中很大一部分由贝莱德（BlackRock）、富达（Fidelity）、高盛（Goldman Sachs）等传统金融机构持有，他们接到客户的命令就会行动；另外，Tether供应量25%在交易所，而对BUSD来说，交易所占比达到70%，可能是由于币安为其原生稳定币提供了不错的收益机会。[2022/10/9 12:50:49]
?“Cairo，一种实用高效的图灵完备STARK友好型CPU架构。我们描述了一组多项式方程来证明在此架构上的执行是有效的。给定一个想要证明的陈述，Cairo允许编写描述该陈述的程序，而不是编写一组多项式方程。”
Beosin：Gnosis Omni Bridge跨链桥项目存在合约层面的重放漏洞:金色财经报道，Beosin 安全团队发现，在以太坊合并并分叉出 ETHW 后，Gnosis Omni Bridge跨链桥项目，由于合约代码中固定写死了chainID，而未真正验证当前所在链的chainID，导致合约在验证签名时能够在分叉链上验证通过。攻击者首先在 ETH 主网上通过omni Bridge 转移 WETH，随后将相同的交易内容在 ETHW 链上进行了重放，获取了等额的 ETHW。目前攻击者已经转移了 741 ETHW 到交易所。
Beosin 安全团队建议如果项目方合约里面预设了chainID，请先手动将chainId更新，即使项目方决定不支持ETHW，但是由于无法彻底隔绝通过跨链桥之间的资产流动，建议都在ETHW链上更新。[2022/9/19 7:04:46]
要点：用Cairo编写的程序是可证明的，这具有改变游戏规则的优势——用高级语言编写可证明的程序。因此，希望利用零知识密码学的可扩展特性的开发者不再需要编写电路。
清洁算力公司SAI.TECH推出的SAIHUB App支持闪电网络:8月18日消息，清洁算力服务运营商SAI.TECH Global Corporation近日发布其一站式云管理软件SAIHUB App 1.1版本，新增支持闪电网络功能。用户不仅可以在链上为钱包充值，还可以基于添加到比特币区块链的第二层在链下进行或接收即时支付。
据悉，SAIHUB App为用户提供一站式比特币资产管理平台，可以在手机上管理自己的比特币资产。（Globenewswire）[2022/8/18 12:33:52]
那么，用Cairo重写以太坊虚拟机(EVM)会产生zkEVM吗？
Cairo的共同发明者ShaharPapini于2022年7月20日发推称：
这个想法很简单：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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。