Alternatives and similar repositories for prover-server

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

• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated last year
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Updated 3 months ago
• 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 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year
• nalinbhardwaj / eddy255
  Eddy255 elliptic curve parameters and implementation (embedding Ed25519)
  ☆11Updated 2 years ago
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• succinctlabs / sp1-tee
  ☆21Updated this week
• crema-labs / sxg-sp1
  Web Proofs using zk-SXG
  ☆27Updated 7 months ago
• personaelabs / heyanoun
  nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)
  ☆17Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• privacy-scaling-explorations / security
  A collection of resources relevant to the PSE Security Team.
  ☆12Updated 2 years ago
• privacy-scaling-explorations / zk-kit.solidity
  A monorepo of reusable contracts for zero-knowledge technologies.
  ☆13Updated 2 weeks ago
• quadratic-gardens / qfi
  Quadratic Funding Infrastructure
  ☆21Updated last year
• hermeznetwork / hermez-docs
  Hermez documentation
  ☆9Updated 2 years ago
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆25Updated last month
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• tokamak-network / DEPRECATED-Tokamak-ZkEVM
  A new type of zk-EVM for L2 rollup
  ☆11Updated 4 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated last year
• 0xturboblitz / totem
  Behold the almighty 🗿totem🗿
  ☆18Updated 9 months ago
• succinctlabs / sp1-blobstream
  Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.
  ☆23Updated 3 weeks ago
• ethstorage / eip4844-blob-hash-getter
  ☆17Updated 2 years ago
• iden3 / iden3-docs
  iden3 documentation
  ☆14Updated last year
• AlexCheema / Tanuki
  A trustless wallet scoring protocol
  ☆20Updated last year
• personaelabs / sapir
  ☆2Updated last year
• fvictorio / zk-nft
  ☆17Updated 3 years ago
• succinctlabs / telepathy-contracts
  Smart contracts for the Telepathy protocol
  ☆77Updated last year
• weijiekoh / poseidon-encryption-circom
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆13Updated last year
• vlayer-xyz / monorepo
  ☆29Updated last year