Kakarot zkEVM是什么?为何得到Vitalik参投_ROT:StarkNet

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

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

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

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

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

1、什么是CairoVM?

美议员:SEC主席拒绝提供相关信息,导致国会错过Terra、FTX等事件调查:金色财经报道,美国国会议员Tom Emmer发推表示,从多个来源收到消息,美国证券交易委员会(SEC)主席Gary Gensler收集加密公司信息,不是有针对性的、有意的或明确的,相反SEC的要求是随意且没有重点的。Gary Gensler拒绝向国会提供要求的信息,导致错过了Terra/Luna、Celsius、Voyager和FTX事件。此前消息,TomEmmer表示,办公室收到举报称,Gary Gensler帮助SBF和FTX通过法律漏洞获得监管垄断地位。[2022/12/10 21:36:02]

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

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

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

2、什么是Cario?

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

A16z首席法务官:监管机构错过了监管 Web3 的核心问题:金色财经报道,A16z首席法务官Jai Ramaswamy在第一天的会议“理性监管 Web3:千载难逢的机会”上发言称,监管机构错过了监管 Web3 的核心问题。Ramaswamy 在提供当今监管环境的背景下解释说,加密货币往往与三个主要监管领域接触:非法金融监管、资本形成和市场完整性以及金融稳定因素。

然而,他警告说,额外协议层的开发显然对建立在当前互联网骨干上的金融服务具有非常深远的影响,并将在全球范围内产生更广泛的影响。这些影响将跨越技术、技术外交、外交关系以及美国经济的形态。我不认为政策制定者和监管机构完全参与其中。由于“多层技术堆栈”的性质越来越多地与金融堆栈融合,因此创新与合规之间的空间出现了紧张局势。[2022/10/24 16:37:12]

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

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

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

声音 | CNBC撰稿人:比特币出现牛市一定程度上是因为人们担心错过投资机会:据ambcrypto消息,CNBC撰稿人、业内经纪人、交易员Jim Iuorio最近表示,比特币出现牛市一定程度上是因为人们担心错过投资机会。由于担心在当前的牛市中错失良机,大量资本正进入虚拟资产市场。[2019/5/29]

3、EVM架构

EVM架构是成熟且定义良好的VM架构,具有:

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

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

4、Kakarot架构

Kakarot基于CairoVM开发,它是:

·EVM字节码解释器

·部署在Starknet上的智能合约

·使用Cario语言

Kakarot支持:

·原样部署EVM智能合约

Kakarot不是:

·区块链

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

声音 | 李笑来:完美“错过”这轮“小阳春”,跟长期为友:李笑来微博称,完美“错过”这轮“小阳春”。该干嘛干嘛,永远是最好的策略。跟长期为友,短期就是陌路。 ????[2019/4/25]

截至2023年5月:

·已实现100%字节码架构

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

在实现全部9个EVM预编译后,Kakarot将成为Type2.5zkEVM。

5、zkEVM的Type分型

Type1zkEVM|完全等效于以太坊

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

优点:

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

缺点:

·计算密集

·证明时间长

举例:

·Scroll

·Taiko

Type2zkEVM|完全等效于EVM

金沙江创投朱啸虎:不进“三点钟区块链”社群 有些风口宁愿错过:近日,各路大佬争相入场“三点钟区块链”社群,金沙江创投朱啸虎朋友圈转发雕爷文章《来,喝了这碗区块链解汤》,文章称,457天后“区块链”这个概念,会臭到就算你刷前后一周的朋友圈,也再没人提起了。他认为,区块链是互联网下的一个子集,而去中心化导致的效率低下,在90%追求效率的领域,其实是发挥不了什么作用的。并发布留言称:“不要拉我进各种3点钟群,有些风口宁愿错过,有些钱宁愿不赚,大家晚节保重。”[2018/2/24]

对以太坊系统进行微小修改让开发更加容易,且证明生成速度更快。

优点:

·支持大多数以太坊dApp

缺点:

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

举例:

·Scroll

Type2.5zkEVM|与EVM等效

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

优点:

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

缺点:

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

·部分dApp不兼容

Type3zkEVM|几乎与EVM等效

移除了那些特别难以实现的特性。

优点:

·更快的证明时间

·更容易的EVM开发

缺点:

·部分dApp需要重写

举例:

·Scroll

·Polygon

Tpye4zkEVM|等效于高级语言

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

优点:

·避免了大量的开销

缺点:

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

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

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

举例:

·zkSync

·Nethermind

6、Kakarot路线图

阶段1|将EVM带到Starknet

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

阶段2|L3zkEVM

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

通过将Kakarot与MadaraStarknet测序器融合为统一的堆栈。

阶段2|zkEVM-Rollup-as-a-Service

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

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

·对EVM环境的访问

·快速的执行

·低gas费:使用数据可用性解决方案

·加密安全性

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

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

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

两全其美:

·具有EVM的效率

·智能合约变得可证明

阶段3|Type1zkEVM

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

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

·从PedersenMerklePatriciaTrie切换到KeccakMPT。

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

7、个人想法

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

高度竞争的ZK领域

竞争对手有:

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

·Optimisticrollup:Optimism、Arbitrum、Base

·不同的zkVM:RISCZero、HyperOracle

产品市场契合度

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

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

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

持续的产品迭代

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

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

·Madara

·数据可用性解决方案

·以太坊路线图:Verge

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

金智博客

[0:15ms0-3:27ms