KakarotzkEVM是用Cairo编写的一种以太坊虚拟机实现。Cairo是一种与CairoVM相关的图灵完备语言。
CairoVM通过利用多项式和ZK-STARK证明系统实现可证明计算。zkEVM的特点是能够生成可证明的交易，从而产生可证明的区块。Kakarot建立在CairoVM之上，在Kakarot上执行的每一笔交易都是可证明的。
KakarotzkEVM使团队能够构建和部署EVM应用。开发人员可以在Kakarot上部署任何Solidity，就像在以太坊或Polygon上一样。然后，他们的终端用户可以使用他们常用的工具链toolchain与DApp进行交互。
韩国金融监管机构搜查Kakao银行创始人的办公室:金色财经报道，据韩国广播公司电视台（KBS）：韩国金融监管机构搜查Kakao银行创始人的办公室。[2023/8/10 16:17:32]
最终，Kakarot将提供与原生Starknet协议的互操作性以及协议之间的可组合性，例如，将DeFi中的TVL和GameFi中的用户群相结合。
分形扩容
KakarotzkEVM可以以不同的形式存在，首先，可以作为智能合约部署在StarknetL2之上，从而在Starknet上显示为EVM。
或者，可以将Kakarot集成到堆栈中以部署L3zkEVM。这就是Madara排序器的用武之地。
韩国央行与韩国Kakao签署数字货币测试研究协议:市场消息：韩国央行与韩国互联网公司Kakao签署数字货币测试研究协议。此前报道，韩国央行宣布，科技巨头Kakao公司（KakaoCorp.）的区块链子公司GroundX将成为其数字货币开发试点项目合作伙伴的首选竞标者。（金十）[2021/7/28 1:20:28]
通过结合Madara和Kakarot，可以创建一个L3zkEVM。堆栈如下：一个Substrate全节点，使用CairoVM作为其执行引擎，以及Kakarot作为智能合约的运行时。
Kakarot上的交易可以在结算层上得到证明和验证，从而实现EVM兼容的分形扩容。
路线图
动态 | 韩国互联网银行Kakao Bank计划今年底上市 腾讯为第二大股东:韩国互联网银行Kakao Bank的一位高管近期表示，公司准备在今年年底前在该国股市上市。 Kakao Bank是由韩国投资控股公司和韩国互联网巨头Kakao联合推出的韩国互联网银行，为继K Bank之后韩国的第二家纯互联网银行。该互联网银行的股东包括韩国投资金融控股公司、腾讯、国民银行、易趣等9家公司，资本金为3千亿韩元。其中，腾讯为第二大股东。值得注意的是，2019年，Kakao Bank开始积极布局区块链，目前成立了Ground X公司。Ground X公司负责开发和运营Kakao的公共区块链平台Klaytn。（IPO早知道）[2020/1/21]
第1阶段：Starknet上的KakarotzkEVM——将EVM带到Starknet
韩国FSC主席：Kakao在海外ICO 可能违反现行加密货币规定:据Bitcoin News,韩国金融服务委员会（FSC）主席Choi Jong-ku本周在首尔政府大楼举行的新闻发布会表示移动社交巨头Kakao计划利用在国外进行ICO以筹集资金的行为可能违反现行加密货币规定。韩国金融日报报道，尽管有媒体报道称Kakao及Kakao Pay计划通过海外ICO筹集资金，但金融机构尚未对此作出证实。Choi也强调目前“没有资金得到证实”。韩国法律并不禁止海外ICO，然而该行为很有可能会违反现存针对加密货币的监管条例。出于对高风险的评估，保护投资者等目的，韩国政府对ICO持反对立场“。[2018/3/17]
Kakarot将首先作为载入的EVM存在于StarknetL2中，这将使开发人员能够使用他们熟悉的工具箱直接在Starknet上部署他们的Solidity智能合约。
然后，他们的最终用户将能够使用他们常用的工具链与他们的DApp进行交互。
Kakarot上的开发人员和用户体验将与Polygon、Scroll或以太坊L1完全相同。
第2阶段：KakarotxMadara——L3zkEVM
Kakarot和Madara将合并到一个统一的堆栈中，以支持L3zkEVM，以及L4、L5等。团队将能够部署他们的zkEVM应用链，并利用有效性证明在Starknet上结算交易。
为什么是L3？为什么是可证明性？
可证明性可实现以下功能：链下计算，或Layer上计算、链上验证。
利用有效性证明的L3有一个有趣但被低估的属性：解耦安全性和去中心化的能力。用户能够从以太坊L1的安全性中受益，而无需相同级别的去中心化。
由于在另一层进行计算，Gas成本比L2低得多，性能也会更高。L2已经比L1便宜得多。Rollup的扩展性会堆叠和成倍增加。
为了进一步降低Gas成本，证明验证和数据可用性可以分开。StarknetL2可以仅用作证明验证层，而新的数据可用性解决方案可用于发布交易数据。
用户可以选择加入任一选项，具体取决于其安全要求。在Starknet上发布证明和交易数据是更安全的选择，而使用DA解决方案发布交易数据是更具成本效益的选择。
第3阶段：KakarotxMadara——type1zkEVM
Kakarot和Madara也可以组合在一起，启用type1zkEVM。
在MadaraxKakarot全节点内用Cairo编写以太坊共识规则，从而能够证明L1共识。
从PedersenMerklePatriciaTrie(MPT)切换到KeccakMPT。
然后，Kakarot将成为type1zkEVM，能够证明L1区块。这是一个更高级的用例，取决于以太坊的路线图。在Verge之后，keccak可能会被poseidon取代，成为以太坊选择的哈希函数。这将有助于zkEVM团队成为type1，因为zkEVM的主要兼容性障碍是存储布局，即，以可证明且合理便宜的方式实施KeccakMPT。
其他研究主题
Madara使Kakarot链能够利用Substrate消息传递协议进行跨Rollup通信。
Substrate的模块化使Kakarot链能够使用其共识协议进行创新。
Substrate的无分叉runtime升级使Kakarot链能够在没有硬分叉的情况下升级其EVM版本。
喜欢的铁铁点个赞点个关注，欢迎在评论区提出您的宝贵建议
有问题可以在评论区留言，感谢各位家人们的点赞关注支持。
感谢阅读，我们下期再见！
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。