Alternatives and similar repositories for go-R1CS-Compiler

Users that are interested in go-R1CS-Compiler are comparing it to the libraries listed below

• akosba / mirage
  A zk-SNARK for randomized algorithms + linear-size universal circuits
  ☆18Updated 4 years ago
• zcash / pasta
  Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
  ☆56Updated last year
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆51Updated 2 years ago
• lattice-dogs / labrador
  ☆36Updated 2 months ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆43Updated 5 years ago
• shaih / cpp-lwevss
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Updated 3 years ago
• hyperproofs / hyperproofs-go
  ☆22Updated 4 months ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆129Updated last year
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆39Updated 4 years ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆35Updated 2 years ago
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 5 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆83Updated last year
• w3f / fflonk
  ☆30Updated last month
• dreamATD / pianist-gnark
  The implementation of Pianist (a distributed variant of Plonk) based on gnark.
  ☆36Updated last year
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆32Updated 6 months ago
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆25Updated 10 months ago
• EspressoSystems / veri-zexe
  DPC with Universal Setup
  ☆46Updated last year
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆26Updated last year
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆89Updated 3 years ago
• kobigurk / aggregatable-dkg
  Aggregatable Distributed Key Generation
  ☆46Updated 3 years ago
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆51Updated 3 months ago
• caulk-crypto / caulk
  ☆112Updated last year
• iden3 / go-circom-prover-verifier
  Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
  ☆41Updated last year
• rozbb / zkcreds-rs
  ☆66Updated 2 years ago
• algorand / bls_sigs_ref
  Algorand's reference implementation of bls signature scheme
  ☆51Updated 2 years ago
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆90Updated 2 years ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆47Updated last month
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• sunblaze-ucb / Orion
  ☆25Updated 2 years ago
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆35Updated 2 years ago