Alternatives and similar repositories for orion:

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

• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆169Updated 8 months ago
• keep-starknet-strange / alexandria
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆243Updated this week
• tonk-labs / dappicom
  Provable play of Nintendo Entertainment System in Noir
  ☆136Updated 8 months ago
• rkdud007 / awesome-zkvm
  A curated list of zkVM, zero-knowledge virtual machine
  ☆166Updated this week
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆211Updated this week
• starkware-libs / stone-prover
  ☆265Updated 5 months ago
• AztecProtocol / noir-starter
  ☆180Updated 2 weeks ago
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆237Updated 11 months ago
• auditless / awesome-cairo
  Resources for Cairo 1.0 development.
  ☆171Updated 2 weeks ago
• gizatechxyz / Giza-Hub
  Curated list of ZKML models and use cases made with Giza
  ☆50Updated 8 months ago
• noir-lang / awesome-noir
  A curated list of awesome things related to learning and programming in Noir.
  ☆383Updated this week
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆406Updated last week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆206Updated last year
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆158Updated 2 years ago
• zkp2p / zkp2p-v1-monorepo
  A trustless P2P fiat onramp powered by ZK proofs.
  ☆289Updated this week
• gizatechxyz / giza-cli
  Giza Platform CLI
  ☆16Updated 5 months ago
• lyronctk / zator
  Verifying a 512-layer CNN w/ Nova
  ☆160Updated last year
• lambdaclass / STARK101-rs
  STARK 101 Workshop in Rust 🐺🦀
  ☆135Updated last year
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆158Updated last month
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆174Updated 6 months ago
• yi-sun / circom-pairing
  ☆195Updated last year
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom and Noir circuits.
  ☆124Updated this week
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆224Updated this week
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆188Updated 3 months ago
• lambdaclass / cairo-vm_in_go
  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
• ExtropyIO / ZeroKnowledgeBootcamp
  ☆63Updated last year
• paradigmxyz / zk-eth-rng
  Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
  ☆176Updated last year
• privacy-scaling-explorations / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆109Updated 4 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆125Updated this week
• NethermindEth / StarknetByExample
  A collection of examples of Cairo smart contracts for Starknet.
  ☆137Updated this week