A virtual machine for Cairo written in Go
☆88Jun 20, 2025Updated 8 months ago
Alternatives and similar repositories for cairo-vm-go
Users that are interested in cairo-vm-go are comparing it to the libraries listed below
Sorting:
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Apr 30, 2024Updated last year
- Golang Library for StarkNet/Cairo☆177Feb 5, 2026Updated 3 weeks ago
- A typescript implementation of the Cairo VM☆20Oct 7, 2024Updated last year
- Starknet client implementation.☆448Updated this week
- Documentation for deploying prod grades Starknet nodes☆11Mar 31, 2023Updated 2 years ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- Complete Starknet library in Rust™☆316Nov 9, 2025Updated 3 months ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆577Updated this week
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- A Rust implementation of Starknet execution logic☆170Jul 22, 2024Updated last year
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆137Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆168May 15, 2025Updated 9 months ago
- A stateless trustless Starknet light client in Rust 🦀☆263Oct 1, 2025Updated 5 months ago
- Test runner for ethereum foundation tests☆25Feb 10, 2025Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- ☆268Sep 16, 2024Updated last year
- ☆20Jul 13, 2023Updated 2 years ago
- Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance☆108Nov 24, 2025Updated 3 months ago
- A lightweight documentation generator for Starknet Cairo smart contracts☆11Mar 12, 2024Updated last year
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- The Cairo package manager☆218Updated this week
- The Slush SDK allows you to spin up L3s on Starknet☆68Feb 20, 2023Updated 3 years ago
- A library to generate bindings from Cairo ABI.☆50Feb 17, 2026Updated 2 weeks ago
- Base64 encode felts☆16Oct 8, 2022Updated 3 years ago
- ☆42Jul 8, 2024Updated last year
- Papyrus is a StarkNet full node written in Rust.☆324Dec 26, 2024Updated last year
- Computes SHA256 of arbitrary length inputs.☆15Nov 2, 2022Updated 3 years ago
- Cellophane is a proof-of-concept counterfactual ERC721 token wrapper☆18Nov 30, 2022Updated 3 years ago
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14May 26, 2024Updated last year
- Blazing fast toolkit for developing Starknet contracts.☆390Updated this week
- Horus, a formal verification tool for StarkNet smart contracts.☆75Jun 20, 2025Updated 8 months ago
- Web app for experimenting with Cairo, Sierra and CASM, with step-by-step debugging.☆32May 6, 2025Updated 9 months ago
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆21Aug 7, 2024Updated last year
- Kakarot zkEVM - rewrite in the latest version of Cairo☆133Jan 8, 2025Updated last year
- ☆16Feb 17, 2024Updated 2 years ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Oct 2, 2023Updated 2 years ago
- Specification of P2P protocol for StarkNet nodes☆53Jan 15, 2026Updated last month
- Exploratory work on abigen in rust for Starknet 🦀☆15Dec 17, 2023Updated 2 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago