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.

A Cairo VM prover implemented using Winterfell

A virtual machine for Cairo written in Go

⚡ Cairo VM in Zig ⚡

Bitcoin Script VM in Cairo

A toy Cairo VM implementation in Rust™

Rust Library for running the Starknet OS via the Cairo VM

cairo-vm_in_go is a Go 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.

Cairo-VM STONE STARK Verifier Rust implementation

cairo-rs-py adds Python bindings to the cairo-rs Cairo VM

A typescript implementation of the Cairo VM

cairo-vm_in_C is a C 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.

A dataframe approach to the Cairo framework

Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer

Cairo bootloader port for the Rust Cairo VM.

No description available

Showcase of heavy computation enabled by the Cairo VM on Starknet.

Cairo-VM Stark Verifier Solana deployment

Cairo VM integration in a Rust no-std environment.

Cairo-VM Stark Verifier Arkworks implementation(WIP)

CAIRO VM built to an alkane

Cairo VM CLI with Juvix support

No description available

A WASM transpiler for the Cairo-M ZK-VM

Web Cairo-VM Stark Verifier

No description available

cairo-vm-java is a repo of building Cairo VM in Java. There one in Rust by Lambdaclass, and also in Go by Nethermind. So I thought why not in JAVA?

No description available

No description available

No description available