worldcoin / semaphore-rs

Related projects: ⓘ

• worldcoin / world-id-contracts
  Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.
  ☆113Updated last week
• worldcoin / proto-neural-zkp
  Artificial intelligence and zero knowledge.
  ☆160Updated last month
• worldcoin / signup-sequencer
  signup-sequencer repository
  ☆68Updated last week
• worldcoin / world-id-lens
  ARCHIVED. Human verification for Lens Protocol with World ID.
  ☆94Updated 3 months ago
• worldcoin / world-id-state-bridge
  State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networks
  ☆87Updated last month
• noir-lang / noir-starter
  ☆168Updated this week
• privacy-scaling-explorations / halo2
  ☆202Updated 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 …
  ☆170Updated 3 weeks ago
• 0xPolygonHermez / zkevm-rom
  This repo contains the zkasm source code of the zkEVM
  ☆124Updated this week
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆198Updated 9 months ago
• 0xPolygonMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆97Updated last week
• privacy-scaling-explorations / snark-verifier
  ☆144Updated 6 months ago
• scroll-tech / halo2-snark-aggregator
  halo2 ecc circuit
  ☆110Updated last year
• plume-sig / zk-nullifier-sig
  Implementation of PLUME: nullifier friendly signature scheme on ECDSA
  ☆133Updated last month
• OffchainLabs / bold
  Efficient, all-vs-all dispute protocol for Optimistic Rollups
  ☆110Updated this week
• renegade-fi / renegade
  On-chain dark pool. MPC for anonymous crosses at midpoint prices.
  ☆197Updated this week
• matter-labs / franklin-crypto
  ☆115Updated last month
• OffchainLabs / stylus
  Stylus VM and Fraud Prover
  ☆107Updated 4 months ago
• xJonathanLEI / starkli
  Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀
  ☆163Updated last month
• gnosis / hashi
  An EVM hash oracle aggregator
  ☆134Updated this week
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆61Updated this week
• ethereum / kzg-ceremony-specs
  Specs for Ethereum's KZG Powers of Tau Ceremony
  ☆109Updated last year
• risc0 / zeth
  A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
  ☆356Updated 2 weeks ago
• lambdaclass / lambdaworks_stark_platinum
  STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…
  ☆77Updated 11 months ago
• ethereum-optimism / specs
  OP Stack Specifications
  ☆83Updated this week
• axiom-crypto / axiom-eth
  ☆93Updated last month
• EspressoSystems / HotShot
  ☆119Updated this week
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆81Updated last month
• EspressoSystems / hyperplonk
  ☆182Updated this week
• keep-starknet-strange / garaga
  State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
  ☆183Updated this week