Kakarot 是在 Starknet 上用 Cairo 语言实现的一个 EVM，以 Cairo 智能合约形式去模拟 EVM 中堆栈、内存、执行等内容。

本文将对比 zkEVM 和 zkVM 在技术上的差异，并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。

Cairo 是一个图灵完备的 ZK 友好高级语言，也是以太坊 L2-Starknet 的合约开发语言，它正在进行改版升级。

在区块链基建创新的背景下，链上游戏可能是下一代杀手级应用的雏形。