外贸展示型网站建设,阿里云网站备案流程,微信如何做网站,iis6.0建立网站1. 引言
前序博客#xff1a;
Kakarot#xff1a;部署在Starknet上的ZK-EVM type 3
随着 Kakarot zkEVM 即将发布测试网#xff0c;想重申下 Kakarot zkEVM 的愿景为#xff1a;
为什么在rollup空间中还需要另一个 zkEVM#xff1f;
开源代码见#xff1a;
https:/…1. 引言
前序博客
Kakarot部署在Starknet上的ZK-EVM type 3
随着 Kakarot zkEVM 即将发布测试网想重申下 Kakarot zkEVM 的愿景为
为什么在rollup空间中还需要另一个 zkEVM
开源代码见
https://github.com/kkrt-labs/kakarotCairo Python
本文旨在通过讨论
Kakarot 的独特之处、Kakarot如何提供最简单且面向未来future-proof的架构为什么Kakarot对最终用户和开发人员如此重要
来回答为什么在rollup空间中还需要另一个 zkEVM这个问题。
Kakarot将为
扩展 UX 设计空间的颠覆性 EVM builder 提供一个温馨的环境。
2. 何为Kakarot
Kakarot 是在Cairo内构建的 zkEVM Cairo是一种为Starknet和所有 StarknetOS 链也称为 CairoVM 链或 Starknet 应用程序链提供支持的可证明语言。
Kakarot 是一个与以太坊兼容的zkRollup。Kakarot 的目标为
随着时间的推移实现与以太坊完全等效而不做出任何妥协。
除了兼容性之外Kakarot 还致力于将更多创新推向 L2 空间并向 EVM 添加原生帐户抽象等新功能。
Kakarot 的驱动精神是
证明Prove扩容Scale创新Innovate
详细Kakarot技术文档参看Quick start - 5 minutes overview。
3. Kakarot的愿景
本文将介绍 Kakarot 的与众不同之处以及它为何对最终用户和构建者如此重要。经过以太坊生态系统多年的发展形成了三个坚定的信念并希望通过卡卡罗特来解决这些信念
1TPS高于某个阈值之后就不再重要。用户希望获得与 web2 应用程序和高速 web3 dApp 相当的响应能力。换句话说用户想要亚秒级的交易速度。这通常意味着达到 10k TPS 需要等待几年与此同时仍需共同解决状态增长问题。2交易成本是应用的主要障碍。正如Vitalik 2023年12月博文Make Ethereum Cypherpunk Again所述“我将这种转变web3 开放性下降的根本原因归咎于交易费用的上涨。” 交易成本最终应低于sub-penny以便人们自由实验和创新。3大规模应用的另一个重要障碍是用户体验。Kakarot团队认为 web3 用户体验 的当前状态需要提高一个数量级。如Kakarot团队的目标是为那些不想管理种子短语的人或那些寻求大多数 dApp 的一键体验即多重调用的人提供替代方案。
基于以上三点Kakarot 可以向用户做出承诺以及它在以太坊rollup的当前无论多么饱和舞台中的立场
在提供廉价且快速的交易的同时Kakarot 的目标是引领以用户为中心的创新围绕账户抽象多重调用、安全飞地签名者等和快节奏的功能发布如new EIPs earlier than most。
4. Kakarot的设计
Kakarot的设计
密码学和工程不可避免的分离
从某种意义上说Kakarot架构是不可避免的因为它是根据第一原理构建的。Kakarot 的核心是
使用中间可证明的高级语言Cairo构建的。
这使得Kakarot成为唯一真正将密码学与工程分离的zkEVM即zkEVM中的“zk”和“EVM”除了目前处于研究阶段的zeth和SP1的Reth 。Kakarot 的联合创始人兼生态系统负责人 Danilo 在2024年1月25日 The Kakarot zkEVM Journey Through 2023文章中对此进行了更详细的解释。
这种关注点分离对Kakarot团队意味着什么这意味着
更快的开发更少的代码比定制电路编写的行数少一个数量级更容易的维护接触Cairo在证明软件和开源软件方面的所有创新
构建 zkEVM两种不同的方式
分离关注点不仅很优雅而且是唯一可以随着时间的推移而扩展的方法。对于构建定制电路的 zkEVM 来说支持主网硬分叉并通过提前集成新的 EIP 进行创新被证明是极其困难的。
Kakarot团队相信该领域的更多参与者将转向可证明的中间虚拟机。如今编写可证明且适应性强的软件的两种选择是
使用 LLVM 语言并证明它如 Rust 到 LLVM使用RISC-ZERO zkVM 证明的 Risc-V如revm的 Rust 代码变得可证明的zeth使用 Cairo这是为 CairoVM 构建的“provable by design”编程语言。
Kakarot团队相信 Cairo 将始终具有更高的性能而其他 zkVM 可能更方便因为Cairo 是在构建时考虑到证明的而不是其它支持non-provable languages to be proven的 zkVM。未来几年Cairo 将被证明是编写可验证软件的最实用、最高效的工具。
注意Kakarot 大约有 1万行代码数量级更小且更易于维护
5. Kakarot致力于以用户为中心的方法
虽然构建简单且最小化的软件当然很好但终端用户并不关心。终端用户最终并不关心 Whatsapp 的后端是在 AWS 还是在自己的云上运行也不关心 Telegram 是用什么编程语言编写的。终端用户期望明显的附加值。
Kakarot 面临的挑战是将这一巨大的工程优势一种中间高级可证明语言转化为社区的附加值
Kakarot的目标是
展示对以太坊变化的快速适应能力。
Kakarot为社区提供的前两个明显的好处是
1Dencun主网硬分叉在 Kakarot zkEVM 上的 Day-0 集成所有新的操作码和更改都将被合并tstore 等。2与用户一起迭代构建和测试的协作产品路线图。
其中第二点好处是指
我们的手是自由的摆脱了密码学⛓️
因此能够比任何人更快地实现重要的功能因为社区会选择它们。在测试网阶段Kakarot将发布新功能并要求社区选择最有用的功能。很高兴在测试网中尝试一些想法
原生multi-call通过faceID或硬件签名者增强的EOA手机优先的原生帐户抽象EOF 早期集成等等
当Kakarot与构建者和最终用户社区一起探索新功能时请记住Cairo及其生态系统正在后台积极发展Starkware 的 100 多名员工正在努力为Cairo打造下一代provers。与此同时500 多个 Cairo 开发人员和基础设施参与者社区正在开发新的库并实现 Kakarot 能够集成的突破如并行执行。
Starkware 与 Polygon Labs 合作推出的最新证明改进研究是Kakarot竞争优势的一个很好的例子Circle STARK。Cairo正在不断变得更加强大
Circle STARK——新STARK协议发布更快、更便宜
Kakarot 既可以利用充满活力的 Cairo 生态系统的创新证明速度的提高支持 secp256r1 等开源库又可以高速且具有很强的灵活性适应硬分叉和 EIP进行开发。
构建 zkEVM 的权衡空间
6. Kakarot最新动态
本着纯粹一致性的精神和“it just works”的座右铭Kakarot 的目标是通过 100% 的Ethereum tests官方以太坊基金会 EVM 测试。实现这一里程碑将确认Kakarot与以太坊的完全兼容性。它还将使开发人员不必担心 EVM 碎片。
这样Kakarot 将提供无缝的开发者体验EVM 构建者可以期望一切“just work”与以太坊主网相比不会有任何不兼容性。Kakarot希望开发者专注于对他们来说重要的事情
开发者的协议或 dApp。
如今Kakarot 通过了 90% 以上的测试 即超过 1.8万个 测试。已经对 Kakarot EVM 实现建立了信心现在是时候面对现实世界了。
Kakarot 的最新消息是
即将进入测试网阶段
为了实现这一目标正在与Karnot和Starkware合作他们将协助Kakarot运行。
在 2024 年接下来的两个季度将与社区一起验证Kakarot技术。目前测试网是私有的。
7. Kakarot架构图 8. 小结
Kakarot 的最新消息是
2024 年第二季度和第三季度的测试网
Kakarot 的与众不同之处在于它的设计
站在密码学巨人的肩膀上Starkware 人发明了 STARKs专注于工程。
利用这一优势打造一支适应性更强、交付速度更快的团队约 6 名人员和贡献者在不到一年的时间里构建了 2 个独特的 zkEVM 实现。
Kakarot 的目标是
与以太坊主网 100% 兼容。
通过完全符合以太坊基金会测试可以向构建者社区保证这一点。截至今天Kakarot通过了超过 90% 的以太坊测试。Kakarot的目标是让开发人员在兼容性和功能对等方面实现零精神负担。
Kakarot 的使命是
为 L2 空间带来更多创新多重调用、安全 enclave 签名、paymaster、并行执行等同时进行长期规划type 1 zkEVM、proving主网、pure equivalence等。
想象下通过利用 CairoKakarot 既稳定又快速发展。因此
Kakarot不可避免的即将到来
参考资料
[1] Kakarot: The Future of Ethereum, Today
