KakarotzkEVM是用Cairo编写的一种以太坊虚拟机实现。Cairo是一种与CairoVM相关的图灵完备语言。
CairoVM通过利用多项式和ZK-STARK证明系统实现可证明计算。zkEVM的特点是能够生成可证明的交易,从而产生可证明的区块。Kakarot建立在CairoVM之上,在Kakarot上执行的每一笔交易都是可证明的。
KakarotzkEVM使团队能够构建和部署EVM应用。开发人员可以在Kakarot上部署任何Solidity,就像在以太坊或Polygon上一样。然后,他们的终端用户可以使用他们常用的工具链toolchain与DApp进行交互。
韩国AR公司RECON Labs完成440万美元A轮融资,Kakao Ventures等参投:5月23日消息,韩国AR(增强现实)初创公司RECONLabs近日宣布完成440万美元A轮融资,本轮融资由Kakao Brain、Hanwa Techwin、Kore aInvestment Partners、Lotte Ventures、Kakao Ventures、Shinhan Capital和Naver D2SF参投。融资将用于扩大团队并改进其Plic AR平台。该平台允许用户自动将2D图像转换为产品的3D视图,而无需专门的3D建模技能。据悉,RECON Labs将与The Sand box合作构建工具,帮助用户开发3D项目和角色。RECON Labs计划在2023年推出一款3D创作者的应用程序。[2022/5/23 3:36:08]
最终,Kakarot将提供与原生Starknet协议的互操作性以及协议之间的可组合性,例如,将DeFi中的TVL和GameFi中的用户群相结合。
KAKA NFT WORLD正式开启项目社区自主化:据官方消息,元宇宙IP聚合平台KAKA NFT WORLD社区自治(DAO)功能已上线一段时间,上线期间获得多个项目提案,其中包含“卡牌的融合和分解功能”、“卡牌的质押挖矿功能”、“盲盒玩法新增”等多个提案进行投票。
?据悉,购买KAKA IP系列卡牌数量超过50张的用户即可拥有发起提案资格,拥有任意一张IP卡牌的用户即可参与投票,用户投票选择达到IP系列卡牌总数占比的51%的投票,即通过此次提案,官方将正式接纳用户提案投票述求,进行项目开展。
?此外,KAKA NFT WORLD后续将在Telegram,Twitter,微博,Discord等多个平台建立全球社区,实现社区的跨越式发展。[2021/10/11 20:20:53]
分形扩容
?DODONFT平台正式开启“KAKA独家漫威限量典藏版NFT”盲盒售卖:据官方消息,5月28日21:00DODONFT平台正式开启“KAKA独家漫威限量典藏版NFT”盲盒售卖。此次面向全球拍售的是KAKANFTWORLD平台游戏,获得的漫威授权的高等级限定版NFT卡牌,开售2小时售出价值240000美金的NFT。KAKANFT在售卡牌均支持官方智能合约回购,官方托底保障流动性深度。[2021/5/28 22:53:43]
KakarotzkEVM可以以不同的形式存在,首先,可以作为智能合约部署在StarknetL2之上,从而在Starknet上显示为EVM。
或者,可以将Kakarot集成到堆栈中以部署L3zkEVM。这就是Madara排序器的用武之地。
动态 | Kakao已推出Klaytn的区块链测试网络:据coindesk消息,Ground X是韩国消息传递巨头Kakao的区块链开发部门,已经推出了其专有区块链网络Klaytn的测试网络(testnet)。该公司表示,该网络现已向10个受邀合作伙伴提供。它还发布了一份白皮书,提供该平台的详细信息,旨在为分散的应用程序或dapps奠定技术基础。[2018/10/8]
通过结合Madara和Kakarot,可以创建一个L3zkEVM。堆栈如下:一个Substrate全节点,使用CairoVM作为其执行引擎,以及Kakarot作为智能合约的运行时。
Kakarot上的交易可以在结算层上得到证明和验证,从而实现EVM兼容的分形扩容。
路线图
第1阶段:Starknet上的KakarotzkEVM——将EVM带到Starknet
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版本。
喜欢的铁铁点个赞点个关注,欢迎在评论区提出您的宝贵建议
有问题可以在评论区留言,感谢各位家人们的点赞关注支持。
感谢阅读,我们下期再见!
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。