Integrate Kakarot zkEVM as a client that runs the Ethereum Tests

[Eikix]

Hi,

I’m Elias from Kakarot zkEVM (https://www.kakarot.org/).
We are currently building an EVM implementation in Cairo (https://eprint.iacr.org/2021/1063), the provable Turing-complete language on which Starknet L2 (https://starkware.co/starknet/) is based. As Kakarot zkEVM is striving to become an Ethereum client, we naturally need to pass the Ethereum tests. As such, we would like to be listed in the repository.

We currently pass approximately 50% of the BlockchainTests>GeneralStateTests tests for the Shanghai fork (e.g. missing EIP1559 or precompiles tests) and are targeting 80% this year and eventually 100%.
We’re also looking to pass Hive tests in the future.

In the past year, we’ve built two implementations of the EVM:

• The Cairo “Zero” implementation - https://github.com/kkrt-labs/kakarot - which was written in the first version of the Cairo language (lower level), started in October 2022.
• The Cairo implementation - https://github.com/kkrt-labs/kakarot-ssj - started recently in the new version of the Cairo language (higher level, rust-like).

And built a repository to run the ef-tests against our EVM without RPC mode, inspired by Reth - https://github.com/paradigmxyz/reth. The stack works in the following way:

• The underlying technology is the CairoVM,
• The Kakarot EVM is a Cairo Program that runs on the Cairo VM.
• We use a library imported from the Starknet ecosystem to manage the state.

Test location: https://github.com/kkrt-labs/ef-tests

Thank you for your help,
Kakarot team.