keep-starknet-strange / garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.
β211Updated last week
Alternatives and similar repositories for garaga:
Users that are interested in garaga are comparing it to the libraries listed below
- β265Updated 5 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β174Updated 5 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β243Updated this week
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β175Updated last month
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β158Updated last month
- β299Updated this week
- Synthetics platform for Starknet, inspired by GMX v2 design.β112Updated 6 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ136Updated last month
- DSL for Halo2 circuitsβ188Updated 3 months ago
- β227Updated this week
- Experimental folding schemes libraryβ224Updated this week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.β124Updated this week
- Madara is a powerful hybrid Starknet client written in Rust.β97Updated this week
- Technical documentation of the zkEVMβ91Updated 8 months ago
- halo2 ecc circuitβ116Updated 2 years ago
- Rust Library for running the Starknet OS via the Cairo VMβ60Updated this week
- β100Updated 2 weeks ago
- starknet-stakingβ88Updated this week
- A Cairo VM prover implemented using Winterfellβ158Updated 2 years ago
- zkevm-chain: Deprecatedβ87Updated last year
- Monorepo of halo2 cratesβ266Updated 2 weeks ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wrβ¦β57Updated 9 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereumβ88Updated this week
- Generates a stark from a pilβ97Updated 6 months ago
- A STARK-based VM focused on code reuse, performance, and modularityβ313Updated 2 months ago
- A performant, type-1 zkEVM written in Rust & SP1.β131Updated 4 months ago
- The schelling point for ZK applications.β136Updated 9 months ago
- Out-of-circuit zkEVM implementationβ80Updated 6 months ago
- A collection of examples of Cairo smart contracts for Starknet.β137Updated this week
- Middleware to compile Circom circuits to Nova proverβ237Updated 11 months ago