Cointime

扫码下载App
iOS & Android

三分钟了解 Kakarot:第一个模块化 zkEVM

媒体

Kakarot 是 第 3 类 zkEVM,构建在 CairoVM 之上,将在 2023 年夏末发布测试网。

原文标题:《Kakarot: an intro to the first modularzkEVM

撰文:Elias Tazartes,Kakarot 团队成员

编译:Yvonne,MarsBit

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

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

CairoVM 的不完整入门

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

用 Cairo 背后的团队 Lior Goldberg 和 Shahar Papini 以及 Michael Riabzev 的话来说:

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

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

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

Cairo 的共同发明者 Shahar Papini 于 2022 年 7 月 20 日发推称:

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

从那时起,该想法在 Starknet 社区中获得关注。Abdel 是 Starkware exploration 团队的负责人,也是以太坊核心开发团队的一员,他于 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% 字节码等效(相当于第 3 类 zkEVM),并实现了 9 个 EVM 预编译中的 8 个。根据 Vitalik 的分类,它将达到 9 个从而满足类型 2.5 的定义。因此,使用 Solidity 或任何其他 EVM 支持的语言编写的 dApp 可以部署到 Kakarot 上,而无需对现有代码进行任何修改。

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

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

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

此外,我们认为应用链(或特定于应用的 L3)将比人们预期的更快出现。OP 堆栈获得的吸引力就是一个很好的例子。通过利用 Kakarot 的模块化特性(小而灵活的代码库,适用于任何 Cairo 链),我们能够构建一个 zkRollup-as-a-service 工具。

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

要先睹为快,请查看基于 Substrate 的 Starknet 排序器 Madara。Madara + Kakarot = 基于 Substrate 和 CairoVM 的 zkEVM L3 🔥!

词汇表

EVM(以太坊虚拟机):EVM 是一个图灵完备的虚拟机,在以太坊区块链上执行智能合约。它充当这些合约的运行环境,处理指令并管理网络状态。开发者可以使用 Solidity 等语言编写智能合约,然后将其编译为 EVM 字节码并由虚拟机执行。

zkRollups:zkRollups 是区块链网络(尤其是以太坊)的 2 层扩展解决方案。他们将多个交易捆绑成一个证明,然后发布在主链上。通过使用零知识证明,zkRollups 可以实现更高的吞吐量和更低的交易成本,同时保持高水平的安全性和去中心化。

zkEVM(零知识以太坊虚拟机):zkEVM 是一种包含零知识证明系统的 EVM 实现。它通过利用加密技术证明交易的正确性而不泄露其细节,从而允许执行具有更高隐私性和可扩展性的智能合约。

评论

所有评论

