Alternatives and similar repositories for prover-server

Users that are interested in prover-server are comparing it to the libraries listed below

• iden3 / go-circuits
  Circuits
  ☆22Updated last week
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated 2 years ago
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆80Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated 2 years ago
• privacy-ethereum / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 6 months ago
• anonklub / anonklub
  Anonymous Proof of Ethereum Address Ownership
  ☆43Updated last year
• quadratic-funding / mpc-phase2-suite
  The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies
  ☆16Updated 2 years ago
• ZK-Hack / puzzle-zero-sum-game
  ☆37Updated 3 years ago
• vlayer-xyz / monorepo
  ☆28Updated last year
• nalinbhardwaj / eddy255
  Eddy255 elliptic curve parameters and implementation (embedding Ed25519)
  ☆12Updated 2 years ago
• dappnetbby / eth-verifiable-rpc
  Verifiable RPC for Ethereum state, in-browser, no node
  ☆44Updated 2 years ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆28Updated 7 months ago
• fvictorio / zk-nft
  ☆17Updated 4 years ago
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆61Updated 3 years ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• erigontech / erigon-book
  Technical book about Erigon technology
  ☆56Updated 3 years ago
• AlexCheema / Tanuki
  A trustless wallet scoring protocol
  ☆22Updated 2 years ago
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆56Updated 2 years ago
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated 2 years ago
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 11 months ago
• bandada-infra / bandada
  A system for managing privacy-preserving groups.
  ☆76Updated last month
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated 2 years ago
• withtally / rollcall
  Cross chain governance libraries for rollups
  ☆76Updated 3 years ago
• iden3 / circuits
  Circom circuits used by the iden3 core protocol.
  ☆91Updated last week
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆33Updated 3 years ago
• shutter-network / rolling-shutter
  A threshold encryption framework for L1 & L2 EVM-compatible chains.
  ☆40Updated 3 weeks ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• 0xPolygon / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆83Updated 8 months ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated last year