Table of Contents
Cairo is the first Turing-complete language for creating provable programs for general computation.
- Install Rust
- Setup Rust:
rustup override set stable && rustup update && cargo testCompile Cairo to Sierra:
cargo run --bin cairo-compile -- /path/to/input.cairo /path/to/output.sierra --replace-idsCompile Sierra to casm (Cairo assembly):
cargo run --bin sierra-compile -- /path/to/input.sierra /path/to/output.casmRun Cairo code directly:
cargo run --bin cairo-run -- -p /path/to/file.cairoSee more information here. You can also find Cairo examples in the examples directory.
For running tests specifically, see here: cairo-test
Follow the instructions in vscode-cairo.
The next milestone is to reach feature parity with the old Cairo version. You can track the exact progress here.
- We encourage developers to ask and answer questions on stackoverflow.
- Contact options listed on this GitHub profile
If you want to say thank you or/and support active development of Cairo:
- Add a GitHub Star to the project.
- Tweet about your Cairo work.
- Write interesting articles about the project on Dev.to, Medium or your personal blog.
Together, we can make Cairo better!
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 contributions you make will benefit everybody else and are greatly appreciated.
Please read our contribution guidelines, and thank you for being involved!
For a full list of all authors and contributors, see the contributors page.
Cairo follows good practices of security, but 100% security cannot be assured. Cairo 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.
This project is licensed under the Apache 2.0.
See LICENSE for more information.