kkrt-labs / kakarot-ssj

Kakarot zkEVM - rewrite in the latest version of Cairo
https://www.kakarot.org
MIT License
133 stars 81 forks source link
cairo-lang starknet zero-knowledge-proofs zkevm

Kakarot, the zkEVM written in Cairo.


![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/kkrt-labs/kakarot-ssj/test.yml?branch=main) ![GitHub](https://img.shields.io/github/license/kkrt-labs/kakarot-ssj?style=flat-square&logo=github) ![GitHub contributors](https://img.shields.io/github/contributors/kkrt-labs/kakarot-ssj?logo=github&style=flat-square) ![GitHub top language](https://img.shields.io/github/languages/top/kkrt-labs/kakarot-ssj?style=flat-square) [![Telegram](https://img.shields.io/badge/telegram-Kakarot-yellow.svg?logo=telegram)](https://t.me/KakarotZkEvm) ![Contributions welcome](https://img.shields.io/badge/contributions-welcome-orange.svg) [![Read FAQ](https://img.shields.io/badge/Ask%20Question-Read%20FAQ-000000)](https://www.newton.so/view?tags=kakarot) ![GitHub Repo stars](https://img.shields.io/github/stars/kkrt-labs/kakarot-ssj?style=social) [![Twitter Follow](https://img.shields.io/twitter/follow/KakarotZkEvm?style=social)](https://x.com/KakarotZkEvm)
Table of Contents - [About](#about) - [Getting Started](#getting-started) - [Installation](#installation) - [Usage](#usage) - [Build](#build) - [Test](#test) - [Format](#format) - [Roadmap](#roadmap) - [Support](#support) - [Project assistance](#project-assistance) - [Contributing](#contributing) - [Authors \& contributors](#authors--contributors) - [Security](#security) - [License](#license) - [Acknowledgements](#acknowledgements) - [Contributors ✨](#contributors-)

About

Kakarot is an (zk)-Ethereum Virtual Machine implementation written in Cairo. Kakarot is Ethereum compatible, i.e. all existing smart contracts, developer tools and wallets work out-of-the-box on Kakarot. It's been open source from day one. Soon available on Starknet L2 and Appchains.

🚧 It is a work in progress, and it is not ready for production.

Getting Started

This repository is a Cairo rewrite of the CairoZero version of Kakarot zkEVM.

Installation

Usage

Build

scarb build

Test

scarb test

Format

The project uses trunk for everything except cairo files. If you don't have it installed already, you can do:

curl https://get.trunk.io -fsSL | bash

then

trunk check --fix

VS Code users, don't miss the VS Code trunk plugin.

For cairo files, run:

scarb fmt

Roadmap

See the open issues for a list of proposed features (and known issues).

Support

Reach out to the maintainer at one of the following places:

Project assistance

If you want to say thank you or/and support active development of Kakarot:

Together, we can make Kakarot better!

Contributing

First off, thanks for taking the time to contribute! Contributions are what make the open-source community such an amazing place to learn, inspire, and create. Any contribution you make will benefit everybody else and is greatly appreciated.

Please read our contribution guidelines, and thank you for being involved!

Authors & contributors

For a full list of all authors and contributors, see the contributors page.

Security

Kakarot follows good practices of security, but 100% security cannot be assured. Kakarot is provided "as is" without any warranty. Use at your own risk.

For more information and to report security issues, please refer to our security documentation.

License

This project is licensed under the MIT license.

See LICENSE for more information.

Acknowledgements

Contributors ✨

Thanks goes to these wonderful people (emoji key):

Abdel @ StarkWare
Abdel @ StarkWare

πŸ’»
johann bestowrous
johann bestowrous

πŸ’»
Elias Tazartes
Elias Tazartes

πŸ‘€ βœ… πŸ“’
Mathieu
Mathieu

πŸ’» ⚠️ πŸ“–
khaeljy
khaeljy

πŸ’»
ClΓ©ment Walter
ClΓ©ment Walter

πŸ’»
Lucas @ StarkWare
Lucas @ StarkWare

πŸ’»
lambda-0x
lambda-0x

πŸ’»
danilowhk
danilowhk

πŸ’»
Tristan
Tristan

πŸ’»
Quentash
Quentash

πŸ’»
ftupas
ftupas

πŸ’»
Aniket Prajapati
Aniket Prajapati

πŸ’»
Daniel Bejarano
Daniel Bejarano

πŸ’»
Noeljarillo
Noeljarillo

πŸ’»
Thomas Butler
Thomas Butler

πŸ’»
Ammar Arif
Ammar Arif

πŸ“–
greged93
greged93

πŸ’»
Charlotte
Charlotte

πŸ’»
akhercha
akhercha

πŸ’»
Alexandro T. Netto
Alexandro T. Netto

πŸ’»
tedison
tedison

πŸ’»
Pia
Pia

πŸ’»
glihm
glihm

πŸ’»
Add your contributions

This project follows the all-contributors specification. Contributions of any kind welcome!