cairo-vm
Program Verifier
An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation.
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.
527 stars
10 watching
154 forks
Language: Rust
last commit: about 1 month ago
Linked from 2 awesome lists
blockchaincompilercryptographyprogramming-languageruststarkzkp
rust-unofficial/awesome-rustRelated projects:
| Repository | Description | Stars |
|---|---|---|
| lambdaclass/cairo-vm_in_go | An implementation of a programming language for writing provable programs in Go. | 57 |
| lambdaclass/cairo_native | Compiles Cairo's intermediate representation to machine code using MLIR and LLVM | 123 |
 starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
 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 |
 piwonskp/hello-cairo-plugin | A plugin for a Cairo-based language that prints messages when annotated with a specific attribute. | 3 |
 andrewmilson/sandstorm | A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs. | 158 |
 keep-starknet-strange/alexandria | A collection of useful algorithms and data structures implemented in Cairo for use in software development. | 238 |
| keep-starknet-strange/ziggy-starkdust | An experimental implementation of a Cairo VM in Zig, enabling execution of Cairo programs. | 84 |
 franalgaba/neural-network-cairo | An implementation of a neural network from scratch using Cairo 1.0 for MNIST predictions | 10 |
 kernelmachine/utah | A Rust crate providing type-conscious data manipulation with ndarray-backed tabular data structures. | 143 |
 rpav/cl-cairo2 | Cairo bindings for Common Lisp allow the creation of graphical user interfaces in a high-level, dynamic language. | 62 |
 shramee/starklings-cairo1 | An interactive tutorial to get started with Cairo and Starknet programming | 453 |
 bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,685 |
 nethermindeth/cairo-vm-go | An implementation of a virtual machine for executing Cairo bytecode written in Go. | 82 |