gizatechxyz / orion

Related projects ⓘ

Alternatives and complementary repositories for orion

• zkp2p / zk-p2p
  A trustless P2P fiat onramp powered by ZK proofs.
  ☆271Updated last month
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆200Updated this week
• gizatechxyz / Giza-Hub
  Curated list of ZKML models and use cases made with Giza
  ☆46Updated 5 months ago
• gizatechxyz / giza-cli
  Giza Platform CLI
  ☆16Updated 2 months ago
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆129Updated 3 weeks ago
• starkware-libs / stwo
  ☆245Updated this week
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆164Updated 4 months ago
• lyronctk / zator
  Verifying a 512-layer CNN w/ Nova
  ☆155Updated last year
• AztecProtocol / noir-starter
  ☆169Updated this week
• auditless / awesome-cairo
  Resources for Cairo 1.0 development.
  ☆172Updated 9 months ago
• tonk-labs / dappicom
  Provable play of Nintendo Entertainment System in Noir
  ☆134Updated 5 months ago
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆372Updated this week
• noir-lang / awesome-noir
  A curated list of awesome things related to learning and programming in Noir.
  ☆344Updated last week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆201Updated 11 months ago
• starkware-libs / stone-prover
  ☆260Updated last month
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆188Updated this week
• paradigmxyz / zk-eth-rng
  Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
  ☆173Updated last year
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 2 years ago
• astraly-labs / Pragma
  Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composabl…
  ☆82Updated last week
• keep-starknet-strange / alexandria
  Community maintained Cairo libraries and set of well maintained, optimised and secure components.
  ☆233Updated 3 weeks ago
• erhant / moonmath
  Solutions to exercises from MoonMath Manual to zkSNARKs.
  ☆66Updated last month
• xJonathanLEI / starkli
  Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀
  ☆168Updated last month
• yi-sun / circom-pairing
  ☆192Updated 11 months ago
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆234Updated 8 months ago
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆158Updated 8 months ago
• privacy-scaling-explorations / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆98Updated last month
• zk-ml / linear-regression-demo
  private quantized linear regression on Ethereum
  ☆213Updated 2 years ago
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆169Updated 2 months ago
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆193Updated 3 months ago
• lambdaclass / cairo_native
  A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
  ☆122Updated this week