cairo-vm
by lambdaclass
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.
AI summary
Program Verifier
An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation.
- stars
- 527
- forks
- 154
- watching
- 10
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Programmability library
An implementation of a programming language for writing provable programs in Go.
Cairo compiler
Compiles Cairo's intermediate representation to machine code using MLIR and LLVM
Programmable language
A Rust-based language for creating provable programs with computational integrity
Runtime environment
A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language.
Performance analyzer
A tool for analyzing and optimizing performance of the Cairo programming language and Starknet network.
Cairo printer
A plugin for a Cairo-based language that prints messages when annotated with a specific attribute.
Proof generator
A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs.
Cairo library
A collection of useful algorithms and data structures implemented in Cairo for use in software development.
Cairo VM in Zig
An experimental implementation of a Cairo VM in Zig, enabling execution of Cairo programs.
Neural Network Implementation
An implementation of a neural network from scratch using Cairo 1.0 for MNIST predictions
Data manipulator
A Rust crate providing type-conscious data manipulation with ndarray-backed tabular data structures.
GUI library
Cairo bindings for Common Lisp allow the creation of graphical user interfaces in a high-level, dynamic language.
Programming tutorial
An interactive tutorial to get started with Cairo and Starknet programming
bluealloy/revm1.7K
EVM simulator
Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.
VM executor
An implementation of a virtual machine for executing Cairo bytecode written in Go.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions cairo-vm.
