Alternatives and similar repositories for ZKML-Benchmark

Users that are interested in ZKML-Benchmark are comparing it to the libraries listed below

• whbjzzwjxq / ZKAP
  ☆25Updated last year
• jvhs0706 / zkllm-ccs2024
  ☆84Updated 7 months ago
• tiktok-privacy-innovation / trustless-attestation-verification
  ☆62Updated 3 months ago
• timimm / awesome-zero-knowledge-proofs-security
  ☆37Updated 2 months ago
• Koukyosyumei / zkFuzz
  ZK Circuit Fuzzer (IEEE S&P'26)
  ☆37Updated 2 months ago
• TAMUCrypto / zkCNN
  A GKR-based zero-knowledge proof protocol for CNN model inference.
  ☆87Updated 2 years ago
• snuspl / fluffy
  Ethereum VM fuzzer
  ☆63Updated 4 years ago
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆38Updated 3 months ago
• trailofbits / circomspect
  A static analyzer and linter for the Circom zero-knowledge DSL
  ☆260Updated last year
• cryptosubtlety / 00
  Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award
  ☆70Updated 2 years ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• uiuc-kang-lab / zkml
  SysX
  ☆34Updated last year
• sunblaze-ucb / Virgo
  ☆60Updated 4 years ago
• StefanosChaliasos / Awesome-ZKP-Security
  A curated list of awesome security resources for ZK.
  ☆118Updated 3 months ago
• eth-sri / zapper
  ☆21Updated 3 years ago
• zkFHE / FHE-in-TEE
  A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …
  ☆50Updated 3 years ago
• z2o-k7e / halo2-step-by-step
  halo2-step-by-step
  ☆28Updated 2 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆45Updated last year
• chainflag / ctf-blockchain-challenges
  Blockchain Challenges Collection
  ☆59Updated 2 years ago
• ConsensusFuzz / LOKI
  A blockchain consensus protocol fuzzing framework
  ☆20Updated 2 years ago
• Veridise / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆93Updated last year
• z2o-k7e / zkp-co-learn
  zkp-co-learning
  ☆64Updated last year
• alex-ozdemir / collaborative-zksnark
  Prototype implementations of various Collaborative zkSNARKs.
  ☆132Updated 8 months ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆57Updated 2 weeks ago
• speakspeak / cuZK
  cuZK: An Efficient GPU Implemetation of zkSNARK
  ☆38Updated 2 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆114Updated 3 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆55Updated 2 years ago
• Veridise / Coda
  ☆47Updated 2 years ago
• ZKPunk-Org / ZKPedia
  ☆25Updated last year
• z2o-k7e / z2o-k7e.github.io
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia
  ☆71Updated last year