全球数字财富领导者

测试网即将发布 一文看懂Kakarot zkEVM

2024-02-29 13:15:55
金色财经
金色财经
关注
0
0
获赞
粉丝
喜欢 0 0收藏举报
— 分享 —
摘要:本文将探讨Kakarot的与众不同之处,它如何提供最简单且最经得起未来考验的架构,以及为何Kakarot对最终用户和开发人员很重要。

作者:Elias Tazartes,Kakarot zkEVM联合创始人兼CEO;翻译:金色财经xiaozou

Kakarot zkEVM即将进入测试网发布,我们欲重申一下我们的愿景:为什么rollup领域还需要另一个zkEVM?

本文将探讨Kakarot的与众不同之处,它如何提供最简单且最经得起未来考验的架构,以及为何Kakarot对最终用户和开发人员很重要,借此来回答这个问题。

颠覆性的EVM建设者扩展了用户体验设计空间,他们将在Kakarot看到一个热情友好的环境。

1Kakarot简介

Kakarot是使用Cairo构建的zkEVM,Cairo语言是为Starknet和所有StarknetOS链(也称为CairoVM链或Starknet应用链)提供支持的可验证语言。Kakarot是一个与以太坊兼容的zkRollup,其目标是随着时间的推移实现无妥协的完全等效。除了兼容性之外,Kakarot还努力推动L2空间的更多创新,并为EVM增加诸如原生帐户抽象之类的新功能。Kakarot的驱动精神是证明、扩展和创新。

2Kakarot愿景

本文,我们将介绍是什么使Kakarot与众不同,以及为什么它对最终用户和建设者很重要。经过以太坊生态系统多年的发展,我们形成了三个坚定的信念,我们希望通过Kakarot来解决问题,实现愿景。

  • TPS超过一定的阈值就不重要了。用户想要一个与web2应用程序和快速的web3 dApp相当的响应水平。换句话说,用户想要亚秒级的交易速度。这通常意味着想要达到1万TPS还需要等上几年(我们仍然需要一起解决状态增长问题)。

  • 交易成本是主要的采用障碍。正如Vitalik在一篇博文中所说的那样:“我认为导致这种转变(web3开放性降低)的罪魁祸首是交易费用的上涨。”交易成本最终应该降到一分钱以下,才能让人们自由地进行实验和创新。

  • 大规模采用的另一个主要障碍是用户体验。在Kakarot,我们相信web3用户体验的现状需要大大改善。例如,我们的目标是为那些不想管理助记词的人,或者那些寻求大多数dApp都可实现一键操作体验(即多调用)的人提供另一种选择。

将这三点进行总结,Kakarot可以形成其对用户的承诺,以及它在当前以太坊rollup竞争中的地位:

在提供低成本快速交易的同时,Kakarot旨在引领以基于账户抽象(多调用、secure enclave signer等)和快速功能发布(例如,先于大多数同类的EIP)的以用户为中心的创新。

3Kakarot设计:密码学和工程学的必然分离

从某种意义上说,Kakarot的架构是必然的,因为它是基于第一性原理创建的。Kakarot的核心是使用高级语言Cairo构建的。这使得Kakarot成为唯一真正将密码学和工程相分离的zkEVM,密码学和工程分别对应zkEVM中的“zk”和“EVM”(除了目前处于研究阶段的zeth和SP1的Reth之外)。

这种分离对我们的团队来说意味着什么?意味着更快的开发,更少的代码(比定制电路所需要编写的代码少太多了),更轻松的维护,以及对Cairo在验证和开源软件方面的所有创新的展示。

V6iIdZStQtHxv2DXXFfJANYZ3PJkvOB3T7Xs2mbZ.png

分离的想法不仅优雅,而且还是唯一可以支持未来扩展的方法。对于构建定制电路的zkEVM来说,支持主网硬分叉并通过提前集成新EIP进行创新已被证明是非常困难的。

我们相信,该领域将有更多参与者转向可证明的中介虚拟机。今天,编写可证明和可适应软件的两种选择是:

  • 使用LLVM语言并证明它,例如Rust到LLVM,再到使用RISC-ZERO vkVM证明的Risc-V(例如revm的Rust代码变得可证明就是zeth)。

  • 使用Cairo语言,这是为CairoVM构建的“可证明设计”的编程语言。

我们有信心Cairo将始终具有更优的性能(而其他zkVM可能更加便捷),因为其建设融合了证明理念,与其他zkVM不同。未来几年里,Cairo将被证明是编写可证明软件的最实用高效的工具。

