【英文】zkEVM 项目 Kakarot 的技术演进：从构想到实现

初始 Kakarot 的起点是两年前，Shahar Papini 提出的一个想法 —— 用 Cairo（一种可证明语言）编写 EVM 指令集，从而有效创建了一个可证明的 EVM，即所谓的 ZK-EVM。这是前所未有的！首次可以用代码而非电路来构建 ZK 基础设施。这让我着迷不已。那时，所有其他的 ZK-EVM 如 Scroll、Linea 或 zksync 都是基于专门的电路构建的。电路快速但层次较低，因此难以维护或审核。同时，在中介 ZK-VM（本例为 Cairo）之上构建一个可证明的 EVM 完全是新颖的。Vitalik 当时看到了这个想法的潜力，StarkWare 也是。 在可证明的 EVM 中，人们可以执行针对以太坊兼容（或等效）环境的交易，并生成有效性证明。生成 ZK 执行证明是我们通常在 ZK-rollups 中看到的基础。这允许一个 L2 依赖数学和 ZK 而非经济安全来验证交易的有效性。你首先运行交易，然后将它们批处理成块（这就是「rollup」部分），然后证明这个批次（这就是「ZK」部分），然后将批次连同证明一起发送到以太坊 L1。L1 随后验证你的计算的完整性。砰！你继承了 L1 的安全性，同时大大提高了其吞吐能力（注意我在这里简化了与 L1 证明验证器可升级性相关的安全假设）。我想现在也是解决一些误解的好时机。因为 ZK-EVM 是一个兼容以太坊的 ZK-Rollup 的引擎，我们现在有时会将 ZK-EVM 误解为 ZK-rollup。ZK-EVM 是兼容以太坊 ZK-Rollup 的证明引擎。 我们知道有两种其他方法可以为更广泛的以太坊带来价值：使用 Kakarot 的核心 EVM 为 appchains 提供动力；使用 Kakarot 的核心 EVM 证明任何以太坊等效区块。Clement 在 2022 年 12 月提出了这个想法，但在我看来，以太坊区块直到以太坊基金会（EF）路线图上的很多年后才需要证明。我错了，ZK 证明器的进展如此之快，以至于 Kakarot 将在 2025 年实现 EVM 实时证明，这要感谢 Starkware 的 STWO！Clement，Kakarot 的联合创始人兼 CTO，提前两年嗅出了一个很酷的用例两年来我们知道，使用 EVM 的事情是操作一个 rollup（你的工作是培养一个社区）、出售 appchains（你的工作是让你的软件最高效）或出售证明（你的工作是拥有最快、最便宜的证明器）。【原文为英文】\n原文链接