Alternatives and similar repositories for mirage:

Users that are interested in mirage are comparing it to the libraries listed below

• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆38Updated 4 years ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆31Updated 4 months ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• TAMUCrypto / virgo-plus
  An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
  ☆17Updated last year
• isec-tugraz / gzkbpp
  Implementation of the ZKB++ proof system
  ☆20Updated 5 years ago
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆24Updated last year
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated last year
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 5 years ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆44Updated 3 weeks ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆22Updated 7 months ago
• lattice-dogs / labrador
  ☆28Updated this week
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 4 years ago
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆58Updated last year
• toonsegers / verifiable_mpc
  A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…
  ☆26Updated last year
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 2 weeks ago
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated 2 years ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆37Updated last year
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated 2 years ago
• mottla / go-R1CS-Compiler
  A compiler to turn GO code into a zkSNARK
  ☆16Updated 3 years ago
• sunblaze-ucb / Virgo
  ☆59Updated 3 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆43Updated 4 years ago
• amiller / pinocchio
  pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!
  ☆18Updated 7 years ago
• kobigurk / aggregatable-dkg
  Aggregatable Distributed Key Generation
  ☆46Updated 2 years ago
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆33Updated 2 years ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆39Updated 2 months ago
• mmaker / tinybear
  ☆23Updated this week
• sunblaze-ucb / Orion
  ☆23Updated 2 years ago
• kevaundray / plookup
  ☆39Updated 2 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆80Updated last year