Alternatives and similar repositories for zkDL

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

• uiuc-kang-lab / zkml
  SysX
  ☆21Updated last year
• jvhs0706 / zkllm-ccs2024
  ☆80Updated 5 months ago
• TAMUCrypto / zkCNN
  A GKR-based zero-knowledge proof protocol for CNN model inference.
  ☆83Updated 2 years ago
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆29Updated last year
• TAMUCrypto / virgo-plus
  An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
  ☆17Updated 2 years ago
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆124Updated 3 weeks ago
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆42Updated last month
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆114Updated this week
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆44Updated 2 years ago
• cysic-labs / ZPrize-23-Prize1
  ☆17Updated 9 months ago
• 0xZKML / zk-mnist
  Demo of ML for MNIST classification in a zero knowledge proof
  ☆123Updated 2 years ago
• zama-ai / verifiable-fhe-paper
  Verifiable FHE prototype
  ☆24Updated 10 months ago
• ZKPunk-Org / ZKPedia
  ☆20Updated 5 months ago
• zkFHE / zkOpenFHE
  A ZKP-augmented fork of the OpenFHE library
  ☆17Updated 11 months ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆37Updated last year
• sunblaze-ucb / Virgo
  ☆59Updated 3 years ago
• zkPoTs / kaizen
  ☆14Updated last year
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆49Updated 3 months ago
• socathie / circomlib-ml
  Circom Circuits Library for Machine Learning
  ☆176Updated last year
• lattice-dogs / labrador
  ☆40Updated 4 months ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆49Updated 3 weeks ago
• privacy-scaling-explorations / greco
  ☆76Updated 5 months ago
• dreamATD / pianist-gnark
  The implementation of Pianist (a distributed variant of Plonk) based on gnark.
  ☆36Updated last year
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆96Updated this week
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆113Updated last year
• ingonyama-zk / poseidon-hash
  Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions
  ☆82Updated last year
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆82Updated 2 years ago
• ddkang / zkml
  ☆356Updated last year
• TAMUCrypto / ZKDT_release
  ☆14Updated 3 years ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆45Updated last week