cairo
Programmable execution engine
A Rust-based language for creating provable programs that can perform general computation
Cairo is the first Turing-complete language for creating provable programs for general computation.
2k stars
19 watching
492 forks
Language: Rust
last commit: 4 days ago
Linked from 2 awesome lists
cairocomputational-integritystarknetzero-knowledge-proofszkp
rust-unofficial/awesome-rustRelated projects:
| Repository | Description | Stars |
|---|---|---|
| starkware-libs/cairo-lang | A language and package for writing provable programs in Python. | 1,348 |
 lambdaclass/cairo-vm | An implementation of the Cairo VM in Rust for generating provable programs. | 522 |
 shramee/starklings-cairo1 | An interactive tutorial to get started with Cairo and Starknet programming | 452 |
 andrewmilson/sandstorm | A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs. | 158 |
| lambdaclass/cairo-vm_in_go | An implementation of a programming language for writing provable programs in Go. | 56 |
 cryptonerdcn/wasm-cairo | A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language. | 54 |
 software-mansion/cairo-profiler | A tool for analyzing and optimizing performance of the Cairo programming language and Starknet network. | 30 |
| starkware-libs/papyrus | A full node implementation for the Starknet blockchain in Rust. | 315 |
| lambdaclass/cairo_native | Compiles Cairo's intermediate representation to machine code using MLIR and LLVM | 121 |
 keep-starknet-strange/alexandria | A collection of useful algorithms and data structures implemented in Cairo for use in software development. | 234 |
 openzeppelin/cairo-contracts | A library for secure smart contract development written in Cairo for Starknet | 824 |
| starkware-libs/stone-prover | A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs. | 260 |
 l-henri/starknet-cairo-101 | A tutorial series on building smart contracts with the Cairo language on StarkNet. | 23 |
| keep-starknet-strange/ziggy-starkdust | An experimental implementation of a Cairo VM in Zig, enabling execution of Cairo programs. | 83 |
 crytic/amarna | Analyze and report on potential issues in Cairo code for improved security and maintainability. | 148 |