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？
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]
Kakarot运行在虚拟机CairoVM之上，是Starknet的基础架构。CairoVM的主要特性如下：
·将执行表示为多项式方程，以实现可证明的执行。
·允许所有Starknet交易使用STARK验证。
韩国版支付宝Kakao Pay上市首日大涨114%，市值达到212亿美元:11月3日消息，韩国IT巨头Kakao Corp旗下的金融科技部门Kakao Pay于今日登陆KOSPI主板，收盘上涨114%，至163.3美元，市值达到212亿美元。盘中一度飙升155.6%至194.6美元。蚂蚁金服是其第二大股东。Kakao Pay将利用IPO收益加速全球扩张，包括在东南亚、欧洲和中国的扩张。并计划扩展其线下支付基础设施，运营先买后付（BNPL）服务，设立数字非人寿保险子公司，以及推出移动交易系统（MTS）。（TechCrunch）[2021/11/3 21:21:47]
2、什么是Cario？
Cario是图灵完备的STARK友好的CPU架构。
·图灵完备：系统能够计算任何可能的计算/程序。
·Stark友好：StarkWare的验证系统。链下计算完整性由证明者证明，由链上验证者验证。
那么，Cario是如何运作的？开发人员可以在CaroVM中使用Cairo编写程序，用高级语言描述statement语句。这改善了开发体验，因为开发人员可以利用ZK证明的可扩展性，而无需学习如何编写复杂的电路。
韩国央行与韩国Kakao签署数字货币测试研究协议:市场消息：韩国央行与韩国互联网公司Kakao签署数字货币测试研究协议。此前报道，韩国央行宣布，科技巨头Kakao公司（KakaoCorp.）的区块链子公司GroundX将成为其数字货币开发试点项目合作伙伴的首选竞标者。（金十）[2021/7/28 1:20:28]
3、EVM架构
EVM架构是成熟且定义良好的VM架构，具有：
·142个操作码：EVM用于执行交易和智能合约的指令。需要gas费才能执行。
·9个预编译：内置于以太坊中的智能合约用于处理常见操作。可通过标准gas费调用。
4、Kakarot架构
Kakarot基于CairoVM开发，它是：
·EVM字节码解释器
·部署在Starknet上的智能合约
·使用Cario语言
Kakarot支持：
·原样部署EVM智能合约
Kakarot不是：
·区块链
·编译器：不将Solidity代码转换为Cairo
Kakao加密钱包Klip上线基于NFT的数字证书:8月15日消息，韩国聊天应用Kakao加密钱包Klip上线基于NFT的数字证书。具体而言，Angel League贸易公司将从Kakao的加密钱包Klip获得基于NFT的数字证书的支持。非上市股票投资协会成员资格证明将永久存储在聊天应用程序Klaytn的区块链平台中。用户开通基于NFC的数字卡后，这些会员就可以在平台上进行交易。（Hanguk Kyungjae）[2020/8/16]
截至2023年5月：
·已实现100%字节码架构
·9个EVM预编译实现了8个
在实现全部9个EVM预编译后，Kakarot将成为Type2.5zkEVM。
5、zkEVM的Type分型
Type1zkEVM|完全等效于以太坊
不改变以太坊系统以支持更容易的证明生成。
优点：
·以太坊扩展的终极解决方案
缺点：
动态 | Kakao去年第四季度在区块链等新技术上花费5750万美元:据cointelegraph报道，根据韩国互联网巨头和消息应用运营商Kakao Corp发布的2018年第四季度报告，Kakao的综合营业收入为43亿韩元（380万美元）。与此同时，与区块链和人工智能等新业务相关的运营费用为650亿韩元（5750万美元），并且导致了第四季度的净亏损。Kakao执行副总裁Bae Jae-hyun证实，尽管近期亏损，该公司仍将继续投资新技术。[2019/2/15]
·计算密集
·证明时间长
举例：
·Scroll
·Taiko
Type2zkEVM|完全等效于EVM
对以太坊系统进行微小修改让开发更加容易，且证明生成速度更快。
优点:
·支持大多数以太坊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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。