Alternatives and similar repositories for circuits-v2

Users that are interested in circuits-v2 are comparing it to the libraries listed below

• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆50Updated last year
• merklefruit / evm-from-scratch
  Implementing the Ethereum Virtual Machine from scratch & documenting the process
  ☆24Updated 3 years ago
• succinctlabs / rsp-subblock
  ☆30Updated 5 months ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆99Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆70Updated 2 weeks ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆59Updated 2 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 3 years ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆43Updated last year
• pluto / caratls
  Browser-based Remote Attestation to TDX
  ☆15Updated 9 months ago
• ghiliweld / sszb
  High Performance SSZ Implementation
  ☆14Updated 10 months ago
• pluto / edge
  client side proving
  ☆39Updated 8 months ago
• warlock-labs / sylow
  Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve
  ☆45Updated 7 months ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 7 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• rkdud007 / solchip8
  SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM
  ☆34Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆111Updated 8 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated 2 years ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆34Updated 3 months ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 3 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• SorellaLabs / angstrom-santa-claus
  Uses magic (zk) to distribute gifts (rewards) to kids (validators)
  ☆13Updated 6 months ago
• aragonzkresearch / noir-trie-proofs
  ☆70Updated last year
• enricobottazzi / halo2-intro
  ☆30Updated 2 years ago
• spire-labs / based-stack
  The Spire Based Stack
  ☆19Updated this week
• NebraZKP / upa
  UPA is the proof aggregation engine built by NEBRA team.
  ☆36Updated last month
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year