Cover photo

Starknet明星项目Kakarot zkEVM

Kakarot zkEVM是在Cairo实现的以太坊虚拟机(EVM)。 它利用STARK进行可证明的交易和区块,确保透明度和安全性。 由于有了有效性证明,Kakarot可以继承以太坊L1的安全性,同时降低成本。

Kakarot zkEVM使团队能够构建和部署EVM应用程序。 开发人员可以在Kakarot上部署任何Solidity(或任何EVM兼容语言),就像在以太坊或Polygon上一样。然后,他们的最终用户可以使用他们常用的工具链(小狐狸钱包、钱包连接等)与 dApp 进行交互。

Kakarot zkEVM可以以不同的形式存在。首先,它可以作为智能合约部署在Starknet L2之上,从而在Starknet上公开EVM(以太坊RPC,以太坊交易等)。

或者,可以将Kakarot集成到堆栈中以部署L3 zkEVM。

通过结合Madara(Starknet全节点)和Kakarot(EVM运行时),可以创建一个L3 zkEVM。堆栈如下:一个基板全节点,使用 CairoVM 作为其执行引擎,以及 Kakarot 作为智能合约的运行时。Kakarot上的交易可以在结算层上得到证明和验证,从而实现EVM兼容的分形缩放。

正如Kakarot的核心开发人员Johann所说:“使用无信任的计算,你可以在不失去去中心化情节的情况下改变可能的事情。”

第一阶段:Starknet上的Kakarot zkEVM

Kakarot将作为EVM存在于Starknet L2中。 开发人员可以直接在Starknet上部署他们的Solidity合同,使用他们喜欢的工具链,如Foundry或Hardhat。最终用户可以享受他们日常的体验(比如使用Metamask)。

第一阶段的目标是将EVM引入Starknet,使开发人员能够无缝构建和部署EVM应用程序。它为一系列全新的可能性打开了大门,并扩展了Starknet生态系统。

第2阶段:Kakarot x Madara-L3 zkEVM

这种集成将使团队能够部署zkEVM应用链,并使用有效性证明在Starknet上结算交易。 在这个阶段,Kakarot和MadaraStarknet 联合力量创建第3层zkeVM。

作为在另一层上计算的结果,gas成本(渐进地)比在L2上呈指数级低,并且性能(TPS)更高。汇总的可伸缩性会叠加和倍增。

第3阶段:Kakarot x Madara-1型zkEVM

Kakarot和Madara也可以结合使用,以实现1型zkeVM。如果能够: -在Madara x Kakarot完整节点内的Cairo编写以太坊共识规则 -从Pedersen Merkle Patricia Trie(MPT)切换到Keccak MPT。

Kakarot zkEVM在推特中说明了Kakarot Labs 已正式成立,并结束了与顶级投资者的种子轮融资。

现在作为项目早期,可以先加入Kakarot zkEVM的discord中,帮助项目更快的成长。

post image