Kakarot zkEVM是什么?为何得到Vitalik参投_BSP:nbs币官网

作者:cookies,风投分析师;翻译:金色财经xiaozou

Kakarot zkEVM是什么?为什么它能得到V神和StarkWare的支持?Kakarot把EVM带到Starknet之上,促进了EVM dApp的扩展。让我们深入了解一下吧!

我们已经启动并进入了超级赛亚人模式。Kakarot Labs已经正式成立并完成了与顶级投资者的pre-seed早期融资。

让我们来展望发展愿景、明确当前地位、期待美好的未来吧。

本文将主要介绍以下内容:1、什么是CairoVM?2、什么是Cairo?3、EVM架构;4、Kakarot架构;5、zkEVM的Type分型;6、Kakarot路线图;7、个人想法。

Kakarot zkEVM是使用Cario语言部署的EVM,通过增强EVM兼容性来扩展Starknet生态系统的可靠性。让我们来一步一步理解。

1、什么是CairoVM?

Kakarot运行在虚拟机CairoVM之上,是Starknet的基础架构。CairoVM的主要特性如下:

新加坡通信公司GoodGang Labs完成200万美元种子轮融资,Kakao Investment参投:5月25日消息,新加坡通信公司GoodGang Labs 完成 200 万美元种子轮融资,Kakao Investment 参投,新资金将用于构建 3D 环境 kiki town,并将推出「GangHouse for Web3」,允许用户使用自己的 NFT 作为媒介进行实时沟通[2023/5/25 10:38:57]

· 将执行表示为多项式方程,以实现可证明的执行。

· 允许所有Starknet交易使用STARK验证。

2、什么是Cario?

Cario是图灵完备的STARK友好的CPU架构。

· 图灵完备:系统能够计算任何可能的计算/程序。

· Stark友好:StarkWare的验证系统。链下计算完整性由证明者证明,由链上验证者验证。

那么,Cario是如何运作的?开发人员可以在CaroVM中使用Cairo编写程序,用高级语言描述statement语句(待证明)。这改善了开发体验,因为开发人员可以利用ZK证明(ZKP)的可扩展性,而无需学习如何编写复杂的电路。

Kakao子公司Crust计划推出面向自由职业者的元宇宙Project Altverse:8月2日消息,韩国互联网巨头Kakao旗下区块链子公司Crust正在建立一个名为Project Altverse的生态系统,并开始招聘相关开发人员。自由职业者可以在该生态系统中制作和分发元宇宙平台上的内容并获得基于加密货币的奖励。

该工作组的开发人员的工作还包括使用加密钱包实现用户体验,因此预计相关的生态系统奖励系统将基于加密货币等区块链生态系统。对此,Kakao相关人士表示,该元宇宙项目计划支持自由职业者的经济活动,具体面向的职业人群还没有确定,目前还在计划阶段。(MTN)

?[2022/8/2 2:53:39]

3、EVM架构

EVM架构是成熟且定义良好的VM(虚拟机)架构,具有:

· 142个操作码:EVM用于执行交易和智能合约(SC)的指令。需要gas费才能执行。

· 9个预编译:内置于以太坊中的智能合约用于处理常见操作。可通过标准gas费调用。

4、Kakarot架构

Kakarot基于CairoVM开发,它是:

· EVM字节码解释器

· 部署在Starknet上的智能合约

韩国AR公司RECON Labs完成440万美元A轮融资,Kakao Ventures等参投:5月23日消息,韩国AR(增强现实)初创公司RECONLabs近日宣布完成440万美元A轮融资,本轮融资由Kakao Brain、Hanwa Techwin、Kore aInvestment Partners、Lotte Ventures、Kakao Ventures、Shinhan Capital和Naver D2SF参投。融资将用于扩大团队并改进其Plic AR平台。该平台允许用户自动将2D图像转换为产品的3D视图,而无需专门的3D建模技能。据悉,RECON Labs将与The Sand box合作构建工具,帮助用户开发3D项目和角色。RECON Labs计划在2023年推出一款3D创作者的应用程序。[2022/5/23 3:36:08]

· 使用Cario语言

Kakarot支持:

· 原样部署EVM智能合约

Kakarot不是:

· 区块链

· 编译器:不将Solidity代码转换为Cairo

截至2023年5月:

· 已实现100%字节码架构(Type 3 zkEVM)

· 9个EVM预编译实现了8个

Minto完成6.6亿日元融资,Kakao Piccoma领投:5月14日消息,日本表情包漫画NFT公司Minto宣布获得Kakao Piccoma领投的6.6亿日元(约合人民币3500万元)投资,三井住友保险资本、瑞穗资本和OLM Ventures(Imagica Group的投资部门)等老股东跟投。

截止目前,Minto公司的融资总金额已达到14.6亿日元。Minto由日本表情包角色公司Quan与漫画公司Wwwaap两家公司合并,主要业务包括内容解决方案、IP(表情包+条漫)和Web3.0新领域业务三部分。Minto已经与区块链元宇宙平台The Sandbox合作,2021年11月推出QuanLAND(现已改名Minto Character Land)。据Minto透露,其NFT在4分钟内实现超过2.5亿日元的销售额。(TheBridge)[2022/5/14 3:16:19]

