cairo-vm
A Rust implementation of the Cairo virtual machine for executing and proving provable programs in the StarkNet ecosystem.
What is cairo-vm?
Cairo VM is a Rust implementation of the Cairo virtual machine that executes programs written in the Cairo language. It enables provable computation where one party can verify execution correctness without re-running the program, primarily serving as the execution engine for StarkNet's zero-knowledge proof ecosystem.
Blockchain developers working with StarkNet, cryptography engineers implementing zero-knowledge proof systems, and developers building applications requiring verifiable computation.
Developers choose Cairo VM for its superior performance over the Python implementation, strong safety guarantees from Rust, and production-ready status as the primary VM for Cairo programs in the StarkNet ecosystem.
Overview
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.
Use Cases
Best For
- Executing Cairo smart contracts on StarkNet
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
