Alternatives and similar repositories for garaga

Users that are interested in garaga are comparing it to the libraries listed below

• starkware-libs / stone-prover
  ☆267Updated 8 months ago
• starkware-libs / stwo-cairo
  Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
  ☆194Updated this week
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆172Updated 3 weeks ago
• keep-starknet-strange / alexandria
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆252Updated 2 weeks ago
• starkware-libs / stwo
  ☆406Updated this week
• starknet-io / SNIPs
  Starknet Improvement Proposal repository
  ☆179Updated last month
• kkrt-labs / kakarot-ssj
  Kakarot zkEVM - rewrite in the latest version of Cairo
  ☆135Updated 4 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆150Updated last week
• keep-starknet-strange / satoru
  Synthetics platform for Starknet, inspired by GMX v2 design.
  ☆112Updated 10 months ago
• xJonathanLEI / starkli
  Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀
  ☆182Updated last month
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆160Updated 4 months ago
• starkware-libs / starknet-specs
  ☆102Updated this week
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆119Updated this week
• succinctlabs / op-succinct
  Succinct's Production-Grade Proving Engine for the OP Stack
  ☆163Updated this week
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆138Updated last year
• kkrt-labs / kakarot-rpc
  Kakarot ZK EVM Ethereum RPC adapter
  ☆136Updated 4 months ago
• madara-alliance / madara
  Madara is a powerful hybrid Starknet client written in Rust.
  ☆106Updated this week
• EspressoSystems / hyperplonk
  ☆265Updated last month
• privacy-scaling-explorations / zkevm-chain
  zkevm-chain: Deprecated
  ☆89Updated last year
• eigerco / beerus
  A stateless trustless Starknet light client in Rust 🦀
  ☆261Updated this week
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆158Updated 2 years ago
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆187Updated 7 months ago
• AztecProtocol / noir-starter
  ☆189Updated last week
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆239Updated last month
• AztecProtocol / aztec-nr
  Mirror of AztecProtocol/aztec-packages/aztec-nr
  ☆118Updated 2 weeks ago
• AztecProtocol / barretenberg
  ☆169Updated 2 weeks ago
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆107Updated last month
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆176Updated this week
• NethermindEth / StarknetByExample
  A collection of examples of Cairo smart contracts for Starknet.
  ☆146Updated last month
• keep-starknet-strange / snos
  Rust Library for running the Starknet OS via the Cairo VM
  ☆64Updated last week