Alternatives and similar repositories for constantine

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

• initc3 / babySNARK
  Baby SNARK (do do dodo dodo)
  ☆238Updated last year
• Sunscreen-tech / Sunscreen
  A compiler for fully homomorphic encryption and zero knowledge proofs
  ☆295Updated last month
• zksecurity / noname
  Noname: a programming language to write zkapps
  ☆221Updated this 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:…
  ☆453Updated 7 months ago
• o1-labs / proof-systems
  The proof systems used by Mina
  ☆448Updated this week
• microsoft / Nova
  Nova: High-speed recursive zero-knowledge arguments from folding schemes
  ☆790Updated 2 weeks ago
• circify / circ
  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
  ☆310Updated 4 months ago
• nalinbhardwaj / zordle
  Wordle, but with ZK proofs!
  ☆223Updated 2 years ago
• hash-based-snargs-book / hash-based-snargs-book
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆213Updated 3 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…
  ☆256Updated last week
• openvm-org / openvm
  A performant and modular zkVM framework built for customization and extensibility.
  ☆280Updated this week
• powdr-labs / powdr
  A modular stack for zkVMs, with a focus on productivity, security and performance.
  ☆470Updated this week
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆301Updated last year
• pluto / ronkathon
  Cryptography Educational Foundations
  ☆330Updated 2 weeks ago
• privacy-ethereum / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆278Updated this week
• supranational / sppark
  Zero-knowledge template library
  ☆204Updated 2 weeks ago
• arkworks-rs / crypto-primitives
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆226Updated 2 months ago
• tlsnotary / tlsn
  Rust implementation of the TLSNotary protocol
  ☆374Updated this week
• 0xPARC / circom-ecdsa
  Big integer arithmetic and secp256k1 ECC operations in circom
  ☆335Updated last year
• fireblocks / mpc-lib
  ☆226Updated 2 months ago
• arkworks-rs / groth16
  A Rust implementation of the Groth16 zkSNARK
  ☆311Updated 2 months ago
• valida-xyz / valida
  A STARK-based VM focused on code reuse, performance, and modularity
  ☆334Updated 2 months ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆174Updated 6 months ago
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆347Updated 5 months ago
• starkware-industries / stark101
  ☆308Updated 5 months ago
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆243Updated last year
• arkworks-rs / curves
  Implementations of popular elliptic curves
  ☆309Updated last year
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆132Updated 3 weeks ago
• fluidex / awesome-plonk
  A curated list of awesome things related to plonk proof system
  ☆236Updated last year
• vacp2p / nim-libp2p
  libp2p implementation in Nim
  ☆287Updated this week