jvhs0706 / zkllm-ccs2024

Related projects ⓘ

Alternatives and complementary repositories for zkllm-ccs2024

• TAMUCrypto / zkCNN
  A GKR-based zero-knowledge proof protocol for CNN model inference.
  ☆70Updated last year
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆111Updated 7 months ago
• zkFHE / ringSNARK
  An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
  ☆34Updated 11 months ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆48Updated last year
• SafeAILab / zkDL
  zkDL, an open source toolkit for zero-knowledge proofs of deep learning powered by CUDA
  ☆34Updated 11 months ago
• sunblaze-ucb / Virgo
  ☆55Updated 2 years ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆26Updated 3 weeks ago
• wborgeaud / python-bulletproofs
  Python3 implementation of Bulletproofs - non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup…
  ☆25Updated last year
• uiuc-kang-lab / zkml
  SysX
  ☆15Updated 7 months ago
• rozbb / zkcreds-rs
  ☆57Updated 2 years ago
• dreamATD / pianist-gnark
  The implementation of Pianist (a distributed variant of Plonk) based on gnark.
  ☆31Updated last year
• Antalpha-Labs / zk-insights
  ☆45Updated this week
• emp-toolkit / emp-zk
  Efficient and Interactive Zero-Knowledge Proofs
  ☆80Updated 9 months ago
• TAMUCrypto / ZKDT_release
  ☆12Updated 3 years ago
• UCSB-TDS / ZEN
  zero knowledge proof for NN inference
  ☆78Updated 3 years ago
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆25Updated last year
• ZKPunk-Org / ZKPedia
  ☆9Updated last week
• privacy-scaling-explorations / greco
  ☆69Updated 2 months ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆110Updated 7 months ago
• Antalpha-Labs / zkp-academy
  A month-long zkp study group, one topic at a time.
  ☆76Updated last month
• tsunrise / sumcheck_multilinear
  A python implementation of sumcheck GKR protocol. Reference: https://eprint.iacr.org/2019/317.pdf
  ☆8Updated 4 years ago
• LBruyne / Scalable-Collaborative-zkSNARK
  Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
  ☆42Updated this week
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆41Updated last year
• KULeuven-COSIC / Bootstrapping_BGV_BFV
  ☆17Updated last week
• zkFHE / circomlib-fhe
  Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption
  ☆30Updated last year
• TAMUCrypto / virgo-plus
  An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
  ☆15Updated last year
• z2o-k7e / zkp-co-learn
  zkp-co-learning
  ☆57Updated last year
• menonsamir / ypir
  ☆16Updated 3 months ago
• zama-ai / verifiable-fhe-paper
  Verifiable FHE prototype
  ☆17Updated 2 months ago
• z2o-k7e / z2o-k7e.github.io
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia
  ☆71Updated 2 months ago