Alternatives and similar repositories for orion

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

• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆132Updated 2 years ago
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆239Updated last week
• gizatechxyz / Giza-Hub
  Curated list of ZKML models and use cases made with Giza
  ☆49Updated last year
• tonk-labs / dappicom
  Provable play of Nintendo Entertainment System in Noir
  ☆137Updated last year
• AztecProtocol / noir-starter
  ☆191Updated 3 months ago
• astraly-labs / Pragma
  Pricing anything, anywhere, anytime.
  ☆87Updated 3 months ago
• boundless-xyz / risc0-foundry-template
  Template for integrating RISC Zero and Ethereum using Foundry
  ☆139Updated 3 months ago
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆160Updated 8 months ago
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆179Updated last year
• microbecode / zk-languages
  Introduction to various ZK languages
  ☆86Updated 2 weeks ago
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆137Updated 2 years ago
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆144Updated 11 months ago
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆212Updated last year
• auditless / awesome-cairo
  Resources for Cairo 1.0 development.
  ☆170Updated 7 months ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆157Updated 3 years ago
• zkp2p / zkp2p-v1-monorepo
  A trustless P2P fiat onramp powered by ZK proofs.
  ☆305Updated 3 months ago
• auditless / cairo-template
  A minimal template for building smart contracts with Cairo 1.0
  ☆87Updated 2 years ago
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆241Updated last year
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆76Updated last year
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆74Updated 2 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆138Updated last week
• keep-starknet-strange / alexandria
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆259Updated 2 weeks ago
• starkware-libs / stone-prover
  ☆266Updated last year
• AztecProtocol / dev-rel
  All of Aztec's workshops, resources, tutorials, ideas, and useful tools
  ☆61Updated this week
• influenceth / cairo-math-64x61
  Fixed point 64.61 math library for Cairo / Starknet
  ☆65Updated 2 years ago
• HerodotusDev / integrity
  Cairo STARK proof verifier for Starknet
  ☆73Updated last week
• ethproofs / ethproofs
  the race to prove Ethereum in real-time
  ☆115Updated this week
• kkrt-labs / kakarot-ssj
  Kakarot zkEVM - rewrite in the latest version of Cairo
  ☆133Updated 8 months ago
• lambdaclass / starknet_in_rust
  A Rust implementation of Starknet execution logic
  ☆171Updated last year
• 0xZKML / zk-mnist
  Demo of ML for MNIST classification in a zero knowledge proof
  ☆124Updated 2 years ago