🎉 #Gate Alpha 第三届积分狂欢节 & ES Launchpool# 联合推广任务上线!
本次活动总奖池:1,250 枚 ES
任务目标:推广 Eclipse($ES)Launchpool 和 Alpha 第11期 $ES 专场
📄 详情参考:
Launchpool 公告:https://www.gate.com/zh/announcements/article/46134
Alpha 第11期公告:https://www.gate.com/zh/announcements/article/46137
🧩【任务内容】
请围绕 Launchpool 和 Alpha 第11期 活动进行内容创作,并晒出参与截图。
📸【参与方式】
1️⃣ 带上Tag #Gate Alpha 第三届积分狂欢节 & ES Launchpool# 发帖
2️⃣ 晒出以下任一截图:
Launchpool 质押截图(BTC / ETH / ES)
Alpha 交易页面截图(交易 ES)
3️⃣ 发布图文内容,可参考以下方向(≥60字):
简介 ES/Eclipse 项目亮点、代币机制等基本信息
分享你对 ES 项目的观点、前景判断、挖矿体验等
分析 Launchpool 挖矿 或 Alpha 积分玩法的策略和收益对比
🎁【奖励说明】
评选内容质量最优的 10 位 Launchpool/Gate
Kakarot zkEVM: Cairo语言打造的可证明EVM,即将登陆Starknet
Kakarot zkEVM: 用Cairo语言构建的以太坊虚拟机
Kakarot zkEVM是一个使用Cairo语言编写的以太坊虚拟机(EVM)。Cairo是一种图灵完备的语言,与CairoVM相关联。CairoVM利用多项式和ZK-STARK证明系统实现可证明计算。
zkEVM的特点是能生成可证明的交易和区块。由于Kakarot建立在CairoVM之上,因此在其上执行的每笔交易都是可证明的。
总的来说,Kakarot zkEVM利用Cairo语言和ZK-STARK证明系统提供可证明的计算能力。它使开发者可以部署EVM应用,并让用户使用常用工具与这些应用交互。
此外,Kakarot还将提供与Starknet协议的互操作性,为DeFi和GameFi等不同领域的协议提供可组合性。
发展路线
该项目于2022年10月启动,目标是用不到10,000行代码创建一个zkEVM。这一目标在短短六个月内就实现了。测试网计划于2023年夏末发布。
Kakarot zkEVM的路线图分为三个阶段:
Kakarot zkEVM on Starknet:将EVM引入Starknet
Kakarot zkEVM将首先作为内置EVM存在于Starknet的L2中。开发者可以直接在Starknet上部署Solidity智能合约,并使用熟悉的工具。用户体验将与在Polygon、Scroll或以太坊L1上相同。
Kakarot x Madara:L3 zkEVMs
Kakarot和Madara将整合,以启用L3 zkEVMs,甚至L4、L5等。团队可以部署zkEVM应用链,并利用有效性证明在Starknet上结算交易。这种方式可以解耦安全性和去中心化,同时降低成本、提高性能。
Kakarot x Madara:type 1 zkEVM
如果能用Cairo编写以太坊共识规则,并从Pedersen MPT切换到Keccak MPT,Kakarot就可以成为type 1 zkEVM客户端,能够证明L1区块。这取决于以太坊的发展路线,特别是Verge升级。
团队
Kakarot核心团队诞生于里斯本的一次黑客马拉松。目前有40多名贡献者。
主要成员包括:
融资
Kakarot已完成pre-seed轮融资,具体金额未公布。投资方包括Starkware、LambDa,以及天使投资人Vitalik Buterin、Ledger联合创始人Nicolas Bacca和ZAMA联合创始人Rand Hindi。
总结
Kakarot作为Starknet上的EVM实现,可以很好地连接Starknet和以太坊生态。它降低了开发门槛,让以太坊生态项目能够在Starknet上构建,同时保持以太坊的安全性和低成本。
Kakarot的发展与Starknet生态紧密相连。它得到了Vitalik Buterin和StarkWare的支持,这是一个优势。但相比其他zkEVM项目,Kakarot团队规模较小,预算和品牌知名度也较低,这也是目前没有部署为通用zkEVM L2的原因之一。
Kakarot仍处于早期阶段,测试网即将发布。未来的发展值得关注。