链资讯 链资讯
Ctrl+D收藏链资讯
首页 > XMR > 正文

KAR:Kakarot 三阶段路线图:将如何赋能 Starknet 和以太坊生态_AKA

作者:

时间:

KakarotzkEVM是用Cairo编写的一种以太坊虚拟机实现。Cairo是一种与CairoVM相关的图灵完备语言。

CairoVM通过利用多项式和ZK-STARK证明系统实现可证明计算。zkEVM的特点是能够生成可证明的交易,从而产生可证明的区块。Kakarot建立在CairoVM之上,在Kakarot上执行的每一笔交易都是可证明的。

KakarotzkEVM使团队能够构建和部署EVM应用。开发人员可以在Kakarot上部署任何Solidity,就像在以太坊或Polygon上一样。然后,他们的终端用户可以使用他们常用的工具链toolchain与DApp进行交互。

最终,Kakarot将提供与原生Starknet协议的互操作性以及协议之间的可组合性,例如,将DeFi中的TVL和GameFi中的用户群相结合。

分形扩容

KakarotzkEVM可以以不同的形式存在,首先,可以作为智能合约部署在StarknetL2之上,从而在Starknet上显示为EVM。

或者,可以将Kakarot集成到堆栈中以部署L3zkEVM。这就是Madara排序器的用武之地。

通过结合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版本。

喜欢的铁铁点个赞点个关注,欢迎在评论区提出您的宝贵建议

有问题可以在评论区留言,感谢各位家人们的点赞关注支持。

感谢阅读,我们下期再见!

标签:KARAKAROTKAKkarate币价格SABAKAINU币MoonLift ProtocolKAKASHI币

XMR热门资讯
XLM:BTC在30,000美元水平建立强劲支撑,BTC下一步将走向何方?_比特币价格

作为领先的加密货币,比特币一直在获得动力,因为它在30,000美元建立了强大的支撑位。行业专家最近的见解为比特币的未来增添了有趣的视角.

LTC:技术面显示LTC在减半前可能达到109美元_加密货币一览表

LTC1小时图表上的下降楔形形态在减半前23天仍在发挥作用。截至发稿时,LTC在价格下跌超过3%后价值93.32美元。除了一小时图表上的下降楔形之外,LTC日线图表上还出现了一条积极的趋势线.

LTC:美国证交会(SEC)如何判定某个代币是否属于证券范畴XRP?_ripple币问题

根据“豪威测试”对一些特定的加密货币进行了定性,豪威测试是一个用于确定某项资产是否构成证券的测试。主要考察四个要素:投资、期待利润、共同企业和第三方的努力.

KAR:美国对稳定币U出手,BTC绑定美元,ETH、DOGE、LTC、FIL 怎么看?_AKA

Billions项目组 美国先对稳定币出手了,新法案规定,无论任何u的发行,都要经过美国批准,并且需要储备对应的美元、美债和银行储备金.

MATIC:MATIC价格一天内下跌 9%——接下来它会走向何方?_MAT

Polygon(MATIC)价格可能会在另一次最终下跌完成整个修正之前启动缓解反弹。MATIC代币是Polygon网络的原生代币,是以太坊区块链的扩展解决方案.

MATIC:尽管美国面临监管压力,Polygon (MATIC) 仍看到鲸鱼购买量激增_Ninneko (Mata)

区块链可扩展性平台Polygon(MATIC)发现自己处于负面情绪的控制之下,这为其价格强劲复苏的前景蒙上阴影。加密货币市场一直是一个动荡的领域,容易出现情绪突然变化,MATIC也不例外.