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
  ☆17Updated 4 years ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆126Updated last year
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆157Updated last year
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆31Updated 4 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆43Updated 4 years ago
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 5 years ago
• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆38Updated 4 years ago
• alex-ozdemir / bellman-bignat
  Multiprecision arithmetic & RSA accumulators, within SNARKs
  ☆52Updated 8 months ago
• iden3 / go-circom-prover-verifier
  Go implementation of the Groth16 zkSNARK Prover and Verifier compatible with Circom
  ☆41Updated 10 months ago
• hyperproofs / hyperproofs-go
  ☆22Updated 2 months ago
• kobigurk / cpsnarks-set
  Rust library for efficient, succinct and modular set membership and non-membership proofs
  ☆57Updated 3 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆89Updated 3 years ago
• lattice-dogs / labrador
  ☆28Updated this week
• Consensys / gkr-mimc
  gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation
  ☆22Updated 7 months ago
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• caulk-crypto / caulk
  ☆112Updated last year
• ZKProofs / ZKProofs.github.io
  ZKProofs website
  ☆89Updated last year
• arcalinea / bellman-examples
  examples for bellman zk-snarks library
  ☆77Updated 6 years ago
• Electron-Labs / aes-circom
  AES-GCM implementation in Circom
  ☆38Updated 2 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆80Updated last year
• dreamATD / pianist-gnark
  The implementation of Pianist (a distributed variant of Plonk) based on gnark.
  ☆33Updated last year
• kobigurk / aggregatable-dkg
  Aggregatable Distributed Key Generation
  ☆46Updated 2 years ago
• verifiable-timed-signatures / liblhtlp
  Linearly Homomorphic Time Lock Puzzle Library
  ☆28Updated 4 years ago
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆85Updated 2 years ago
• Pratyush / algebra-intro
  ☆42Updated 3 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated last year
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆90Updated last year
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆33Updated 2 years ago
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆58Updated last year