IGsD9K2r8SMcyDqTQ46AEcYMgl2nmO3ScieLxVWA.png
P8mRXQ846hE5abggcn7jJz9wcrKEprqtIc7PqOeQ.png

4、致力于以用户为中心

开发简单易用的软件当然是好的,但最终用户并不关心这些。他们并不关心Whatsapp的后端是在AWS上运行还是在它自家云上运行,也不在乎Telegram是用哪种编程语言编写的。最终用户期望的是明显的附加价值。

我们在Kakarot的建设过程中面临的挑战是将这种巨大的工程优势(一种高级可证明的中介语言)转化为我们社区的附加值。

我们希望展示我们对变化的以太坊的快速适应能力。我们为社区提供的前两个明显优势是:

  • Kakarot zkEVM将立即集成Dencun主网硬分叉:所有新的操作码和更新将被纳入(tstore等)。

  • 一个相互协作的产品路线图,用户测试,迭代建设。

让我们花点时间来了解一下第二点。我们是自由的,我们能够快速实现重要的功能(因为我们的社区会进行选择)。在我们的测试网阶段,我们将发布新功能,并请我们的社区挑选出最有用的功能。我们很高兴能够在我们的测试网络中尝试我们的一些想法:原生多调用,带有faceID(或硬件signer)的EOA,移动优先的原生帐户抽象,EOF早期集成等等!

当我们与我们的建设者和最终用户社区一起探索新功能时,请记住Cairo及其生态系统正在后台积极开发!Starkware的100多名员工正辛勤努力为Cairo创建下一代prover。与此同时,Cairo开发者社区的500多名开发人员和基础设施参与者正在建设新的代码库和突破,而这些,Kakarot将来都能集成(例如并行执行)。

有一个很好的例子可以体现我们的竞争优势,那就是Starkware与Polygon Labs合作推出的最新prover改进研究:Circle STARK。Cairo正变得越来越强大!

VO6Zk9RxPdLLKNcWZXJjMylnANFCcpNPmm1xdqWh.png

Kakarot不仅可以利用生机勃勃的Cairo生态系统的创新(证明速度的提高、开源代码库如secp256r1的支持),还能以强大的灵活性(适应硬分叉和EIP)进行高速开发。

DQ3pBXZZw4fyTDQvrfMFIFcS19rVbBxPg4zMrojc.png

5Kakarot最新动态

本着纯粹的一致性精神和“it just works”的座右铭,Kakarot的目标是100%通过以太坊测试(官方以太坊基金会EVM测试)。这一里程碑将确认我们与以太坊的完全兼容性,还将使开发人员免于EVM碎片化烦恼。

通过这种方式,Kakarot将提供无缝的开发体验,EVM建设者可以预期工作顺利不出岔子,与以太坊主网没有任何的不兼容。我们希望开发人员专注于对他们来说重要的事情:他们的协议或dApp。

现在,Kakarot通过了90%以上的测试(即超过1万8千次测试)。我们已经对我们的EVM实现建立信心,现在是时候面对现实世界了。

Kakarot的最新情况是,我们正迈入测试网阶段!为了实现这一目标,我们正与Karnot和Starkware合作,他们将帮助我们运行我们的堆栈。在2024年接下来的两个季度,我们将与你(希望如此),与我们的社区一起验证我们的技术。你可密切关注我们在Twitter上的动态了解公共测试网开放日期!目前,测试网不对外公开。

以下是Kakarot测试网络工作原理的简化图:

GEfgasFLgQlTjKEHVf9QlbQ58kU0N6042EluJuGm.png

6、结论

Kakarot最新动态:2024年第二季度和第三季度上线测试网。

Kakarot的独特优势在于其设计:站在密码学巨人的肩膀上,专注于工程。利用这一优势成为一个更具适应性的团队,更快地发布产品(大约6个人和贡献者在不到一年的时间内构建了2个独特的zkEVM实现)。

Kakarot的目标是与以太坊主网100%兼容。我们完全通过以太坊基金会测试来向我们的建设者社区提供保证。截至今天,我们通过了90%以上的以太坊测试。我们的目标是让开发者在兼容性和功能性方面没有任何心理负担。

Kakarot的使命是为L2空间带来更多创新(多调用、secure enclave签名、paymaster、并行执行等),同时支持长期发展(type 1 zkEVM、证明主网、纯等效等)。

通过利用Cairo,Kakarot既稳定又可快速演变。允许我们的些许自大:Kakarot来了,我们是注定要来的。

来源:金色财经

敬告读者:本文为转载发布,不代表本网站赞同其观点和对其真实性负责。FX168财经仅提供信息发布平台,文章或有细微删改。
go