推荐阅读

  • 8月5日午间重要动态一览

    7:00-12:00关键词:Bitsonic、Coinbase、白宫 1.特朗普发文庆祝美股大涨:这样的上涨还会有很多; 2.韩国加密货币交易所Bitsonic代表因涉嫌1亿韩元诈骗案再次入狱; 3.Coinbase CEO:美国政府将持有超过6000亿美元的比特币储备; 4.Benchmark:Coinbase盈利疲软和股价下跌“从大局来看无关紧要”; 5.Coinbase与PayPal坚持发放稳定币奖励,回应《GENIUS法案》监管争议; 6.Bitcoin Magazine CEO David Bailey计划为新政治行动委员会筹集2亿美元; 7.The ETF Store总裁:白宫正在准备一项行政命令,旨在惩罚歧视加密货币公司的银行。

  • USDC Treasury新增铸造3.16亿枚USDC

    过去 3 小时内,USDC Treasury 新增铸造 316,765,680 枚 USDC。

  • 8月5日隔夜重要动态一览

    21:00-7:00关键词:OpenMind、欧盟、降息

  • The ETF Store总裁:白宫正在准备一项行政命令,旨在惩罚歧视加密货币公司的银行

    The ETF Store总裁Nate Geraci在X平台发文表示,白宫正在准备一项行政命令,旨在惩罚那些歧视加密货币公司的银行。

  • IPO在即,灰度创始人Barry Silbert回归出任董事会主席

    Grayscale Investments 在提交保密 IPO 申请后,宣布四项高管任命并迎回创始人 Barry Silbert 担任董事会主席。新任命的高管包括:首席运营官 Diana Zhang、首席营销官拉蒙娜·波士顿 Ramona Boston、首席传讯官 Andrea Williams、首席人力资源官 Maxwell Rosenthal。四位高管都将向灰度首席执行官 Peter Mintzberg 汇报,他们均来自传统金融巨头,包括桥水基金、阿波罗全球管理、高盛和城堡投资。 Barry Silbert 于 2013 年创立灰度,于 2023 年底辞去灰度董事长一职,此次将接替 Mark Shifke 担任董事会主席,Shifke 将继续留任董事会,目前董事会成员已增至五人。公司表示正在考虑增加独立董事。 Barry Silbert 表示:「我很荣幸能够在公司乃至更广泛的数字资产生态系统的关键时刻重新加入灰度董事会。我始终坚信公司的长期定位以及引领公司前进的领导团队。」

  • SharpLink Gaming增持18,680枚以太坊,总持有498,884枚

    据链上分析师 Onchain Lens 监测,SharpLink Gaming(股票代码:SBET)今日再次增持18,680枚以太坊,价值约6,663万美元。此次增持后,该公司以太坊储备总量达到498,884枚,总价值约18亿美元。

  • Bullish向美国证交会提交IPO申请,拟募资6.29亿美元

    数字资产交易所Bullish及其子公司CoinDesk已向美国证券交易委员会(SEC)提交首次公开募股(IPO)申请。根据申请文件,Bullish计划发行2030万股,发行价区间为28-31美元/股,最高募资金额为6.29亿美元,对应公司估值约42亿美元。 Bullish业务范围包括数字资产现货交易、杠杆交易和衍生品交易,同时为稳定币发行机构提供流动性服务。财务数据显示,该公司2025年第一季度数字资产销售额达8020万美元,净亏损3.49亿美元。Bullish曾于2023年以7260万美元收购加密货币媒体平台CoinDesk。

  • 欧盟将对美国的贸易反制措施暂停6个月

    市场消息:欧盟将对美国的贸易反制措施暂停6个月

  • 去中心化操作系统 OpenMind 完成 2000 万美元融资,Pantera Capital 领投

    智能机器去中心化操作系统 OpenMind 宣布完成 2000 万美元融资,Pantera Capital 领投,Coinbase Ventures、Digital Currency Group 和 Ribbit 等参投。 据悉,这家初创公司正在开发一款名为 FABRIC 的“硬件无关”操作系统,旨在支持“智能机器融入日常生活”。该协议为支持人工智能的机器人提供了一种通信和协调的方式。

  • 加强个人境外收入监管 境外买卖股票收入也要缴税

    《金融时报》刊文,据了解,近期有纳税人收到了税务部门通知,告知其需要依法办理境外所得申报并缴纳相应税款。“根据我国个人所得税法,个人股票交易所得属于财产转让所得,应当适用20%的税率按次征收。其中,个人在境内二级市场的股票交易所得暂免征收个人所得税;在境外直接进行股票交易所得没有免税规定,需要在取得所得的次年申报纳税。”吉林财经大学税务学院院长张巍解释说。为了更加合理的征收,我国税务部门在征管时,允许纳税人按照纳税年度盈亏相抵,但不允许跨年互抵。依法纳税是每个公民应尽的义务。个人未申报或者未如实申报境外所得,除了会被税务机关要求补缴税款外,还会被加收滞纳金,情形严重的还可能被稽查部门立案检查,将面临税务处罚。纳税人如果发现自己此前申报个税时,存在少报、漏报境外所得的,要及时补正。