iden3 / prover-server

Related projects ⓘ

Alternatives and complementary repositories for prover-server

• quadratic-funding / mpc-phase2-suite
  The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies
  ☆16Updated last year
• privacy-scaling-explorations / pse.dev
  The PSE website
  ☆20Updated last week
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆21Updated 2 months ago
• tokamak-network / Tokamak-ZkEVM
  A new type of zk-EVM for L2 rollup
  ☆10Updated 5 months ago
• geometryxyz / secp256k1_hash_to_curve
  ☆32Updated last year
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆25Updated 2 months ago
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆14Updated 10 months ago
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆18Updated last week
• fvictorio / zk-nft
  ☆18Updated 2 years ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆30Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆55Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆34Updated 2 years ago
• tokamak-network / circom-ethereum-opcodes
  Circom circuits of Ethereum arithmetic and bitwise operators
  ☆18Updated 6 months ago
• summa-dev / circuits-circom
  Circuits, written in circom, for Proof Of Solvency
  ☆26Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• dcbuild3r / ptau-deserializer
  .ptau deserializer for gnark groth16 bn254 trusted setup
  ☆25Updated 5 months ago
• blockhackersio / zrclib
  To bring zero knowledge privacy primitives to all web3 developers.
  ☆13Updated last year
• hermeznetwork / hermez-docs
  Hermez documentation
  ☆9Updated 2 years ago
• personaelabs / heyanoun
  nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)
  ☆17Updated last year
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆29Updated this week
• anonklub / anonklub
  Anonymous Proof of Ethereum Address Ownership
  ☆42Updated last month
• Unirep / create-unirep-app
  A template for creating a UniRep attester.
  ☆24Updated 8 months ago
• paradigmxyz / forge-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆46Updated last month
• dknopik / towers-of-pau
  ETHPrague
  ☆31Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated last year
• TheFrozenFire / snark-jwt-verify
  Verify JWTs using SNARK circuits
  ☆27Updated 4 months ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆28Updated 6 months ago
• privacy-scaling-explorations / website
  Privacy and Scaling Explorations
  ☆11Updated last year