Alternatives and similar repositories for halo2

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

• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 10 months ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆80Updated last year
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆35Updated last year
• getZeFi / circomjs
  CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
  ☆49Updated 2 years ago
• axiom-crypto / axiom-apps
  ☆34Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• Ethan-000 / halo2_backend
  ☆38Updated last year
• risc0 / kailua
  The Ultimate ZK Proving Software Suite for Securing OP Rollups
  ☆42Updated this week
• HerodotusDev / herodotus-eth-starknet
  ☆35Updated last year
• NethermindEth / el-node-spec
  ☆25Updated last year
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆77Updated last year
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆43Updated last year
• 0xPolygonHermez / zkasmcom
  This repo compiles .zkasm to a json ready for the zkExecutor
  ☆31Updated 8 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆69Updated 7 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 11 months ago
• cairoeth / preconfirmations
  🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
  ☆56Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 4 months ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated 2 years ago
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆61Updated 2 weeks ago
• matter-labs / zk_os
  OS for next iteration of the world computer
  ☆43Updated last year
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 5 months ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆75Updated 8 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆71Updated last year
• myBraavos / efficient-secp256r1
  An efficient implementation of ECDSA on secp256r1 in Cairo
  ☆23Updated last year
• HerodotusDev / cairo-lib
  A comprehensive library for Cairo 🐺
  ☆40Updated 4 months ago
• op-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆63Updated 10 months ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆83Updated last year