cairo
Programmable language
A Rust-based language for creating provable programs with computational integrity
Cairo is the first Turing-complete language for creating provable programs for general computation.
2k stars
19 watching
515 forks
Language: Rust
last commit: about 1 month 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,350 |
 lambdaclass/cairo-vm | An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation. | 527 |
 shramee/starklings-cairo1 | An interactive tutorial to get started with Cairo and Starknet programming | 453 |
 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. | 57 |
 cryptonerdcn/wasm-cairo | A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language. | 56 |
 software-mansion/cairo-profiler | A tool for analyzing and optimizing performance of the Cairo programming language and Starknet network. | 32 |
| starkware-libs/papyrus | A full node implementation for the Starknet blockchain in Rust. | 318 |
| lambdaclass/cairo_native | Compiles Cairo's intermediate representation to machine code using MLIR and LLVM | 123 |
 keep-starknet-strange/alexandria | A collection of useful algorithms and data structures implemented in Cairo for use in software development. | 238 |
 openzeppelin/cairo-contracts | A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment. | 833 |
| starkware-libs/stone-prover | A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs. | 261 |
 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. | 84 |
 crytic/amarna | Analyze and report on potential issues in Cairo code for improved security and maintainability. | 148 |