Alternatives and similar repositories for prover-server:

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

• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• quadratic-funding / mpc-phase2-suite
  The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies
  ☆16Updated last year
• AlexCheema / Tanuki
  A trustless wallet scoring protocol
  ☆20Updated last year
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 3 weeks ago
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆76Updated last year
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• fvictorio / zk-nft
  ☆18Updated 3 years ago
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• ritave / snap-passwordManager
  An example Metamask Snap that manages user passwords
  ☆32Updated 2 years ago
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆55Updated 2 years ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆30Updated last year
• nerolation / EIP-ERC721-zk-SNARK-Extension
  Extension for zk succinct non-interactive ownership proofs.
  ☆39Updated 2 years ago
• nerolation / EIP-Stealth-Address-ERC
  ☆56Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆33Updated 10 months ago
• dcbuild3r / ptau-deserializer
  .ptau deserializer for gnark groth16 bn254 trusted setup
  ☆25Updated this week
• privacy-scaling-explorations / zk-kit.solidity
  A monorepo of reusable contracts for zero-knowledge technologies.
  ☆12Updated last week
• nalinbhardwaj / eddy255
  Eddy255 elliptic curve parameters and implementation (embedding Ed25519)
  ☆11Updated 2 years ago
• summa-dev / circuits-circom
  Circuits, written in circom, for Proof Of Solvency
  ☆26Updated 2 years ago
• ZK-Hack / puzzle-zero-sum-game
  ☆36Updated 2 years ago
• ConsenSysDiligence / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆23Updated 2 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated last year
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated last year
• dappnetbby / eth-verifiable-rpc
  Verifiable RPC for Ethereum state, in-browser, no node
  ☆45Updated 2 years ago
• quilt / puxi
  Configuration files for the Puxi ethereum testnet
  ☆17Updated 3 years ago
• anonklub / anonklub
  Anonymous Proof of Ethereum Address Ownership
  ☆45Updated 6 months ago
• ernestognw / solidity-mermaid
  A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.
  ☆26Updated 2 years ago
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆43Updated last year
• privacy-scaling-explorations / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated last year
• iden3 / iden3-docs
  iden3 documentation
  ☆14Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year