Starknet
StarkNet 是一个基于以太坊的 Layer 2 解决方案，使用 zk-rollup 技术，在链下处理大部分计算和数据存储需求，只在链上记录最小的数据和生成的证明，来提高以太坊主网的交易处理能力。
StarkNet 与其他通过构建 zkEVM 来实现交易证明的方式不用， StarkNet 背后的团队 StarkWare ， 使用 zk-STARK 技术构建了一个CairoVM， 是一个 ZK 友好的 通用功能的 zkVM，但于 zkEVM 不同，不能直接支持 Solidity 编程，而是需要使用 Cairo 语言 。
StarkNet 内的生态项目 Kakarot ，正在使用 Cairo 在 CairoVM 实现一个 zkEVM 。