Alternatives and similar repositories for circ

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

• hash-based-snargs-book / hash-based-snargs-book
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆207Updated 2 weeks ago
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆300Updated 11 months ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆125Updated last month
• arkworks-rs / groth16
  A Rust implementation of the Groth16 zkSNARK
  ☆295Updated 3 months ago
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆291Updated 2 months ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆82Updated this week
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆310Updated last year
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆167Updated last year
• fluidex / awesome-plonk
  A curated list of awesome things related to plonk proof system
  ☆237Updated 10 months ago
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆315Updated 5 months ago
• arkworks-rs / r1cs-tutorial
  Tutorial for writing constraints in the `arkworks` framework
  ☆242Updated last year
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆238Updated last year
• arkworks-rs / poly-commit
  A Rust library for polynomial commitments
  ☆389Updated 7 months ago
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆217Updated 3 weeks ago
• o1-labs / proof-systems
  The proof systems used by Mina
  ☆438Updated this week
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆256Updated 2 weeks ago
• supranational / sppark
  Zero-knowledge template library
  ☆199Updated last month
• arkworks-rs / marlin
  A Rust library for the Marlin preprocessing zkSNARK
  ☆322Updated last year
• GaloisInc / swanky
  A suite of rust libraries for secure multi-party computation
  ☆315Updated last month
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆341Updated 2 months ago
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆250Updated last year
• aszepieniec / stark-anatomy
  Tutorial for STARKs with supporting code in python
  ☆224Updated 3 weeks ago
• arkworks-rs / curves
  Implementations of popular elliptic curves
  ☆307Updated last year
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆324Updated last week
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆216Updated 3 weeks ago
• zkcrypto / ff
  Traits and utilities for working with finite fields.
  ☆246Updated 2 months ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆174Updated 3 months ago
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆262Updated last week
• trailofbits / zkdocs
  Interactive documentation on zero-knowledge proof systems and related primitives.
  ☆158Updated 2 months ago
• lurk-lab / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆445Updated 4 months ago