Kakarot：部署在Starknet上的ZK-EVM type 3

1. 引言

sayajin-labs团队开源的：

• https://github.com/sayajin-labs/kakarot（ZK-EVM type 3 written in Cairo, leveraging STARK proof system.）

Kakarot提供了相应的playground：

• https://playground.kakarot.org/?fork=merge

Kakarot为以Cairo语言实现的以太坊虚拟机：

• 是Starknet（goerli）上的智能合约，以Cairo语言实现
• 可将其看成是EVM bytecode解析器。既不是一条链，也不是编译器。具体见https://github.com/NethermindEth/warp，可将以太坊智能合约翻译为 Starknet Cairo智能合约。
• 声称与以太坊opcode完全兼容，可：
  • 1）运行任意智能合约
  • 2）通过调用Kakarot-deployed EVM smart contract的函数来 部署EVM智能合约。

Kakarot基本架构为：

Kakarot的主执行流程为：