任何投资决策都需独立判断,本文仅作信息分享,不构成投资建议。
从社区出圈的 Type 2.5 zkEVM
Kakarot 诞生于 2022 年 10 月的 Starknet Hacker House,仅凭 2 个半月就完成 opcode 全指令等价。项目基于 STARK 系图灵完备语言 Cairo,打通了以太坊生态与 Starknet 的“天堑”。OKX Ventures 在本轮种子轮率先出手,为 Kakarot 的后续测试网铺足弹药,也为 Layer-2 扩容方案赛道再添新势力。
五问读懂 Kakarot 的技术卖点
1. 设么是 Type 2.5?
Type-1 到 Type-4 的 zkEVM 分级,由以太坊核心工程师按照 EVM 相容度给出。Type-2.5 属于“高兼容度”+“原生证明系统”的中间形态:保持 以太坊原生用户习惯,同时将剥离后更高效的证明逻辑置于 Cairo 执行环境。
2. Cairo 语言有哪些独特优势?
- STARK 零知识证明:不受 trust-setup 限制,验证速度随机器线性提升。
- 完备库支持:所有链上状态都能被数学化证明,安全模型透明可审计。
- 社区活跃:Starkware 每年投资黑客松、资助计划,为 Cairo 训练开发者。
3. 怎样同时跑成 Layer-2 与 Layer-3?
Kakarot 把 StarkNet 当成 结算与安全层,再将 Cairo 生成的证明传回以太坊,自己则作为 Layer-3 提供应用级扩容。既有 Layer-2 的数据可用性,又获 Layer-3 私有执行场景,被业内称为“乐高叠加”。
4. 下一步升级为 Type-1 意味着什么?
一旦成为 Type-1,任何现有以太坊全节点即可本地生成 STARK 证明,不再依赖 Kakarot 官方中继。理论上所有以太坊应用可零改动迁移,而收益全部回归 L1。
5. 账户抽象如何释放新体验?
借助 Cairo-native AA,用户可用社交恢复、零钱归集、订阅付款等机制,一键去掉私钥恐惧。
投资人视角:OKX Ventures 的三重逻辑
- 技术独家壁垒:Cairo + Starknet 组合,在全球 zk portfolio 形成差异化。
- 生态卡位:Kakarot 与 Starknet、Ethereum 依次靠近,可进一步向 Cosmos、OP Superchain 外溢。
- 合规友好:STARK 证明系统先天透明,更易满足 RegTech 对交易可追溯的刚性需求。
路线图拆解:2024–2025 接下来做什么?
- 2024 Q3:公开测试网启动,支持 Solidity、Vyper 一键迁移。
- 2024 Q4:主网 v1,推出 Type-2.5 到 Type-1 升级选项。
- 2025 上半年:Layer-3 专用市场,引入 GameFi 与 DePIN 超大型应用。
- 2025 下半年:跨链调用模块与账户抽象标准落地,接入 Web3 主流钱包和移动端支付。
👉 想第一时间体验跨世代 zkEVM?点此直达 Kakarot 测试网筹备页
开发者如何快速上车?
- 代码几乎不用改:Kakarot 支持 Remix、Foundry、Hardhat 等主流框架。
- Faucet 即领即用:测试网每天提供 1 ETH 等价水龙头,无需白名单审核。
- 文档中文化:官方已上线全量中文技术指南,助力汉语社区零门槛调用 Cairo。
应用案例速写
- DEX 聚合器:Curve 核心合约不经任何修改,直接迁移,Gas 费用比主网低 85%。
- NFT 批量铸造:一次交易可打包 3,000 枚 NFT,费用 < 0.05 USD。
- 社交登录钱包:通过 AA 将多签 + 社交恢复封装成一行 JavaScript,开发者两小时内可集成 DApp。
👉 升级你的 Layer-3 开发技能,限时预约 Cairo 实战工作坊
常见问题 FAQ
Q1:STARK 与 SNARK 有什么本质差异?
A1:SNARK 需可信设置,证明体积小,STARK 无需设置、证明更大,但验证理论更贴近量子安全。
Q2:主网上线后,预期 TPS 能达到多少?
A2:当前 Starknet 单槽 TPS 可拉到 500+,Kakarot 在 Layer-3 自律 VM 内可达 2,000–5,000 TPS。
Q3:项目代币模型是否已公开?
A3:尚未发布经济模型,团队强调「以开发者与社区优先」,任何空投都会遵循公平治理原则。
Q4:如何参与社区贡献?
A4:日常 PR、文档翻译、Bug Bounty 三种路径皆可,贡献者将在未来空投获得权重加成。
Q5:普通用户需要做什么准备?
A5:只需安装主流浏览器钱包,切换网络至测试网即可参与第二批限量 NFT Mint。
Q6:未来会与 Layer-2 Rollup 直接竞争吗?
A6:Kakarot 自身定位为「补充」而非替代,利用 Starknet 作为结算层实现不同量级性能分配。
完整技术名词速查
- zkEVM:零知识证明驱动的以太坊虚拟机
- STARK:Scalable Transparent Argument of Knowledge 缩写
- Cairo:Starkware 推出的通用证明语言
- Account Abstraction:账户抽象,钱包逻辑可编程化
- Opcode:EVM 最底层指令
关注 Layer-2、Layer-3、starknet、zkEVM、零知识证明 动态,锁定后续更新。