Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/lambdaclass/cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
https://github.com/lambdaclass/cairo-vm

blockchain compiler cryptography programming-language rust stark zkp

Last synced: 4 days ago
JSON representation

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

Awesome Lists containing this project

README 

        







### ⚡ Cairo-vm ⚡



A faster and safer implementation of the Cairo VM in Rust



[Report Bug](https://github.com/lambdaclass/cairo-vm/issues/new?assignees=&labels=bug&projects=&template=bug_report.md&title=bug%3A+) · [Request Feature](https://github.com/lambdaclass/cairo-vm/issues/new?labels=enhancement&title=feat%3A+)



[![rust](https://github.com/lambdaclass/cairo-vm/actions/workflows/rust.yml/badge.svg)](https://github.com/lambdaclass/cairo-vm/actions/workflows/rust.yml)

[![codecov](https://img.shields.io/codecov/c/github/lambdaclass/cairo-vm)](https://codecov.io/gh/lambdaclass/cairo-vm)

[![license](https://img.shields.io/github/license/lambdaclass/cairo-vm)](/LICENSE)

[![pr-welcome]](#-contributing)

[![Telegram Chat][tg-badge]][tg-url]



[pr-welcome]: https://img.shields.io/static/v1?color=orange&label=PRs&style=flat&message=welcome

[tg-badge]: https://img.shields.io/endpoint?url=https%3A%2F%2Ftg.sumanjay.workers.dev%2FLambdaStarkNet%2F&logo=telegram&label=chat&color=neon

[tg-url]: https://t.me/LambdaStarkNet






## Table of Contents



- [Table of Contents](#table-of-contents)

- [📖 About](#-about)

  - [The Cairo language](#the-cairo-language)

- [🌅 Getting Started](#-getting-started)

  - [Dependencies](#dependencies)

    - [Required](#required)

    - [Optional](#optional)

    - [Installation script](#installation-script)

- [🚀 Usage](#-usage)

  - [Adding cairo-vm as a dependency](#adding-cairo-vm-as-a-dependency)

  - [Running cairo-vm from CLI](#running-cairo-vm-from-cli)

  - [Using hints](#using-hints)

  - [Running a function in a Cairo program with arguments](#running-a-function-in-a-cairo-program-with-arguments)

  - [WebAssembly Demo](#webassembly-demo)

  - [Testing](#testing)

  - [Tracer](#tracer)

- [📊 Benchmarks](#-benchmarks)

- [📜 Changelog](#-changelog)

- [🛠 Contributing](#-contributing)

- [🌞 Related Projects](#-related-projects)

- [📚 Documentation](#-documentation)

  - [Cairo](#cairo)

  - [Original Cairo VM Internals](#original-cairo-vm-internals)

  - [Compilers and Interpreters](#compilers-and-interpreters)

  - [StarkNet](#starknet)

  - [Computational Integrity and Zero Knowledge Proofs](#computational-integrity-and-zero-knowledge-proofs)

    - [Basics](#basics)

    - [ZK SNARKs](#zk-snarks)

    - [STARKs](#starks)

- [⚖️ License](#️-license)



## 📖 About



Cairo VM is the virtual machine for the [Cairo language](https://www.cairo-lang.org/).



Previously, there was a version of [Cairo VM](https://github.com/starkware-libs/cairo-lang) written in Python, which **was used in production**.



This repository contains the newer version, written in Rust. It's faster and has safer and more expressive typing. Now in production, it has replaced the older Python version to become the primary Cairo VM.



### The Cairo language



Cairo is the first production-grade platform for generating [STARK](https://vitalik.ca/general/2017/11/09/starks_part_1.html) proofs for general computation.



It's Turing-complete and it was created by [Starkware](https://starkware.co/) as part of the [Starknet](https://starkware.co/starknet/) ecosystem.



## 🌅 Getting Started



### Dependencies



#### Required



These are needed in order to compile and use the project.



- [Rust 1.81.0 or newer](https://www.rust-lang.org/tools/install)

- Cargo



#### Optional



These dependencies are only necessary in order to run the original VM, compile Cairo programs, and run tests.



- make

- PyEnv



#### Installation script



You can install all of the required and optional dependencies by running the script `install.sh` while in the repository root.



### Installing project dependencies



In order to compile programs you need to install the cairo-lang package.



Running the  `make deps` (or the `make deps-macos`  if you are runnning in MacOS) command will create a virtual environment with all the required dependencies.



You can then activate this environment by running

 ```bash

. cairo-vm-env/bin/activate

```



## 🚀 Usage



### Adding cairo-vm as a dependency



You can add the following to your rust project's `Cargo.toml`:



```toml

cairo-vm = { version = '0.7.0'}

```



### Running cairo-vm from CLI



To run programs from the command line, first compile the repository from the cairo-vm-cli folder:



```bash

cd cairo-vm-cli; cargo build --release; cd ..

```



Once the binary is built, it can be found in `target/release/` under the name `cairo-vm-cli`.



In order to compile Cairo programs you need to activate the environment created while installing dependencies. To start it, run:

```bash

. cairo-vm-env/bin/activate

```



To compile a program, use `cairo-compile [path_to_the_.cairo_file] --output [desired_path_of_the_compiled_.json_file]`. For example:



```bash

cairo-compile cairo_programs/abs_value_array.cairo --output cairo_programs/abs_value_array_compiled.json

```



To run a compiled .json program through the VM, call the executable giving it the path and name of the file to be executed. For example:



```bash

target/release/cairo-vm-cli cairo_programs/abs_value_array_compiled.json --layout all_cairo

```



The flag `--layout` determines which builtins can be used. More info about layouts [here](https://docs.cairo-lang.org/how_cairo_works/builtins.html#layouts).



To sum up, the following code will get you from zero to running a Cairo program:



```bash

git clone https://github.com/lambdaclass/cairo-vm.git



cd cairo-vm



cargo build --release



. cairo-vm-env/bin/activate



cairo-compile cairo_programs/abs_value_array.cairo --output cairo_programs/abs_value_array_compiled.json



target/release/cairo-vm-cli cairo_programs/abs_value_array_compiled.json --layout all_cairo

```



#### Other CLI arguments



The cairo-vm-cli supports the following optional arguments:



- `--trace_file `: Receives the name of a file and outputs the relocated trace into it



- `--memory_file ` : Receives the name of a file and outputs the relocated memory into it



- `--print_output` : Prints the program output



- `--proof_mode`: Runs the program in proof_mode



- `--secure_run`: Runs security checks after execution. Enabled by default when not in proof_mode.



- `--air_public_input `: Receives the name of a file and outputs the AIR public inputs into it. Can only be used if proof_mode is also enabled.



- `--air_private_input `: Receives the name of a file and outputs the AIR private inputs into it. Can only be used if proof_mode, trace_file & memory_file are also enabled.



- `--cairo_pie_output `: Receives the name of a file and outputs the Cairo PIE into it. Can only be used if proof_mode is not enabled.



- `--allow_missing_builtins`: Disables the check that all builtins used by the program need to be included in the selected layout. Enabled by default when in proof_mode.



- `run_from_cairo_pie`: Runs a Cairo PIE instead of a compiled json file. The name of the file will be the first argument received by the CLI (as if it were to run a normal compiled program). Can only be used if proof_mode is not enabled.



- `cairo_layout_params_file`: Only used with dynamic layout. Receives the name of a json file with the dynamic layout parameters.



For example, to obtain the air public inputs from a fibonacci program run, we can run :



```bash

  target/release/cairo-vm-cli cairo_programs/proof_programs/fibonacci.json --layout all_cairo --proof_mode --air_public_input fibonacci_public_input.json

```



### Using hints



Currently, as this VM is under construction, it's missing some of the features of the original VM. Notably, this VM only implements a limited number of Python hints at the moment, while the [Python Cairo VM](https://github.com/starkware-libs/cairo-lang) allows users to run any Python code.



There are two ways to use non-standard hints in this VM:



- Extend the cairo-vm code and build your own binary using the interface [HintProcessor](docs/hint_processor/README.md).

- Use [cairo-vm-py](https://github.com/lambdaclass/cairo-vm-py) which supports running any hint in a Python interpreter.



### Running a function in a Cairo program with arguments



When running a Cairo program directly using the Cairo-vm repository you would first need to prepare a couple of things.



1. Specify the Cairo program you want to run



  ```rust

  let program =

          Program::from_file(Path::new(&file_path), None);

  ```



2. Instantiate the VM, the cairo_runner, the hint processor, and the entrypoint



  ```rust

  let mut cairo_runner = CairoRunner::new(&program, LayoutName::all_cairo, false, false);



  let mut hint_processor = BuiltinHintProcessor::new_empty();



  let entrypoint = program

          .identifiers

          .get(&format!("__main__.{}", &func_name))?

          .pc;

  ```



3. Lastly, initialize the builtins and segments.



  ```rust

  cairo_runner.initialize_builtins(false)?;

  cairo_runner.initialize_segments(None);

  ```



When using cairo-vm with the Starknet devnet there are additional parameters that are part of the OS context passed on to the `run_from_entrypoint` method that we do not have here when using it directly. These parameters are, for example, initial stacks of the builtins, which are the base of each of them and are needed as they are the implicit arguments of the function.



```rust

 let _var = cairo_runner.run_from_entrypoint(

            entrypoint,

            vec![

                &MaybeRelocatable::from(2).into(),  //this is the entry point selector

                &MaybeRelocatable::from((2,0)).into() //this would be the output_ptr for example if our cairo function uses it

                ],

            false,

            &mut hint_processor,

        );

```

### Running cairo 1 programs 



To run a cairo 1 program enter in the folder `cd cairo1-run` and follow the [`cairo1-run documentation`](cairo1-run/README.md)



### WebAssembly Demo



A demo on how to use `cairo-vm` with WebAssembly can be found in [`examples/wasm-demo`](examples/wasm-demo/)



### Testing



To run the test suite you'll need `cargo-llvm-cov` dependency so make sure to run this command beforehand:



```bash

make deps

```



Now that you have the dependencies necessary to run the test suite you can run:



```bash

make test

```



### Using a Dynamic Layout



A dynamic layout must be specified with a dynamic params file. You can find an example in: `vm/src/tests/cairo_layout_params_file.json`.



To run cairo 0 or 1 programs with a dynamic layout, you must use `--layout dynamic` and the `--cairo_layout_params_file` flag pointing a dynamic params file. For example, run:

```bash

cargo run --bin cairo-vm-cli cairo_programs/fibonacci.json --layout dynamic --cairo_layout_params_file vm/src/tests/cairo_layout_params_file.json

```



### Tracer



Cairo-vm offers a tracer which gives you a visualization of how your memory and registers change line after line as the VM executes the code. You can read more about it [here](./docs/tracer/README.md)



## 📊 Benchmarks



Running a [Cairo program](./cairo_programs/benchmarks/big_fibonacci.cairo) that gets the 1.5 millionth Fibonacci number we got the following benchmarks:



- Execution time with [Criterion](./docs/benchmarks/criterion_benchmark.pdf)

- [Flamegraph](./docs/benchmarks/flamegraph.svg)

- Github action [results](https://lambdaclass.github.io/cairo-vm/)



Note before running the benchmark suite: the benchmark named [iai_benchmark](https://github.com/lambdaclass/cairo-vm/blob/8dba86dbec935fa04a255e2edf3d5d184950fa22/Cargo.toml#L59) depends on Valgrind. Please make sure it is installed prior to running the `iai_benchmark` benchmark.



Run the complete benchmark suite with cargo:



```bash

cargo bench

```



Run only the `criterion_benchmark` benchmark suite with cargo:



```bash

cargo bench --bench criterion_benchmark

```



Run only the `iai_benchmark` benchmark suite with cargo:



```bash

cargo bench --bench iai_benchmark

```



Benchmark the `cairo-vm` in a hyper-threaded environment with the [`examples/hyper_threading/ crate`](examples/hyper_threading/)

```bash

make hyper-threading-benchmarks

```



## 📜 Changelog



Keeps track of the latest changes [here](CHANGELOG.md).



## 🛠 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](https://github.com/lambdaclass/starknet_in_rust/issues/new?labels=enhancement&title=feat%3A+) with the tag 'enhancement'.



1. Fork the Project

2. Create your Feature Branch (`git checkout -b feat/AmazingFeature`)

3. Commit your Changes (`git commit -m 'feat: add some AmazingFeature'`)

4. Push to the Branch (`git push origin feat/AmazingFeature`)

5. Open a Pull Request



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



You can find more detailed instructions in the [CONTRIBUTING.md](CONTRIBUTING.md) document.



## 🌞 Related Projects



- [starknet_in_rust](https://github.com/lambdaclass/starknet_in_rust): implementation of Starknet in Rust, powered by the cairo-vm.

- [cairo-vm-py](https://github.com/lambdaclass/cairo-vm-py): Bindings for using cairo-vm from Python code.



## 📚 Documentation



### Cairo



- From Cairo Documentation: [How Cairo Works](https://docs.cairo-lang.org/how_cairo_works/index.html)

- [Cairo – a Turing-complete STARK-friendly CPU architecture](https://eprint.iacr.org/2021/1063)

- [A Verified Algebraic Representation of Cairo Program Execution](https://arxiv.org/pdf/2109.14534.pdf)

- [Cairo Verifier](https://github.com/patrickbiel01/Cairo_Verifier) in Rust



### Original Cairo VM Internals



We wrote a document explaining how the Cairo VM works. It can be found [here](./docs/python_vm/README.md).



### Compilers and Interpreters



This is a list of recommended books to learn how to implement a compiler or an interpreter.



- [How I wrote my own "proper" programming language - Mukul Rathi](https://mukulrathi.com/create-your-own-programming-language/intro-to-compiler/)

- [Introduction to Compilers and Language Design - Douglas Thain](http://compilerbook.org)

- [Beautiful Racket - Matthew Flatt](https://beautifulracket.com)

- [Crafting interpreters - Robert Nystrom](https://craftinginterpreters.com)

- [Engineering a Compiler - Keith D. Cooper, Linda Torczon](https://www.goodreads.com/en/book/show/1997607.Engineering_a_Compiler)



### StarkNet



- [StarkNet's Architecture Review](https://david-barreto.com/starknets-architecture-review/)



### Computational Integrity and Zero Knowledge Proofs



#### Basics



- [Intro to zero-knowledge proofs](https://www.youtube.com/watch?v=HUs1bH85X9I)

- [Security and Privacy for Crypto with Zero-Knowledge Proofs](https://www.youtube.com/watch?v=3NL0ThdvWMU)

- [A Hands-On Tutorial for Zero-Knowledge Proofs Series](http://www.shirpeled.com/2018/09/a-hands-on-tutorial-for-zero-knowledge.html)



#### ZK SNARKs



- [What are zk-SNARKs?](https://z.cash/technology/zksnarks/)

- [Vitalik's introduction to how zk-SNARKs are possible](https://vitalik.ca/general/2021/01/26/snarks.html)

- [Vitalik's post on quadratic arithmetic programs](https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649)

- [Why and How zk-SNARK Works - Maksym Petkus](https://arxiv.org/abs/1906.07221)

- [Comparing General Purpose zk-SNARKs](https://medium.com/coinmonks/comparing-general-purpose-zk-snarks-51ce124c60bd)

- [Dark forest's intro + circuits PART 1](https://blog.zkga.me/intro-to-zksnarks)

- [Dark forest's intro + circuits PART 2](https://blog.zkga.me/df-init-circuit)



#### STARKs



Introduction:



- [Cryptography Stack Exchange Answer](https://crypto.stackexchange.com/questions/56327/what-are-zk-starks)

- [Hasu gets STARK-pilled - with Eli Ben-Sasson](https://youtu.be/-6BtBUbiUIU)

- [Cairo for Blockchain Developers](https://www.cairo-lang.org/cairo-for-blockchain-developers/)

- [Why STARKs are the key to unlocking blockchain scalability](https://twitter.com/0xalec/status/1529915544324800512?s=12&t=FX6TgXCZY1iWcWmbc7oqSw)

- STARKs whitepaper: [Scalable, transparent, and post-quantum secure computational integrity](https://eprint.iacr.org/2018/046)

- STARKs vs. SNARKs: [A Cambrian Explosion of Crypto Proofs](https://nakamoto.com/cambrian-explosion-of-crypto-proofs/)



Vitalik Buterin's blog series on zk-STARKs:



- [STARKs, part 1: Proofs with Polynomials](https://vitalik.ca/general/2017/11/09/starks_part_1.html)

- [STARKs, part 2: Thank Goodness it's FRI-day](https://vitalik.ca/general/2017/11/22/starks_part_2.html)

- [STARKs, part 3: Into the Weeds](https://vitalik.ca/general/2018/07/21/starks_part_3.html)



Alan Szepieniec's STARK tutorial:



- [Anatomy of a STARK](https://aszepieniec.github.io/stark-anatomy/)



StarkWare's STARK Math blog series:



- [STARK Math: The Journey Begins](https://medium.com/starkware/stark-math-the-journey-begins-51bd2b063c71)

- [Arithmetization I](https://medium.com/starkware/arithmetization-i-15c046390862)

- [Arithmetization II](https://medium.com/starkware/arithmetization-ii-403c3b3f4355)

- [Low Degree Testing](https://medium.com/starkware/low-degree-testing-f7614f5172db)

- [A Framework for Efficient STARKs](https://medium.com/starkware/a-framework-for-efficient-starks-19608ba06fbe)



## ⚖️ License



This project is licensed under the Apache 2.0 license.



See [LICENSE](/LICENSE) for more information.