破译开罗 VM、CASM、开罗零、开罗和塞拉。介绍为了解锁以太坊的安全和去中心化扩展，有效性汇总使批量交易的验证比简单的重新执行更加高效。第 2 层 (L2) 上的专用节点（称为排序器）将交易捆绑到新的 L2 区块中，而以太坊主网节点则以最小的努力确认这些交易。 Starknet 是一个利用 Cairo VM 的有效性汇总，专门设计用于优化有效性证明的效率。Starknet采用STARKs（可扩展、透明的知识论证）作为证明系统，能够为复杂的计算生成简洁的证明，从而大大降低链上验证过程的复杂性。 在这篇博文中，我们将深入探讨使 Starknet 成为 TPS 性能最高的 L2 的不同组件 - Cairo VM、CASM、Cairo Zero、Cairo 和 Sierra。开罗虚拟机为通用计算程序创建有效性证明需要深入掌握 STARK 背后的复杂数学原理。对于每个计算，构建代数中间表示 (AIR) 至关重要，它包含一组准确表示给定计算的多项式约束。Cairo 最初被称为“CPU AIR”，是一个虚拟 CPU 和一个单一的 AIR，能够使用相同的“通用”AIR 描述任何计算。Cairo...
