Alternatives and similar repositories for ZKLib:

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

• quangvdao / ZKLib-deprecated
  deprecated, use Verified-zkEVM repository instead
  ☆20Updated this week
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆52Updated 5 months ago
• Cybersecurity-LINKS / zkryptium
  Rust crypto library for zero-knowledge proofs
  ☆13Updated last month
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆34Updated 9 months ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆67Updated 6 months ago
• Veridise / Coda
  ☆46Updated last year
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 7 months ago
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆56Updated last year
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆30Updated 3 months ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• guruvamsi-policharla / zksaas
  A prototype implementation of the zksaas protocol for distributed zkSNARK generation
  ☆23Updated last year
• KULeuven-COSIC / Marvellous
  The instance generator of the Vision and Rescue block ciphers.
  ☆16Updated 2 years ago
• SNUCP / celpc
  Rust Code for CELPC
  ☆13Updated 7 months ago
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆41Updated last week
• lattice-dogs / labrador
  ☆26Updated 4 months ago
• geometryxyz / protostar
  ☆48Updated last year
• zkpstandard / wg-sigma-protocols
  The official repository containing the documentation of the Sigma Protocols working group.
  ☆14Updated last year
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆43Updated this week
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆33Updated last year
• zksecurity / halo2-course
  A course on Halo2 in collaboration with Zircuit
  ☆21Updated this week
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆55Updated 2 months ago
• IrreducibleOSS / binius
  A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
  ☆77Updated this week
• tobias-rothmann / Polynomial-Commitment-Schemes
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Updated this week
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆61Updated last year
• openvm-org / stark-backend
  Proof system backends for OpenVM.
  ☆18Updated this week
• gy001 / finitefields-by-examples
  about finite fields
  ☆8Updated 7 months ago
• hash-based-snargs-book / hash-based-snargs-book
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆171Updated last week
• privacy-scaling-explorations / sol-whir
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆21Updated last month
• gy001 / hypercube
  ☆38Updated last year