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"
  ☆223Updated last month
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆299Updated 5 months ago
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆306Updated last year
• project-llzk / llzk-lib
  Library for parsing, generating, and analyzing LLZK code.
  ☆33Updated this week
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆131Updated 7 months ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆148Updated last week
• NilFoundation / zkLLVM
  Zero-Knowledge Proof Systems Circuit Compiler
  ☆326Updated last year
• TritonVM / triton-vm
  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…
  ☆272Updated last week
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆176Updated 2 years ago
• fluidex / awesome-plonk
  A curated list of awesome things related to plonk proof system
  ☆239Updated last year
• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆241Updated last year
• GaloisInc / swanky
  A suite of rust libraries for secure multi-party computation
  ☆336Updated last week
• supranational / sppark
  Zero-knowledge template library
  ☆208Updated 2 weeks ago
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆260Updated last year
• arkworks-rs / groth16
  A Rust implementation of the Groth16 zkSNARK
  ☆328Updated 5 months ago
• arkworks-rs / poly-commit
  A Rust library for polynomial commitments
  ☆425Updated last year
• zkcrypto / ff
  Traits and utilities for working with finite fields.
  ☆254Updated 9 months ago
• arkworks-rs / r1cs-tutorial
  Tutorial for writing constraints in the `arkworks` framework
  ☆258Updated last year
• arkworks-rs / curves
  Implementations of popular elliptic curves
  ☆308Updated 2 years ago
• arkworks-rs / marlin
  A Rust library for the Marlin preprocessing zkSNARK
  ☆325Updated 2 years ago
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆314Updated 2 years ago
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆234Updated 6 months ago
• o1-labs / proof-systems
  The proof systems used by Mina
  ☆459Updated last week
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆102Updated 2 months ago
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆361Updated 9 months ago
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆338Updated 6 months ago
• privacy-ethereum / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆284Updated last week
• 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:…
  ☆452Updated 11 months ago
• aszepieniec / stark-anatomy
  Tutorial for STARKs with supporting code in python
  ☆235Updated 7 months ago
• tlepoint / fhe.rs
  Fully Homomorphic Encryption library in Rust
  ☆253Updated this week