NethermindEth / cairo-vm-go
A virtual machine for Cairo written in Go
☆84Updated last week
Alternatives and similar repositories for cairo-vm-go:
Users that are interested in cairo-vm-go are comparing it to the libraries listed below
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Updated 11 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- A minimal template for building smart contracts with Cairo 1.0☆87Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆96Updated last week
- Cairo STARK proof verifier for Starknet☆70Updated last month
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆54Updated last year
- Celestia -> Starknet bridge☆46Updated 10 months ago
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆29Updated 3 months ago
- Test runner for ethereum foundation tests☆24Updated 2 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- ☆46Updated this week
- A collection of works discussing the security aspects of StarkNet☆40Updated 3 months ago
- ☆43Updated 2 years ago
- ☆75Updated this week
- ☆44Updated last month
- Succinct's Production-Grade Proving Engine for the OP Stack☆152Updated this week
- Competitive art canvas on Starknet☆32Updated this week
- barretenburg in rust (here we go)☆98Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆224Updated this week
- Technical documentation of the zkEVM☆89Updated 10 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆101Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆159Updated 2 months ago
- ☆98Updated 8 months ago
- ☆35Updated last year
- 🐺 Starknet Rust types 🦀☆69Updated this week
- A curated list of repos related to Circom☆98Updated 2 years ago
- ZK Email in Noir☆62Updated 2 weeks ago
- Carbon Starknet Protocol written in Cairo.☆55Updated 9 months ago