Kakarot:部署在Starknet上的ZK-EVM type 3
Posted mutourend
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了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:
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的主执行流程为:
以上是关于Kakarot:部署在Starknet上的ZK-EVM type 3的主要内容,如果未能解决你的问题,请参考以下文章
Herodotus——无需bridge借助Storage proof实现的以太坊跨层数据访问