🦀 Starknet in Rust 🦀

Starknet transaction execution library in Rust, featuring ⚡cairo-vm⚡

Report Bug · Request Feature

Table of Contents

• Table of Contents
• ⚠️ Disclaimer
• 📖 About
• 🌅 Getting Started
  • Dependencies
  • Installation
    • How to manually install the script dependencies
• 🚀 Usage
  • Running simple contracts
  • Using the Cli
  • Testing
  • Profiling
  • Benchmarking
• 🛠 Contributing
• 🌞 Related Projects
• 📚 Documentation
  • Starknet
• ⚖️ License

⚠️ Disclaimer

🚧 This project is a work-in-progress and is not ready for production yet. Use at your own risk. 🚧

📖 About

starknet_in_rust is an implementation of Starknet in Rust. It makes use of cairo-vm, the Rust implementation of the Cairo virtual machine.

🌅 Getting Started

Dependencies

• Rust 1.70
• A working installation of cairo-lang 0.12 (for compiling the cairo files)
• [Optional, for testing purposes] Heaptrack

Installation

Run the following make targets to have a working environment (if in Mac or if you encounter an error, see the subsection below):

Linux (x86-64)

$ make deps
$ make build

OSX (Apple Silicon)

$ make deps-macos
$ make build

Check the Makefile for additional targets.

RPC State Reader

In order to use the RPC state reader add an Infura API key in a .env file at root:

INFURA_API_KEY={some_key}

How to manually install the script dependencies

cairo-lang requires the gmp library to build. You can install it on Debian-based GNU/Linux distributions with:

sudo apt install -y libgmp3-dev

In Mac you can use Homebrew:

brew install gmp

In Mac you'll also need to tell the script where to find the gmp lib:

export CFLAGS=-I/opt/homebrew/opt/gmp/include LDFLAGS=-L/opt/homebrew/opt/gmp/lib

Cairo Native support

Starknet in Rust can be integrated with Cairo Native, which makes the execution of sierra programs possible through native machine code. To use it, the following needs to be setup:

• LLVM 17 needs to be installed and the MLIR_SYS_170_PREFIX and TABLEGEN_170_PREFIX environment variable needs to point to said installation. In macOS, run

  brew install llvm@17
  export MLIR_SYS_170_PREFIX=/opt/homebrew/opt/llvm@17
  export TABLEGEN_170_PREFIX=/opt/homebrew/opt/llvm@17
  

  and you're set.

Afterwards, compiling with the feature flag cairo-native will enable native execution. You can check out some example test code that uses it under tests/cairo_native.rs.

🚀 Usage

Running simple contracts

You can find a tutorial on running contracts here.

Using the CLI

You can find an example on how to use the CLI here

Customization

Logging configuration

This project uses the tracing crate as a library. Check out its documentation for more information.

Testing

Add an Infura API key.

Run the following command:

$ make test

Profiling

Run the following command:

$ make flamegraph

to generate a flamegraph with info of the execution of the main operations.

Benchmarking

Read the 'bench_integration.py' file to identify which lines need to be commented out for accurate results. Comment out those lines and then run the following command:

$ make benchmark

🛠 Contributing

The open source community is a fantastic place for learning, inspiration, and creation, and this is all thanks to contributions from people like you. Your contributions are greatly appreciated.

If you have any suggestions for how to improve the project, please feel free to fork the repo and create a pull request, or open an issue with the tag 'enhancement'.

1. Fork the Project
2. Create your Feature Branch (git checkout -b feature/AmazingFeature)
3. Commit your Changes (git commit -m 'Add some AmazingFeature')
4. Push to the Branch (git push origin feature/AmazingFeature)
5. Open a Pull Request

And don't forget to give the project a star! ⭐ Thank you again for your support.

🌞 Related Projects

• cairo-vm: A fast implementation of the Cairo VM in Rust.
• cairo-vm-py: Bindings for using cairo-vm from Python code.

📚 Documentation

Starknet

• Starknet's Architecture Review
• Starknet State
• Array Hashing

⚖️ License

This project is licensed under the Apache 2.0 license.

See LICENSE for more information.