Base

初始 Kakarot 的起点是两年前，Shahar Papini 提出的一个想法 —— 用 Cairo（一种可证明语言）编写 EVM 指令集，从而有效创建了一个可证明的 EVM，即所谓的 ZK-EVM。这是前所未有的！首次可以用代码而非电路来构建 ZK 基础设施。这让我着迷不已。那时，所有其他的 ZK-EVM 如 Scroll、Linea 或 zksync 都是基于专门的电路构建的。电路快速但层次较低，因此难以维护或审核。同时，在中介 ZK-VM（本例为 Cairo）之上构建一个可证明的 EVM 完全是新颖的。Vitalik 当时看到了这个想法的潜力，StarkWare 也是。