Alternatives and similar repositories for proactive-refresh

Users that are interested in proactive-refresh are comparing it to the libraries listed below

• personaelabs / heyanon-circuits
  Circuits used by heyanon
  ☆21Updated 2 years ago
• lyronctk / treasure-house
  Private treasuries enabled by ECDH and ZKPs
  ☆15Updated 2 years ago
• personaelabs / heyanoun
  nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)
  ☆17Updated last year
• vincenthuang75025 / zkxzk
  Demo of optimal Ate pairing implemented inside a zk-snark
  ☆12Updated 3 years ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• personaelabs / heyanon-v1
  Enabling credibly pseudonymous posting @ heyanon.xyz
  ☆31Updated 2 years ago
• zk-pin / pin
  Trust-minimized commitment pools with zkSNARKs
  ☆39Updated 2 years ago
• 0xturboblitz / totem
  Behold the almighty 🗿totem🗿
  ☆18Updated 8 months ago
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Updated last year
• smsunarto / daedalus
  Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.
  ☆33Updated 2 years ago
• geometryxyz / secp256k1_hash_to_curve
  ☆33Updated last year
• interep-project / contracts
  🧾 InterRep Solidity smart contracts.
  ☆30Updated 2 years ago
• succinctlabs / sp1-tee
  ☆19Updated this week
• guiltygyoza / christopher
  A gate level simulator and gate level netlist standard specification in Cairo
  ☆17Updated 3 years ago
• nalinbhardwaj / eddy255
  Eddy255 elliptic curve parameters and implementation (embedding Ed25519)
  ☆11Updated 2 years ago
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 3 years ago
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated 10 months ago
• doubleblind-xyz / double-blind
  wipppp
  ☆17Updated 3 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• cursive-team / babyjubjub-ecdsa
  Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures
  ☆21Updated 7 months ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated 2 years ago
• AmanGotchu / RandaoZKP
  ☆22Updated 2 years ago
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated 7 months ago
• lyronctk / zijkstra
  Proving shortest paths with recursive SNARKs
  ☆12Updated 2 years ago
• personaelabs / sapir
  ☆2Updated last year
• gubsheep / Setup
  trusted setup MPC tools
  ☆12Updated 5 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• yonadaa / battle-rollup
  ☆19Updated 2 years ago
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆32Updated last year
• enricobottazzi / designated-verifier-proof
  Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot …
  ☆40Updated 2 years ago