keep-starknet-strange / garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.
β206Updated 2 weeks ago
Related projects β
Alternatives and complementary repositories for garaga
- β260Updated 2 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β169Updated 3 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ137Updated this week
- β249Updated this week
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β169Updated this week
- 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.β234Updated last month
- Monorepo of halo2 cratesβ238Updated 3 months ago
- Synthetics platform for Starknet, inspired by GMX v2 design.β111Updated 3 months ago
- β106Updated this week
- A Cairo VM prover implemented using Winterfellβ156Updated 2 years ago
- Madara is a powerful hybrid Starknet client written in Rust.β79Updated this week
- zkevm-chain: Deprecatedβ86Updated last year
- Out-of-circuit zkEVM implementationβ81Updated 3 months ago
- halo2 ecc circuitβ114Updated last year
- β146Updated this week
- β94Updated last week
- Generates a stark from a pilβ95Updated 3 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom languageβ102Updated last year
- Starknet Improvement Proposal repositoryβ161Updated this week
- Experimental folding schemes libraryβ204Updated this week
- Tooling for creating collaborative SNARKs for Circom circuits.β101Updated this week
- DSL for Halo2 circuitsβ188Updated 2 weeks ago
- Kakarot ZK EVM Ethereum RPC adapterβ136Updated 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
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacyβ165Updated 3 months ago
- The schelling point for ZK applications.β134Updated 6 months ago
- A virtual machine for Cairo written in Goβ82Updated this week
- β193Updated last week