🎉【Gate 3000万纪念】晒出我的Gate时刻,解锁限量好礼!
Gate用户突破3000万!这不仅是数字,更是我们共同的故事。
还记得第一次开通账号的激动,抢购成功的喜悦,或陪伴你的Gate周边吗?
📸 参与 #我的Gate时刻# ,在Gate广场晒出你的故事,一起见证下一个3000万!
✅ 参与方式:
1️⃣ 带话题 #我的Gate时刻# ,发布包含Gate元素的照片或视频
2️⃣ 搭配你的Gate故事、祝福或感言更佳
3️⃣ 分享至Twitter(X)可参与浏览量前10额外奖励
推特回链请填表单:https://www.gate.com/questionnaire/6872
🎁 独家奖励:
🏆 创意大奖(3名):Gate × F1红牛联名赛车模型一辆
👕 共创纪念奖(10名): 国际米兰同款球员卫衣
🥇 参与奖(50名):Gate 品牌抱枕
📣 分享奖(10名):Twitter前10浏览量,送Gate × 国米小夜灯!
*海外用户红牛联名赛车折合为 $200 合约体验券,国米同款球衣折合为 $50 合约体验券,国米小夜灯折合为 $30 合约体验券,品牌抱枕折合为 $20 合约体验券发放
🧠 创意提示:不限元素内容风格,晒图带有如Gate logo、Gate色彩、周边产品、GT图案、活动纪念品、活动现场图等均可参与!
活动截止于7月25日 24:00 UTC+8
3
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仍处于早期阶段,测试网即将发布。未来的发展值得关注。