币灵灵财经 2024-11-02 08:23 1317
欧易交易所
软件大小:268.26MB
软件版本:v3.4.2
Kakarot zkEVM 是用 Cairo 编写的一种以太坊虚拟机(EVM)实现。Cairo 是一种与 CairoVM 相关的图灵完备语言。
CairoVM 通过利用多项式(polynomials)和 ZK-STARK 证明系统实现可证明计算。zkEVM 的特点是能够生成可证明的交易,从而产生可证明的区块。Kakarot 建立在 CairoVM 之上,在 Kakarot 上执行的每一笔交易都是可证明的。
Kakarot zkEVM 使团队能够构建和部署 EVM 应用。开发人员可以在 Kakarot 上部署任何 Solidity(或任何 EVM 兼容语言),就像在以太坊或 Polygon 上一样。然后,他们的终端用户可以使用他们常用的工具链 toolchain(小狐狸钱包、钱包连接等)与 DApp 进行交互。
Kakarot zkEVM 可以以不同的形式存在,首先,可以作为智能合约部署在 Starknet L2 之上,从而在 Starknet 上显示为(expose)EVM(以太坊 RPC、以太坊交易等)。
通过结合 Madara(Starknet 全节点)和 Kakarot(EVM 运行时),可以创建一个 L3 zkEVM。堆栈如下:一个 Substrate 全节点,使用 CairoVM 作为其执行引擎,以及 Kakarot 作为智能合约的运行时(runtime)。
Kakarot 上的交易可以在结算层上得到证明和验证,从而实现 EVM 兼容的分形扩容。
Kakarot 将首先作为载入的 EVM 存在于 Starknet L2 中,这将使开发人员能够使用他们熟悉的工具箱(Foundry、Hardhat、Wagmi 等)直接在 Starknet 上部署他们的 Solidity(或任何 EVM 兼容语言)智能合约。
Kakarot 上的开发人员和用户体验将与 Polygon、Scroll 或以太坊 L1 完全相同。
第 2 阶段:Kakarot x Madara——L3 zkEVMKakarot 和 Madara 将合并到一个统一的堆栈中,以支持 L3 zkEVM,以及 L 4、L 5 等。团队将能够部署他们的 zkEVM 应用链,并利用有效性证明在 Starknet 上结算交易。
第 3 阶段:Kakarot x Madara——type 1 zkEVMKakarot 和 Madara 也可以组合在一起,启用 type 1 zkEVM。
Madara 使 Kakarot 链能够利用 Substrate 消息传递协议进行跨 Rollup 通信。
Substrate 的模块化使 Kakarot 链能够使用其共识协议进行创新。
Substrate 的无分叉 runtime 升级使 Kakarot 链能够在没有硬分叉的情况下升级其 EVM 版本。
热门文章
为华为手机提供摄像头模组?欧菲光董事长回应
萨尔瓦多比特币浮盈8300万美元!Tim Draper:将成最富裕国家之一
大模型独角兽“智谱 AI”正以200亿元估值进行新一轮融资,此前阿里腾讯等已投资25亿
跨境理财通2.0正式起航 个人投资者额度提高到300万元
9月8日涨停复盘:捷荣技术8天7板 华映科技7天6板
又一城缩减住宅限购范围!已有7个省会城市全面取消限购
Voyager赔偿用户需再等!清算计划修正版待法院批准才能分配代币
5.24 是多还是空 我们该如何抉择?
3年内禁止参加军队采购!奥维通信围标串标被罚 影响几何?
未来健康获罗斯柴尔德家族1亿美金投资,与国际NMN医药集团合作打造全球首创NMN期货产品