本文详细介绍了Kakarot，一个基于Cairo VM的zkEVM，阐释了其如何实现EVM opcode的处理和与StarkNet的集成，目标是降低CairoVM的使用门槛、扩展StarkNet以及测试以太坊的新特性。文章涵盖了Kakarot的工作原理、结构组件以及交易的生命周期，深入探讨了其对以太坊和StarkNet生态的影响。
Starkware发现Cairo VM中存在一个关键问题，该问题可能导致程序在VM上成功执行但违反AIR约束，已通过PR修复并发布更新。
EthTaipei
lambdaclass