在实现全部9个EVM预编译后,Kakarot将成为Type 2.5 zkEVM。

5、zkEVM的Type分型

(1)Type 1 zkEVM | 完全等效于以太坊

不改变以太坊系统以支持更容易的证明生成。

Kakao旗下游戏公司更名为“Metabora”,正式进军加密市场:2月9日消息,韩国社交巨头Kakao旗下的游戏公司 Friends Games 昨日宣布将公司名称更改为“Metabora”,并公布了扩展 Bora 生态系统的路线图和合作伙伴关系。Kakao Games CEO Jo Gye-hyun 表示,计划通过 Metabora 推出基于区块链的游戏和娱乐等各种服务。目前,公司正筹备Bora Decentralized Exchange(DEX)和 Non-Fungible Token(NFT)交易所。

此外,在今年下半年,Metabora 还计划建立一个支持游戏公会的 DAO 并鼓励粉丝参与治理和创作。[2022/2/9 9:41:08]

优点:

· 以太坊扩展的终极解决方案

缺点:

· 计算密集

· 证明时间长(需要数小时)

举例:

· Scroll

· Taiko

(2)Type 2 zkEVM | 完全等效于EVM

对以太坊系统进行微小修改(不同的哈希函数)让开发更加容易,且证明生成速度更快。

优点:

· 支持大多数以太坊dApp

· EVM的低效率和不友好性仍然存在

(3)Type 2.5 zkEVM | 与EVM等效(但gas费除外)

增加了EVM中难以使用ZK证明的特定操作的gas成本。

· 比更广泛的EVM变更风险更小

· 降低了开发工具的兼容性

· 部分dApp不兼容

(4)Type 3 zkEVM | 几乎与EVM等效

移除了那些特别难以实现的特性(例如预编译)。

· 更快的证明时间

· 更容易的EVM开发

· 部分dApp需要重写

· Polygon

(5)Tpye 4 zkEVM | 等效于高级语言

智能合约源代码(高级语言)编译为ZK-SNARK友好语言。

· 避免了大量的开销

· 合约地址可能不同于EVM中的地址

· 可能不支持手写EVM字节码

· 调试基础设施不能被继承,因为它们运行在EVM字节码上。

· zkSync

· Nethermind

6、Kakarot路线图

(1)阶段1 | 将EVM带到Starknet

Kakarot最初将作为一个enshrined EVM存于Starknet中。开发体验和用户体验(UX)将与Polygon、Scroll或以太坊相同。

(2)阶段2 | L3 zkEVM

通过Kakarot部署zkEVM应用链,允许它们利用有效性证明在Starknet上进行交易结算。

通过将Kakarot与Madara Starknet测序器(基于substrate的Starknet测序器)融合为统一的堆栈。

(3)阶段2 | zkEVM-Rollup-as-a-Service

只需一次点击,rollup就会收到:

· 部署在Starknet上的特定应用zkEVM

· 对EVM环境的访问

· 快速的执行

· 低gas费:使用数据可用性解决方案(Celestia、EigenLayer)

· 加密安全性

zkEVM-Rollup-as-a-Service的优点:

· 通过使用Kakarot在CairoVM中运行Solidity智能合约

·任何部署在EVM上的Solidity智能合约都可以在Starknet上运行,而无需更改代码

两全其美:

· 具有EVM的效率

· 智能合约变得可证明

(4)阶段3 | Type 1 zkEVM

要进入该阶段,Kakarot必须要:

· 在Madara和Kakarot的全节点内使用Cairo编写以太坊共识规则,以证明L1共识。

· 从Pedersen Merkle Patricia Trie(MPT)切换到Keccak MPT。

然而,阶段3具有不确定性。这取决于以太坊路线图:Verge。目前,以一种可证明且低成本的方式实现Keccak MPT是zkEVM兼容性的主要阻碍。在Verge之后,Keccak可能会被Poseidon取代,成为以太坊的首选哈希函数。

7、个人想法

为Starknet带来EVM兼容性无疑是一个巨大的进步,但是关于Kakarot的成功仍存在一些顾虑。

(1)高度竞争的ZK领域

竞争对手有:

· 具有不同证明系统(SNARK)的ZK-rollup:Scroll、zkSync、Polygon、Taiko、Linea。

· Optimistic rollup:Optimism、Arbitrum、Base

· 不同的zkVM:RISC Zero、Hyper Oracle

(2)产品市场契合度(PMF)

总的来说,rollup-as-a-service是一个有待验证的论题,有两个关键方面需要考虑:

· 需要此服务的rollup有多少?

· rollup是否更愿意在内部建设主权和可定制性?

(3)持续的产品迭代

Kakarot正在开发建设一个技术高度复杂的产品,并且可能需要不断的迭代才能获得成功。

它还依赖于多个动态组成部分,包括:

· Madara

· 数据可用性解决方案

· 以太坊路线图:Verge

SevenUp DAO

金色图览

LK Venture

金色荐读

区块律动BlockBeats

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

水星链

[0:0ms0-1:403ms