以太坊:Kakarot zkEVM是什么？为何得到Vitalik参投

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？

AIEnglish正式宣布进军韩国市场，与KakaoTalk web3用户社群达成合作:5月8日消息，AIEnglish正式宣布进军韩国市场，与Kakao Talkweb3用户社群达成合作，专门为海外非英语国家用户推出英语学习频道，并推出超级奖学金计划2.0。[2023/5/8 14:49:37]

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

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

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

2、什么是Cario？

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

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

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

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

Kakao Piccoma收购日本加密平台Sakura Exchange Bitcoin?:金色财经报道，韩国移动应用运营商Kakao Corporation的日本子公司Kakao Piccoma收购了加密货币平台Sakura Exchange Bitcoin的控股权。通过此举，Kakao打算在其未来的运营中利用区块链技术和Web3。

据Business Korea报告，Kakao Piccoma购买了Sakura Exchange Bitcoin超过50%的股份，成为其最大的股东。尽管如此，交易的具体规模并没有披露。这项交易应该有助于Kakao Piccoma将加密货币和区块链服务应用于其网络漫画平台。该公司还旨在进一步参与到Web3领域。[2022/4/6 14:07:13]

3、EVM架构

EVM架构是成熟且定义良好的VM架构，具有：

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

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

4、Kakarot架构

Kakarot基于CairoVM开发，它是：

Naver、Kakao和LG集团将参与竞标韩国CBDC试点项目:随着韩国加快CBDC的实施步伐，韩国央行将于今年8月开始试行其数字货币原型。而韩国的三大科技巨头似乎也想参与进来。据Money Today报道，韩国最大的搜索引擎Naver和国内聊天应用巨头Kakao以及LG集团都将参与竞标。（CryptoNews0）[2021/5/26 22:44:42]

·EVM字节码解释器

·部署在Starknet上的智能合约

·使用Cario语言

Kakarot支持：

·原样部署EVM智能合约

Kakarot不是：

·区块链

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

截至2023年5月：

·已实现100%字节码架构

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

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

Kakao加密钱包Klip上线基于NFT的数字证书:8月15日消息，韩国聊天应用Kakao加密钱包Klip上线基于NFT的数字证书。具体而言，Angel League贸易公司将从Kakao的加密钱包Klip获得基于NFT的数字证书的支持。非上市股票投资协会成员资格证明将永久存储在聊天应用程序Klaytn的区块链平台中。用户开通基于NFC的数字卡后，这些会员就可以在平台上进行交易。（Hanguk Kyungjae）[2020/8/16]

5、zkEVM的Type分型

Type1zkEVM|完全等效于以太坊

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

优点：

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

缺点：

·计算密集

·证明时间长

举例：

·Scroll

·Taiko

Type2zkEVM|完全等效于EVM

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

优点:

·支持大多数以太坊dApp

动态 | Kakao旗下区块链平台Klaytn6月底将正式公开:据韩联社3月20日报道，3月19日，韩国互联网公司Kakao集团的子公司Ground X在Kakao办公大楼召开了事业说明会，公开Kakao旗下区块链平台Klaytn将于6月底正式亮相。Ground X韩在善代表对于通讯应用KakaoTalk上安装加密货币钱包的方案表示，至于什么时候会以什么形式出示，还在讨论中，目前正在准备和企划中。他还就在Klaytn流通的加密货币表示，ICO也是一种选择，都在考虑是否要打开。但并不是通过出售来提高销售业绩的结构，而是为提高服务打下基础。[2019/3/20]

缺点：

·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

标签：以太坊PolygonVerge以太坊币是什么币Polygon币是什么币Verge币是什么币

莱特币最新价格热门资讯