Alternatives and similar repositories for orion

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

• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆235Updated this week
• starkware-libs / stone-prover
  ☆267Updated 8 months ago
• keep-starknet-strange / alexandria
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆252Updated 2 weeks ago
• gizatechxyz / Giza-Hub
  Curated list of ZKML models and use cases made with Giza
  ☆49Updated last year
• zkp2p / zkp2p-v1-monorepo
  A trustless P2P fiat onramp powered by ZK proofs.
  ☆300Updated 3 months ago
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆215Updated 10 months ago
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆140Updated 7 months ago
• lyronctk / zator
  Verifying a 512-layer CNN w/ Nova
  ☆166Updated 2 years ago
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆160Updated 4 months ago
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆176Updated 11 months ago
• auditless / awesome-cairo
  Resources for Cairo 1.0 development.
  ☆170Updated 4 months ago
• tonk-labs / dappicom
  Provable play of Nintendo Entertainment System in Noir
  ☆137Updated 11 months ago
• privacy-scaling-explorations / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆110Updated 8 months ago
• 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
• gizatechxyz / giza-cli
  Giza Platform CLI
  ☆16Updated 8 months ago
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆238Updated last year
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆158Updated 2 years ago
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆77Updated last year
• 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
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆421Updated this week
• 0xSpaceShard / starknet-hardhat-plugin
  A plugin for integrating Starknet tools into Hardhat projects
  ☆198Updated 9 months ago
• astraly-labs / Pragma
  Pricing anything, anywhere, anytime.
  ☆86Updated this week
• NethermindEth / StarknetByExample
  A collection of examples of Cairo smart contracts for Starknet.
  ☆146Updated last month
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆209Updated last year
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆187Updated 7 months ago
• RareSkills / zero-knowledge-puzzles
  Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
  ☆296Updated 2 months ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆176Updated this week
• KasarLabs / snak
  Build powerful and secure AI Agents powered by Starknet.
  ☆91Updated this week
• 0xZKML / zk-mnist
  Demo of ML for MNIST classification in a zero knowledge proof
  ☆122Updated 2 years ago
• beautyisourbusiness / cairo-goldmine
  A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM
  ☆293Updated 2 years ago