keep-starknet-strange / garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.
β200Updated this week
Related projects β
Alternatives and complementary repositories for garaga
- β260Updated last month
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β169Updated 2 months ago
- β245Updated this week
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β168Updated last month
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β158Updated 8 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β233Updated 3 weeks ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ137Updated this week
- A Cairo VM prover implemented using Winterfellβ156Updated 2 years ago
- Synthetics platform for Starknet, inspired by GMX v2 design.β110Updated 3 months ago
- Madara is a powerful hybrid Starknet client written in Rust.β78Updated this week
- β105Updated this week
- Out-of-circuit zkEVM implementationβ81Updated 2 months ago
- DSL for Halo2 circuitsβ188Updated this week
- Monorepo of halo2 cratesβ238Updated 2 months ago
- A virtual machine for Cairo written in Goβ82Updated this week
- A collection of examples of Cairo smart contracts for Starknet.β116Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom languageβ102Updated last year
- β184Updated this week
- β145Updated 8 months ago
- β94Updated this week
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wrβ¦β56Updated 6 months ago
- Generates a stark from a pilβ95Updated 3 months ago
- halo2 ecc circuitβ114Updated last year
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.β122Updated this week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereumβ85Updated 2 weeks ago
- A stateless trustless Starknet light client in Rust π¦β249Updated this week
- STARK 101 Workshop in Rust πΊπ¦β133Updated last year
- A Rust implementation of Starknet execution logicβ171Updated 3 months ago
- β122Updated this week