KakarotzkEVM是用Cairo编写的一种以太坊虚拟机实现。Cairo是一种与CairoVM相关的图灵完备语言。
CairoVM通过利用多项式和ZK-STARK证明系统实现可证明计算。zkEVM的特点是能够生成可证明的交易,从而产生可证明的区块。Kakarot建立在CairoVM之上,在Kakarot上执行的每一笔交易都是可证明的。
KakarotzkEVM使团队能够构建和部署EVM应用。开发人员可以在Kakarot上部署任何Solidity,就像在以太坊或Polygon上一样。然后,他们的终端用户可以使用他们常用的工具链toolchain与DApp进行交互。
Kakao 旗下区块链子公司 Ground X 成立 GRID 联盟来拓展 NFT 生态用例:7月22日消息,韩国互联网巨头 Kakao 的区块链子公司 Ground X 成立 GRID 联盟,旨在推广和扩展 NFT 生态系统中的用例。
据悉,GRID 联盟包括新韩的银行和信用卡子公司、乐天百货、Kakao Games 和 SK 的教育平台 mySUNI 等约 50 家当地公司。Ground X 将通过在 Kakao 的数字钱包 Klip 上提供二维码认证或 NFT 会员功能等基础设施服务,支持 GRID 中的公司更有效地运营基于 NFT 的服务。(Forkast)[2022/7/22 2:30:37]
最终,Kakarot将提供与原生Starknet协议的互操作性以及协议之间的可组合性,例如,将DeFi中的TVL和GameFi中的用户群相结合。
韩国互联网巨头Kakao公布其基于文本和虚拟世界的双轨元宇宙战略:6月7日消息,韩国互联网巨头Kakao今日公布其基于文本的元宇宙及基于虚拟世界的双轨元宇宙战略。此外,Kakao计划通过提供奖励来增加用户参与度,以此发展Web 3.0市场。(Techm)[2022/6/7 4:08:49]
分形扩容
KakarotzkEVM可以以不同的形式存在,首先,可以作为智能合约部署在StarknetL2之上,从而在Starknet上显示为EVM。
或者,可以将Kakarot集成到堆栈中以部署L3zkEVM。这就是Madara排序器的用武之地。
通过结合Madara和Kakarot,可以创建一个L3zkEVM。堆栈如下:一个Substrate全节点,使用CairoVM作为其执行引擎,以及Kakarot作为智能合约的运行时。
Doge Kaki已于5月10日将在BSC链上提供的初始流动性打入黑洞地址销毁:据最新消息,Doge Kaki已于2021年5月10日将在BSC链上提供的初始流动性469041575.982Cake-LP打入黑洞地址销毁。交易哈希:0xe7932c4c90f0046e7c252888077cae8a1f0328e5398a2984035a1b85ff7136be 。KAKI初始流动性增添10万亿KAKI,占总量的10%。KaKi目前持币地址数超过25000。[2021/5/10 21:45:53]
Kakarot上的交易可以在结算层上得到证明和验证,从而实现EVM兼容的分形扩容。
路线图
第1阶段:Starknet上的KakarotzkEVM——将EVM带到Starknet
Kakao证实将推出区块链平台 否认ICO谣言:韩国互联网巨头Kakao已经证实,它正在建立一个新的区块链子公司,但否认了有关ICO的传言。在周二举行的新闻发布会上,韩国最大的消息应用程序Kakao Talk的运营商说,该公司已经启动了一个新的部门,致力于开发一个以区块链为基础的平台,并计划在年内完成。据韩联社报道,新产品将为应用开发商提供开发基础,并对外开放。根据Kakao的联席ceo Joh Su-yong和Yeo minsoo的说法,该子公司也计划在未来将基于区块链的服务与Kakao现有的互联网产品整合在一起。[2018/3/27]
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版本。
喜欢的铁铁点个赞点个关注,欢迎在评论区提出您的宝贵建议
有问题可以在评论区留言,感谢各位家人们的点赞关注支持。
感谢阅读,我们下期再见!
委托权益证明区块链Kalima已与总部位于巴哈马和迪拜的私人另类融资集团ABODigital达成协议。这一重要的合作伙伴关系涉及向这家法国区块链公司提供1000万美元的承诺.
1900/1/1 0:00:00pepe目前涨幅已经翻倍,总柿值达到9.1亿,柿值排名49,超越CFX,pepe只用20天时间,市值从0干到8亿美金,然围绕PEPEmemecoin的波动性很高.
1900/1/1 0:00:00以太坊和Polygon是加密货币世界中最大的智能合约平台之一。这些项目在以太坊虚拟机上运行,并利用权益证明共识机制来验证交易并向链中添加新区块.
1900/1/1 0:00:00中国负债累累的房地产公司恒大集团已在美国申请破产,引发了对其对全球经济和加密货币影响的担忧。这种情况代表了世界上最大的债务危机之一,并将产生重大后果.
1900/1/1 0:00:001、首先看看ARBOPCFX的FDV,分别是111亿,68亿和16亿,前两个是L2,优势是生态做的好,劣势是FDV太高,后面不拉盘,市值也不断的在增加,慢慢卖币,项目方还是会暴富.
1900/1/1 0:00:00Polygon(MATIC)价格可能会在另一次最终下跌完成整个修正之前启动缓解反弹。MATIC代币是Polygon网络的原生代币,是以太坊区块链的扩展解决方案.
1900/1/1 0:00:00