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"
  ☆222Updated last week
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆133Updated last week
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆305Updated last year
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆130Updated 6 months ago
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆175Updated last year
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆239Updated last year
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆324Updated 10 months ago
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆264Updated this week
• arkworks-rs / marlin
  A Rust library for the Marlin preprocessing zkSNARK
  ☆325Updated last year
• supranational / sppark
  Zero-knowledge template library
  ☆204Updated 2 months ago
• arkworks-rs / poly-commit
  A Rust library for polynomial commitments
  ☆412Updated last year
• o1-labs / proof-systems
  The proof systems used by Mina
  ☆453Updated this week
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆260Updated last year
• fluidex / awesome-plonk
  A curated list of awesome things related to plonk proof system
  ☆237Updated last year
• zkcrypto / ff
  Traits and utilities for working with finite fields.
  ☆251Updated 7 months ago
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆298Updated 3 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆54Updated 2 years ago
• arkworks-rs / r1cs-tutorial
  Tutorial for writing constraints in the `arkworks` framework
  ☆255Updated last year
• arkworks-rs / curves
  Implementations of popular elliptic curves
  ☆308Updated last year
• arkworks-rs / groth16
  A Rust implementation of the Groth16 zkSNARK
  ☆321Updated 4 months ago
• GaloisInc / swanky
  A suite of rust libraries for secure multi-party computation
  ☆329Updated 3 weeks ago
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆358Updated 7 months ago
• Veridise / llzk-lib
  Library for parsing, generating, and analyzing LLZK code.
  ☆25Updated this week
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆312Updated 2 years ago
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆231Updated 4 months ago
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆335Updated 4 months ago
• aszepieniec / stark-anatomy
  Tutorial for STARKs with supporting code in python
  ☆230Updated 5 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:…
  ☆453Updated 9 months ago
• ingonyama-zk / papers
  A repo for our research papers
  ☆240Updated 6 months ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆128Updated 2 years ago